Publications de
Odile Nasr, Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali
Spécification et vérification d’un ordonnanceur en B via les automates temporisés
Dans : L’Objet, Hermès Science, Numéro spécial Composants, services et aspects techniques et outils pour la vérification, Vol. 14, N. 4, p. 43-72, décembre 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
Dans : Journal Européen des Systèmes Automatisés (JESA), Hermès Science, Numéro spécial Approches formelles pour la spécification et la verification des systèmes embarqués temps-réel, Vol. 42 N. 9, p. 1061-1084, décembre 2008.
Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached, David Chemouil, Pierre Gaufillet
Experimenting an AADL Behavioural Annex and a Verification Method
Dans : Data Systems In Aerospace (DASIA 2006), Berlin-Germany, 22/05/06-25/05/06, European Space Agency (ESA Publications), (support électronique), 2006.
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Développement validé d’odonnanceurs en B
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2006), ENST Paris, 15/03/06-17/03/06, ENST, p. 79-93, mars 2006.
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Verification of a Scheduler in B Through a Timed Automata Specification
Dans : Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, 23/04/06-27/04/06, ACM : Association for Computing Machinery, p. 1800-1801, avril 2006.
Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr
Real Time Aspects: Specification and Composition in B
Dans : 7th International Workshop on Aspect-Oriented Modeling, Montego Bay, Jamaica, 02/10/05-02/10/05, ?, octobre 2005.
Accès : 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
Dans : SEEFM05. 2nd South-East European Workshop on Formal Methods, Ohrid (Macédoine), 18/11/05-20/11/05, South-East European Research Center (SEERC), p. 181-195, novembre 2005.
Modelling Real Time Reactive Systems in a Timed B
Dans : ZB2005 Poster Session, University of Surrey, Guildford, UK, 13/04/05-15/04/05.
Accès : http://www.zb2005.org/
BibTeXOdile Nasr, Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali
Specification of real-time schedulers
Dans : 16th Euromicro Conference on Real-Time Systems (ECRTS’04) (Work In Progress Session), Catania, Italy, 30/06/04-02/07/04, -, juin 2004.
Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached
Méthodes de spécification de systèmes temps réel en B
Dans : FAC, Toulouse, 09/03/04-10/03/04.
Spécification et vérification des systèmes temps réel réactifs en B
Thèse de doctorat, Université Paul Sabatier, mai 2007.