Publications de
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
Dans : 13th International Conference on Real-Time Systems and Embedded Systems (RTS¿05), Paris, 05/04/05-07/04/05, BIRP, p. 389-416, avril 2005.
François Carcenac, Frédéric Boniol, Zoubir Mammeri
Verification of an avionic system using timed model checking
Dans : International Symposium on Leveraging Applications of Formal Methods (ISoLA’2004), Paphos, Cyprus, 30/10/04-02/11/04, IEEE, octobre 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
Dans : 12ème Conférence Internationale sur les Systèmes Temps Réel et Embarqués, Paris, 30/03/04-01/04/04, Teknea, p. 61-83, mars 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
Dans : 11th Conference on Real-Time and Embedded Systems, Paris, 01/04/03-03/04/03, Teknea, p. 75-97, avril 2003.
Un modèle dabstraction pour la vérification des systèmes embarqués distribués : application à lavionique
Thèse de doctorat, Ecole Nationale Supérieure de l’Aéronautique et de l’Espace (SupAéro), décembre 2005.