Alexandrina Korneva

According to our database, Alexandrina Korneva authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

The Cubicle Fuzzy Loop: A Testing Framework for Cubicle. (La boucle de fuzzing CFL: un cadre de test pour Cubicle).

Alexandrina Korneva

PhD thesis, 2023

The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker.

Sylvain Conchon, Alexandrina Korneva

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2021

Formally Documenting Tenderbake (Short Paper).

Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, Alain Mebsout

Proceedings of the 3rd International Workshop on Formal Methods for Blockchains, 2021

2019

Verifying Smart Contracts with Cubicle.

Sylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019