Soraya Mesli-Kesraoui

According to our database, Soraya Mesli-Kesraoui authored at least 5 papers between 2016 and 2021.

Collaborative distances:

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

2021

Identifying Metamodel Inaccurate Structures During Metamodel/Constraint Co-Evolution.

Elyes Cherfa, Soraya Mesli-Kesraoui, Chouki Tibermacine, Salah Sadou, Régis Fleurquin

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020

On investigating metamodel inaccurate structures.

Elyes Cherfa, Soraya Kesraoui, Chouki Tibermacine, Régis Fleurquin, Salah Sadou

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Formal Verification of the Race Condition Vulnerability in Ladder Programs.

Soraya Mesli-Kesraoui, Olga Goubali, Djamal Kesraoui, Ibtihal Eloumami, Flávio Oquendo

Proceedings of the 2020 IEEE Conference on Control Technology and Applications, 2020

2019

End User Designing of Complex Task Models for Complex Control-Command Systems.

Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Soraya Kesraoui-Mesli, Pascal Berruet, Benjamin Morio, Laurianne Boulhic

Proceedings of the Human-Computer Interaction. Perspectives on Design, 2019

2016

Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.

Soraya Mesli-Kesraoui, Djamal Kesraoui, Flávio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet

Proceedings of the Software Architecture - 10th European Conference, 2016