Publications de
Abdeldjalil Boudjadar, Frits Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems (regular paper)
Dans : Fundamentals of Software Engineering (FSEN 2013), Tehran, Iran, 24/04/13-26/04/13, Vol. 8161, Springer, Lecture Notes in Computer Science, p. 111-132, avril 2013.
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
Compositional Refinement for Real-Time Systems with Priorities (regular paper)
Dans : International Symposium on Temporal Representation and Reasoning (TIME 2012), Leicester, United Kingdom, 12/09/12-14/09/12, IEEE Computer Society, p. 57-64, septembre 2012.
Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali
An Alternative Definition for Timed Automata Composition (regular paper)
Dans : Automated Technology for Verification and Analysis, Taipei, Taiwan, 11/10/11-14/10/11, Vol. 6996, Springer-Verlag, Lecture Notes in Computer Science, p. 105-119, octobre 2011.
Sémantique Compositionnelle et Raffinement de Systèmes Temporisés. Application aux Automates temporisés d’Uppaal et au Langage Fiacre
Thèse de doctorat, Université de Toulouse, décembre 2012.
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
Revising and Extending the Uppaal Communication Mechanism, Springer-Verlag, Vol. 7306, Lecture Notes in Computer Science, juin 2012.