Publications of
François Carcenac, Frédéric Boniol, Zoubir Mammeri
Une méthode de vérification de propriétés de sûreté pour les systèmes embarqués distribués
In : 13th International Conference on Real-Time Systems and Embedded Systems (RTS¿05), Paris, 05/04/05-07/04/05, BIRP, pp. 389-416, April 2005.
François Carcenac, Frédéric Boniol, Zoubir Mammeri
Verification of an avionic system using timed model checking
In : International Symposium on Leveraging Applications of Formal Methods (ISoLA’2004), Paphos, Cyprus, 30/10/04-02/11/04, IEEE, October 2004.
François Carcenac, Frédéric Boniol, Zoubir Mammeri
Cadre formel pour la spécification et l’intégration de composants interchangeables dans les systèmes temps réel embarqués
In : 12ème Conférence Internationale sur les Systèmes Temps Réel et Embarqués, Paris, 30/03/04-01/04/04, Teknea, pp. 61-83, March 2004.
Cédric Teyssié, Zoubir Mammeri, François Carcenac, Frédéric Boniol
Etude comparative de SDL et UML pour la modélisation de systèmes temps réel
In : 11th Conference on Real-Time and Embedded Systems, Paris, 01/04/03-03/04/03, Teknea, pp. 75-97, April 2003.
Un modèle dabstraction pour la vérification des systèmes embarqués distribués : application à lavionique
Master’s Thesis, Ecole Nationale Supérieure de l’Aéronautique et de l’Espace (SupAéro), December 2005.