Djamal Kesraoui

According to our database, Djamal Kesraoui authored at least 6 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Formal Verification of the Race Condition Vulnerability in Ladder Programs.

Soraya Mesli-Kesraoui, Olga Goubali, Djamal Kesraoui, Ibtihal Eloumami, Flávio Oquendo

Proceedings of the 2020 IEEE Conference on Control Technology and Applications, 2020

2019

Service-Oriented Control-Command Components for Designing Complex Systems.

Olga Goubali, Abdenour Idir, Line Poinel, Laurianne Boulhic, Djamal Kesraoui, Alain Bignon

Proceedings of the Human-Computer Interaction. Perspectives on Design, 2019

End User Designing of Complex Task Models for Complex Control-Command Systems.

Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Soraya Kesraoui-Mesli, Pascal Berruet, Benjamin Morio, Laurianne Boulhic

Proceedings of the Human-Computer Interaction. Perspectives on Design, 2019

2016

Designing Functional Specifications for Complex Systems.

Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Pascal Berruet, Jean-Frédéric Bouillon

Proceedings of the Human-Computer Interaction. Theory, Design, Development and Practice, 2016

Evaluation of tool support for functional specification of complex systems.

Olga Goubali, Patrick Girard, Laurent Guittet, Alain Bignon, Djamal Kesraoui, Laurianne Boulhic, Pascal Berruet, Jean-Frédéric Bouillon

Proceedings of the 15th Ergo'IA "Ergonomie Et Informatique Avancée" Conference, 2016

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

Proceedings of the Software Architecture - 10th European Conference, 2016