Back to INDEX   Publications of Benoit Parreaux   Articles in journal or book chapters Jacques Julliand, Françoise Bellegarde, and Benoit Parreaux. De l'expression des besoins à l'expression formelle des propriétés dynamiques. TSI (Technique et Science Informatiques), 18(7):747--776, 1999. [bibtex] Conference articles Jacques Julliand, Bruno Legeard, T. Machicoane, Benoit Parreaux, and Bruno Tatibouët. Specification of an Integrated Circuit Card Protocol Applications using the B method and Linear Temporal Logic. In 2nd B Conference, volume 1393 of LNCS, Montpellier, France, pages 273--292, April 1998. [bibtex] Benoit Parreaux. Difference Compression in SPIN. In 4th Workshop on automata theoric verification with the SPIN model checker, SPIN'98, Paris, France, November 1998. [bibtex] Internal reports Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, Benoit Parreaux, J. Vincent, B. Bottela, and A. Gotlieb. Génération de tests dans le cas de structures dynamiques. Compte rendu d'avancement 1, RNTL INKA, Thales, July 2001. Note: 23 pages. [bibtex] Other publications L. Py and Benoit Parreaux. Evaluation contrainte pour l'animation et le model-checking. , December 1999. [bibtex] Benoit Parreaux. Model checking abstrait. , April 1998. [bibtex] Benoit Parreaux and L. Py. Résolution de contraintes ensemblistes pour l'outillage de B : animation et model checking. , October 1998. [bibtex] Benoit Parreaux. Etude de la parallélisation d'un model checker utilisant la logique temporelle linéaire. , October 1997. [bibtex] Back to INDEX

Wed May 16 18:07:19 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod

This document was translated from BibTEX by bibtex2html