2025
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

2024
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements.
Softw. Syst. Model., December, 2024

2023
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.
ACM Trans. Softw. Eng. Methodol., January, 2023

2019
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

2018
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017
La validation dans les premières étapes du processus de dévelopement.
Ingénierie des Systèmes d Inf., 2017

2016
La Validation dans le Processus de Développement.
Proceedings of the Actes du XXXIVème Congrès INFORSID, Grenoble, France, May 31, 2016

2014
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

2012
D'Event-B vers UML/OCL en passant par UML/EM-OCL
CoRR, 2012