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)

Evaluation of tool support for functional specification of complex systems. - Olga Goubali; Patrick Girard 002; Laurent Guittet; Alain Bignon; Djamal Kesraoui; Laurianne Boulhic; Pascal Berruet; Jean-Frédéric Bouillon (Erog'IA, 2016)

Designing Functional Specifications for Complex Systems. - Olga Goubali; Patrick Girard 002; Laurent Guittet; Alain Bignon; Djamal Kesraoui; Pascal Berruet; Jean-Frédéric Bouillon (HCI (1), 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)

Service-Oriented Control-Command Components for Designing Complex Systems. - Olga Goubali; Abdenour Idir; Line Poinel; Laurianne Boulhic; Djamal Kesraoui; Alain Bignon (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)

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)