Soraya Mesli-Kesraoui

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

Collaborative distances:

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

2024

Resource constraint scheduling on two dedicated machines: Application to avionics.

Ouissem Mesli-Kesraoui, Loic Ledreck, Emmanuel Grolleau, Soraya Kesraoui, Pascal Berruet, Yassine Ouhammou, Patrick Girard

EURO J. Comput. Optim., 2024

A Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog.

Ahmed Elmarkez, Soraya Mesli-Kesraoui, Flávio Oquendo, Pascal Berruet, Djamal Kesraoui

Proceedings of the Information Security Theory and Practice, 2024

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