From What to How: A Taxonomy of Formalized Security Properties.
CoRR, May, 2025
Service Extraction from Object-Oriented Monolithic Systems: Supporting Incremental Migration.
Proceedings of the IEEE International Conference on Software Analysis, 2025
Divergence-Driven Debugging: Understanding Behavioral Changes Between Two Program Versions.
Proceedings of the 33rd IEEE/ACM International Conference on Program Comprehension, 2025
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements.
Softw. Syst. Model., December, 2024
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.
ACM Trans. Softw. Eng. Methodol., January, 2023
Articulation entre activités formelles et activités semi-formelles dans le développement de logiciels. (Articulation between definite and semi-definite activities in software development).
PhD thesis, 2019
Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
La validation dans les premières étapes du processus de dévelopement.
Ingénierie des Systèmes d Inf., 2017
La Validation dans le Processus de Développement.
Proceedings of the Actes du XXXIVème Congrès INFORSID, Grenoble, France, May 31, 2016
From an abstract specification in event-b toward an UML/OCL model.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014
D'Event-B vers UML/OCL en passant par UML/EM-OCL
CoRR, 2012