Imen Sayar

According to our database, Imen Sayar authored at least 9 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements.

Thuy Nguyen, Imen Sayar, Sophie Ebersold, Jean-Michel Bruel

Softw. Syst. Model., December, 2024

2023

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., 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).

Imen Sayar

PhD thesis, 2019

Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns.

Imen Sayar, Jeanine Souquières

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

2018

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

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.

Imen Sayar, Jeanine Souquières

Ingénierie des Systèmes d Inf., 2017

2016

La Validation dans le Processus de Développement.

Imen Sayar, Jeanine Souquières

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.

Imen Sayar, Mohamed Tahar Bhiri

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

Imen Sayar

CoRR, 2012