Soraya Mesli-Kesraoui

Orcid: 0000-0003-0403-282X

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Resource constraint scheduling on two dedicated machines: Application to avionics.
EURO J. Comput. Optim., 2024

A Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog.
Proceedings of the Information Security Theory and Practice, 2024

2021
Identifying Metamodel Inaccurate Structures During Metamodel/Constraint Co-Evolution.
Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

2020
On investigating metamodel inaccurate structures.
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.
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.
Proceedings of the Human-Computer Interaction. Perspectives on Design, 2019

2016
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams.
Proceedings of the Software Architecture - 10th European Conference, 2016


  Loading...