Publication 2006

article

Dominique Cansell, Dominique Méry. Formal and Incremental Construction of Distributed Algorithms: On the Distributed Reference Counting Algorithm 2006 Theoretical Computer Science http://hal.inria.fr/inria-00093164/en/
Alexander Knapp, Stephan Merz, Martin Wirsing, Julia Zappe. Specification and Refinement of Mobile Systems in MTLA and Mobile UML 2006 Theoretical Computer Science 351 184--202 http://hal.inria.fr/inria-00000754/en/

coursenotes

Dominique Cansell, Dominique Méry. Tutorial on the event-based B method 2006 http://hal.inria.fr/inria-00092846/en/

inbook

Stephan Merz. Systèmes Temps Réel - techniques de description et de vérification 2006 Nicolas Navet 89-120 Hermes-Science Lavoisier http://hal.inria.fr/inria-00081343/en/

inproceedings

Dominique Cansell, Dominique Méry. Incremental Parametric Development of Greedy Algorithms Automatic Verification of Critical Systems - AVoCS 2006, 09/2006 2006 Stephan Merz and Tobias Nipkow Automatic Verification of Critical Systems (AVoCS 2006) 48-62 http://hal.inria.fr/inria-00089497/en/
David Déharbe, Pascal Fontaine. haRVey: combining reasoners Automatic Verification of Critical Systems - AVoCS 2006, 09/2006 2006 Stephan Merz and Tobias Nipkow Automatic Verification of Critical Systems (AVoCS 2006) 152-156 http://hal.inria.fr/inria-00091662/en/
Houda Fekih, Leila Jemni Ben Ayed, Stephan Merz. Transformation of B Specifications into UML Class Diagrams and State Machines 21st Annual ACM Symposium on Applied Computing - SAC 2006, 04/2006 2006 2 Applied Computing 2006 1840-1844 ACM http://hal.inria.fr/inria-00001269/en/
Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Tiu. Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'06, 03/2006 2006 Holger Hermanns and Jens Palsberg 3920 Lecture Notes in Computer Science 167-181 Springer http://hal.inria.fr/inria-00001088/en/
Clément Hurlin. Proof reconstruction for first-order logic and set-theoretical constructions Automatic Verification of Critical Systems - AVoCS 2006, 09/2006 2006 Stephan Merz and Tobias Nipkow Automatic Verification of Critical Systems (AVoCS 2006) 157-162 http://hal.inria.fr/inria-00091811/en/
Dominique Méry, Stephan Merz. Event Systems and Access Control Sixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, 03/2006 2006 Dieter Gollmann and Jan Jürjens 40-54 Vienna University of Technology http://hal.inria.fr/inria-00001262/en/
Joris Rehm. A method to refine time constraints in event B framework Automatic Verification of Critical Systems - AVoCS 2006, 09/2006 2006 Stephan Merz and Tobias Nipkow Automatic Verification of Critical Systems (AVoCS 2006) 173-177 http://hal.inria.fr/inria-00091665/en/

techreport

Olga Kouchnarenko, Arnaud Lanoix. How to Verify and Exploit a Refinement of Component-based Systems Rapport de recherche INRIA 2006 http://hal.inria.fr/inria-00071369/en/