Publications of
Odile Nasr, Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali
Spécification et vérification d’un ordonnanceur en B via les automates temporisés
In : L’Objet, Hermès Science, Special issue Composants, services et aspects techniques et outils pour la vérification, Vol. 14, N. 4, pp. 43-72, December 2008.
Miloud Rached, Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali
Une Extension Temporisée de la Méthode B pour la Spécification et la Vérification des Systèmes Temps-Réel
In : Journal Européen des Systèmes Automatisés (JESA), Hermès Science, Special issue Approches formelles pour la spécification et la verification des systèmes embarqués temps-réel, Vol. 42 N. 9, pp. 1061-1084, December 2008.
Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached, David Chemouil, Pierre Gaufillet
Experimenting an AADL Behavioural Annex and a Verification Method
In : Data Systems In Aerospace (DASIA 2006), Berlin-Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (electronic medium), 2006.
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Développement validé d’odonnanceurs en B
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2006), ENST Paris, 15/03/06-17/03/06, ENST, pp. 79-93, March 2006.
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Verification of a Scheduler in B Through a Timed Automata Specification
In : Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, 23/04/06-27/04/06, ACM : Association for Computing Machinery, pp. 1800-1801, April 2006.
Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr
Real Time Aspects: Specification and Composition in B
In : 7th International Workshop on Aspect-Oriented Modeling, Montego Bay, Jamaica, 02/10/05-02/10/05, ?, October 2005.
URL : http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/papers.shtml
BibTeXMiloud Rached, Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr
A Timed B Method for Modelling Real Time Reactive Systems
In : SEEFM05. 2nd South-East European Workshop on Formal Methods, Ohrid (Macédoine), 18/11/05-20/11/05, South-East European Research Center (SEERC), pp. 181-195, November 2005.
Modelling Real Time Reactive Systems in a Timed B
In : ZB2005 Poster Session, University of Surrey, Guildford, UK, 13/04/05-15/04/05.
URL : http://www.zb2005.org/
BibTeXOdile Nasr, Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali
Specification of real-time schedulers
In : 16th Euromicro Conference on Real-Time Systems (ECRTS’04) (Work In Progress Session), Catania, Italy, 30/06/04-02/07/04, -, June 2004.
Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Méthodes de spécification de systèmes temps réel en B
In : FAC, Toulouse, 09/03/04-10/03/04.
Spécification et vérification des systèmes temps réel réactifs en B
Master’s Thesis, Université Paul Sabatier, May 2007.