Index

Revue d’audience nationale avec comité de rédaction

•  Notere 2007 : Métamodèle d'architectures distribuées à des fins d'analyse et de performance

•   TestCom 2006 : LaTe, a non-fully deterministic testing language

•   FORTE 2004 : Formal Composition of distributed scenarios

•   NOTERE 2004 : Integrating Scenarios  with Explicit Loops

•   SAM 2004 : Scenarios with Explicit Loop Specification (Poster)

•   SDL Forum 2003 : RMTP2 : Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol.

•   SDL Forum 2003 : Refining Timed MSCs (meilleur papier/présentation de la conférence SDL Forum 2003)

•  F. Bellegarde, J. Julliand, B. Parreaux, De l'expression des besoins à l'expression formelle des propriétés dynamiques, TSI n°7, Hermes, Juillet 1999.
•  Congrès d’audience internationale, avec comité de sélection et publication des actes
•  J. Julliand, B. Legeard, T. Machicoane, B. Parreaux, B. Tatibouet, Specification of an integrated circuits card protocol application using B and LTL, 2nd Conference on the B method, LNCS n°1393, Montpellier, April 1998.
•  B. Parreaux, Difference compression in SPIN, 4th Workshop on Automata Theorical Verification with the SPIN model-checker, Paris, November 1998.

Présentations sans actes

•  B. Parreaux, Etude de la parallélisation d’un model-checker utilisant de la logique temporelle linéaire , Séminaire Réseau Grand-Est, Octobre 1997.
•  L. Py, B. Parreaux, Utilisation de contraintes dans la vérification par model-checking, Séminaire à l’école des jeunes chercheurs en programmation en 1998.
•  L. Py, B. Parreaux, Evaluation de spécifications formelles B en Programmation Logique avec Contraintes Ensemblistes, Workshop on Modeling and Verification, Besançon, 9 – 11 december 1999.
•  Invité aux journées du CNAM-CMSL du 15-16 octobre 2003
                       "Test des systèmes logiciels : automatiser pour mieux valider ?"
                       Exposé sur un retour d'expérience.

•  CFIP 2005 : Métrologie Internet : Techniques, Expériences et Applications (tutorial)
                       Machines de mutations pour l'enrichissement de test de protocoles

Cette page a été mise à jour le 20/08/09.