Djamal Kesraoui

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 7

Top Topics

Formal Verification

Complex Systems

Bounded Model Checking

Top Venues

Publications

Ahmed Elmarkez, Soraya Mesli-Kesraoui, Flávio Oquendo, Pascal Berruet, Djamal Kesraoui
A Similarity Approach for the Classification of Mitigations in Public Cybersecurity Repositories into NIST-SP 800-53 Catalog. WISTP (2024)
Soraya Mesli-Kesraoui, Olga Goubali, Djamal Kesraoui, Ibtihal Eloumami, Flávio Oquendo
Formal Verification of the Race Condition Vulnerability in Ladder Programs. CCTA (2020)
Olga Goubali, Abdenour Idir, Line Poinel, Laurianne Boulhic, Djamal Kesraoui, Alain Bignon
Service-Oriented Control-Command Components for Designing Complex Systems. HCI (1) (2019)
Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Soraya Kesraoui-Mesli, Pascal Berruet, Benjamin Morio, Laurianne Boulhic
End User Designing of Complex Task Models for Complex Control-Command Systems. HCI (1) (2019)
Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Laurianne Boulhic, Pascal Berruet, Jean-Frédéric Bouillon
Evaluation of tool support for functional specification of complex systems. Erog'IA (2016)
Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Pascal Berruet, Jean-Frédéric Bouillon
Designing Functional Specifications for Complex Systems. HCI (1) (2016)
Soraya Mesli-Kesraoui, Djamal Kesraoui, Flávio Oquendo, Alain Bignon, Armand Toguyéni, Pascal Berruet
Formal Verification of Software-Intensive Systems Architectures Described with Piping and Instrumentation Diagrams. ECSA (2016)