Publications de
Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang
Towards a verified transformation from AADL to the formal component-based language FIACRE
Dans : Science of Computer Programming, Elsevier, Numéro spécial Towards a verified transformation from AADL to the formal component-based language FIACRE, Vol. 106 N. 0, p. 30-53, mai 2015.
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho
An Automatic Technique for Checking the Simulation of Timed Systems (regular paper)
Dans : Automated Technology for Verification and Analysis, Hanoi, Vietnam, 15/10/13-18/10/13, Vol. 8172, Springer-Verlag, Lecture Notes in Computer Science, p. 71-86, octobre 2013.
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali
A Mechanized Semantic Framework for Real-Time Systems (regular paper)
Dans : International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Buenos Aires, Argentina, 29/08/13-31/08/13, Victor Braberman, Laurent Fribourg (Eds.), Springer, p. 106-120, août 2013.