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 (ECSA, 2016)

End User Designing of Complex Task Models for Complex Control-Command Systems. - Olga Goubali; Patrick Girard 002; Laurent Guittet; Alain Bignon; Djamal Kesraoui; Soraya Kesraoui-Mesli; Pascal Berruet; Benjamin Morio; Laurianne Boulhic (HCI (1), 2019)

Formal Verification of the Race Condition Vulnerability in Ladder Programs. - Soraya Mesli-Kesraoui; Olga Goubali; Djamal Kesraoui; Ibtihal Eloumami; Flávio Oquendo (CCTA, 2020)

On investigating metamodel inaccurate structures. - Elyes Cherfa; Soraya Kesraoui; Chouki Tibermacine; Régis Fleurquin; Salah Sadou (SAC, 2020)

Identifying Metamodel Inaccurate Structures During Metamodel/Constraint Co-Evolution. - Elyes Cherfa; Soraya Mesli-Kesraoui; Chouki Tibermacine; Salah Sadou; Régis Fleurquin (MoDELS, 2021)

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 (WISTP, 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 002 (EURO J. Comput. Optim., 2024)

FRAMICS: Functional Risk Assessment Methodology for Industrial Control Systems. - Ahmed Elmarkez; Soraya Mesli-Kesraoui; Flávio Oquendo; Pascal Berruet (SEC (1), 2025)