Publication 2000


Dominique Cansell, Dominique Méry, Stephan Merz. Diagrams Refinement for the Design of Reactive Systems 2000 Journal of Universal Computer Science 7 159-174 A00-R-448


Paul J Gibson ohn, Dominique Méry. Fair Objects Object-oriented technology and computing systems re-engineering 2000 H. Zedan and A. Cau Computer Science and Electronic Engineering Horwood Publishing Ltd A00-R-072
Dominique Cansell, Dominique Méry. Abstraction and refinement of features Language Constructs for Designing Features 2000 Stephen, Gilmore et Mark, Ryan Springer A00-R-449


Dominique Cansell, Dominique Méry, Stephan Merz. Predicate diagrams for the verification of reactive systems Second International Conference on Integrated Formal Methods - IFM'2000, Dagstuhl Castle, Germany Nov 2000 W. Grieskamp, T. Santen, B. Stoddart 1945 Lecture Notes in Computer Science 380-397 Springer-Verlag A00-R-223
Dominique Cansell, Dominique Méry. Playing with abstraction and refinement for managing features interactions. A methodological approach to feature interaction problem International Conference on B and Z Users - ZB'2000, York, GB Aug/Sep 2000 Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King 1878 Lecture Notes in Computer Science 148-167 Springer-Verlag A00-R-409
Dominique Cansell, Dominique Méry, Stephan Merz. Verifying Reactive Systems Using Predicate Diagrams FM-TOOLS'2000, Ulm Jul 2000 Wolfgang Reif & Gerhard Schellhorn A00-R-438
Paul Gibson, Geoff Hamilton, Dominique Méry. A taxonomy for triggered interactions using fair object semantics Feature Interactions in Telecommunications and Software Systems VI, Glasgow, UK May 2000 M. Calder and E. Magill IOS Press A00-R-451
Dominique Cansell, Dominique Méry, Christophe Tabacznyj. Abstraction and Refinement of Concurrent Programs and Formal Specification Workshop on Formal Methods for Parallel Programming - FMPPTA'2000, Cancun, Mexico May 2000 Jose Rolim et al. 1800 Lecture Notes in Computer Science 1037-1038 Springer-Verlag A00-R-439
Dominique Cansell, Dominique Méry, Stephan Merz. Predicate diagrams Workshop on Requirement, Design, Correct Construction, and Verification, Munich, Germany Apr 2000 M.V. Cengarle A00-R-437


Dimitri Samborski. Problème d'interaction des services téléphoniques Thèse d'université Oct 2000 A00-T-440
Leila Jemni Ben Ayed. Une approche formelle pour la spécification et la vérification des systèmes temps-réel Thèse d'université Feb 2000 A00-T-378
Yassine Mokhtari. Validation des spécifications formelles de la logique temporelle des actions Thèse d'université Feb 2000 A00-T-441
Raphaël Couturier. Utilisation des méthodes formelles pour le développement de programmes parallèles Thèse d'université Jan 2000 A00-T-026


Jacques Jaray. Fixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming Rapport de recherche Apr 2000 A00-R-086
Jacques Jaray, Olivier Galibert. A Data-Parallel Implementation of the Gauss-Seidel Iteration Method Applied to the Sliding Box Problem Rapport de recherche Apr 2000 A00-R-085
Dominique Cansell, Jacques Jaray, Dominique Méry. Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B. Rapport de fin de contrat Apr 2000 A00-R-047