Publications of
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Automatic Verification of Bossa Scheduler Properties
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 185, pp. 17-32, July 2007.
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Automatic Verification of Bossa Scheduler Properties
In : nternational Workshop on Automated Verification of Critical Systems (AVOCS 2006), LORIA Nancy, 18/09/06-19/09/06, Archives ouvertes HAL, (on line), September 2006.
URL : http://hal.inria.fr/
BibTeXJean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Vérification automatique de propriétés d’ordonnanceurs Bossa
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2006), ENST Paris, 15/03/06-17/03/06, ENST, pp. 95-109, March 2006.
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Applying the B formal method to the Bossa domain-specific language
In : The 17th Nordic Workshop on Programming Theory, Copenhagen, Denmark, 19/10/05-21/10/05, DIKU Copenhagen, Denmark, October 2005.
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
Formal methods meet domain specific languages
In : Fifth International Conference on Integrated Formal Methods (IFM), Eindhoven Netherlands, 29/11/05-02/12/05, LNCS (springer verlag) Vol. 3771, pp. 187-206, November 2005.