Imen Sayar

13 papers A 2B 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A conf
Divergence-Driven Debugging: Understanding Behavioral Changes Between Two Program Versions.
ICPC
Rémi Dufloer, Imen Sayar, Anne Etien, Steven Costiou
2025 J jnl
From What to How: A Taxonomy of Formalized Security Properties.
CoRR
Imen Sayar, Nan Messe, Sophie Ebersold, Jean-Michel Bruel
2025 A conf
Service Extraction from Object-Oriented Monolithic Systems: Supporting Incremental Migration.
SANER
Soufyane Labsari, Imen Sayar, Nicolas Anquetil, Benoît Verhaeghe, Anne Etien
2024 J jnl
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements.
Softw. Syst. Model.
Thuy Nguyen, Imen Sayar, Sophie Ebersold, Jean-Michel Bruel
2023 J jnl
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.
ACM Trans. Softw. Eng. Methodol.
Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon
2022 J jnl
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities.
CoRR
Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon
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 — conf
Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns.
RE Workshops
Imen Sayar, Jeanine Souquières
2018 B conf
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation.
SEFM
Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin
2017 J jnl
La validation dans les premières étapes du processus de dévelopement.
Ingénierie des Systèmes d Inf.
Imen Sayar, Jeanine Souquières
2016 — conf
La Validation dans le Processus de Développement.
INFORSID
Imen Sayar, Jeanine Souquières
2014 — conf
From an abstract specification in event-b toward an UML/OCL model.
FormaliSE
Imen Sayar, Mohamed Tahar Bhiri
2012 J jnl
D'Event-B vers UML/OCL en passant par UML/EM-OCL
CoRR
Imen Sayar