Publications
Publications
International journals:
- O. Nasr, M. Rached, J-P. Bodeveix, M. Filali, “Spécification et Vérification d’un Ordonnanceur en B via les Automates Temporisés”, Revue L’Objet, Numéro spécial “ Composants, Services et Aspects : techniques et outils pour la vérification”, Volume 14, ISBN : 978-2-7462-2322-6, p. 43-72, Lavoisier, Décembre 2008
- M. Rached, O. Nasr, J-P. Bodeveix, M. Filali, “Une extension Temporisée de la Méthode B pour la Spécification et la Vérification des Systèmes Temps-Réel”, Journal Européen des Systèmes Automatisés (RS-JESA), Numéro spécial “Validation des systèmes temps-réel”, Volume 42, ISBN : 978-2-7462-2267-0, p. 1061-1084, Lavoisier, Novembre 2008
International Conferences:
- J-P. Bodeveix, M. Filali, M. Rached, D. Chemouil, P. Gaufillet, “Experimenting an AADL Behavioural Annex and a Verification Method”, DASIA 2006 – DAta Systems In Aerospace, ISBN: 92-9092-941-3, 22-25 Mai 2006, Berlin, Allemagne
- O. Nasr, J-P. Bodeveix, M. Filali, M. Rached, “Verification of a Scheduler in B through a Timed Automata Specification”, Software Engineering Track in the 21st Annual ACM Symposium on Applied Computing (SAC’06), Volume 2, ISBN: 1-59593-108-2, p. 1800-1801, 23-27 Avril 2006, Dijon, France
- M. Rached, J-P. Bodeveix, M. Filali, O. Nasr, “A Timed B Method for Modelling Real Time Reactive Systems”, 2nd South-East European Workshop on Formal Methods (SEEFM’05), SEERC, ISBN: 960-87869-8-3, p. 181-195, Novembre 2005, Ohrid, Macédoine
- M. Rached, J-P. Bodeveix, M. Filali, O. Nasr, “Real Time Aspects: Specification and Composition in B”, 7th International Workshop on Aspect-Oriented Modeling, MODELS’05, 2 Octobre 2005, Montego Bay, Jamaïque
- O. Nasr, M. Rached, J-P. Bodeveix, M. Filali, “Specification of Real-Time Schedulers”, Work-In-Progress of the 16th Euromicro Conference on Real-Time Systems (ECRTS’04), p. 13-16, 30 Juin-2 Juillet 2004, Catane, Italie
National Conferences:
- O. Nasr, J-P. Bodeveix, M. Filali, M. Rached, “Développement validé d’ordonnanceurs en B”, Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’06), p. 79-93, 15-17 Mars 2006, ENST, Paris
Research topics
Research Topics:
-
Real-time systems
-
Distributed systems
-
Assisted proofs
-
Model checking
-
Automatic proofs
-
Model transformations