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

From an abstract specification in event-b toward an UML/OCL model. - Imen Sayar; Mohamed Tahar Bhiri (FormaliSE, 2014)

La Validation dans le Processus de Développement. - Imen Sayar; Jeanine Souquières (INFORSID, 2016)

La validation dans les premières étapes du processus de dévelopement. - Imen Sayar; Jeanine Souquières (Ingénierie des Systèmes d Inf., 2017)

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. - Fahad Rafique Golra; Fabien Dagnat; Jeanine Souquières; Imen Sayar; Sylvain Guérin (SEFM, 2018)

Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns. - Imen Sayar; Jeanine Souquières (RE Workshops, 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). - Imen Sayar (2019)

An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. - Imen Sayar; Alexandre Bartel; Eric Bodden; Yves Le Traon (ACM Trans. Softw. Eng. Methodol., 2023)

Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements. - Thuy Nguyen; Imen Sayar; Sophie Ebersold; Jean-Michel Bruel (Softw. Syst. Model., 2024)

Divergence-Driven Debugging: Understanding Behavioral Changes Between Two Program Versions. - Rémi Dufloer; Imen Sayar; Anne Etien; Steven Costiou (ICPC, 2025)

Service Extraction from Object-Oriented Monolithic Systems: Supporting Incremental Migration. - Soufyane Labsari; Imen Sayar; Nicolas Anquetil; Benoît Verhaeghe; Anne Etien (SANER, 2025)

From What to How: A Taxonomy of Formalized Security Properties. - Imen Sayar; Nan Messe; Sophie Ebersold; Jean-Michel Bruel (CoRR, 2025)