Sign in
Djamal Kesraoui
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 6
Top Topics
Formal Verification
Complex Systems
Model Checker
Program Slicing
Top Venues
HCI (1)
ECSA
CCTA
Erog'IA
</>
Publications
</>
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)