Publications de
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Automatic Verification of Bossa Scheduler Properties
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 185, p. 17-32, juillet 2007.
Development of a Synchronous Subset of AADL (regular paper)
Dans : ASM, Alloy, B and Z, Orford, Québec, Canada, 22/02/10-25/02/10, Marc Frappier (Eds.), Springer-Verlag, LNCS 5977, p. 245-258, février 2010.
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Automatic Verification of Bossa Scheduler Properties
Dans : nternational Workshop on Automated Verification of Critical Systems (AVOCS 2006), LORIA Nancy, 18/09/06-19/09/06, Archives ouvertes HAL, (en ligne), septembre 2006.
Accès : http://hal.inria.fr/
BibTeXJean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Vérification automatique de propriétés d’ordonnanceurs Bossa
Dans : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2006), ENST Paris, 15/03/06-17/03/06, ENST, p. 95-109, mars 2006.
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Applying the B formal method to the Bossa domain-specific language
Dans : The 17th Nordic Workshop on Programming Theory, Copenhagen, Denmark, 19/10/05-21/10/05, DIKU Copenhagen, Denmark, octobre 2005.
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Formal methods meet domain specific languages
Dans : Fifth International Conference on Integrated Formal Methods (IFM), Eindhoven Netherlands, 29/11/05-02/12/05, LNCS (springer verlag) Vol. 3771, p. 187-206, novembre 2005.