Imen Sayar

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 6

Top Topics

Document Images

Software Design

Object Oriented Design

Specification Languages

Top Venues

ACM Trans. Softw. Eng. Methodol.

Ingénierie des Systèmes d Inf.

University of Lorraine, Nancy, France (PHD)

Education History

University of Lorraine, Nancy, France

PHD

Publications

Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Imen Sayar, Alexandre Bartel, Eric Bodden, Yves Le Traon
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities. CoRR (2022)
Imen Sayar, Jeanine Souquières
Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns. RE Workshops (2019)
Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation. SEFM (2018)
Imen Sayar, Jeanine Souquières
La validation dans les premières étapes du processus de dévelopement. Ingénierie des Systèmes d Inf. 22 (4) (2017)
Imen Sayar, Jeanine Souquières
La Validation dans le Processus de Développement. INFORSID (2016)
Imen Sayar, Mohamed Tahar Bhiri
From an abstract specification in event-b toward an UML/OCL model. FormaliSE (2014)
Imen Sayar
D'Event-B vers UML/OCL en passant par UML/EM-OCL CoRR (2012)