|
E-mail/Courrier Electronique: Dominique "dot" Mery "at" loria "dot" fr Dominique "dot" Mery "at" free "dot".fr Snail/Courrier Escargot: Dominique Méry LORIA & Université de Lorraine BP 239 F-54506 Vandoeuvre lès Nancy France
|
Current Informations
- 5th International ABZ 2014 Conference (ASM, Alloy, B, TLA, VDM, Z) ABZ 2016 May 23-27, 2016 -- Linz, Austria
- 12th International Conference on integrated Formal Methods iFM 2016 June 1-4, 2016 -- Reykjavik, Iceland
- 21TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS FM 2016 November 07 - 11, 2016, Limassol, Cyprus
- List of publications
- Informations for the Doctoral School IAEM Lorraine. Inquiries to ed-iaem-dir "at" univ-lorraine "dot" fr
- Professor of Computing Science at Université de Lorraine and TELECOM Nancy (Ecole Supérieure d'Informatique et Applications de Lorraine)
- Former Member of the Institut Universitaire de France (1995-2000) .
- Leader of the research group MOSEL in the UMR no 7503 LORIA laboratory.
- Lectures at Université de Lorraine, Telecom Nancy Modelling Software-based Systems MsC Computer Science, Session 2015-2016 on a Moodle-like platform called Arche
- Lectures at Université de Lorraine, Telecom Nancy Modèles et Algorithmes MsC Computer Science, Telecom, Session 2015-2016 on a Moodle-like platform called Arche
- Lectures at NUI Maynooth Access to the lectures notes Session February 2016
- Lectures at Université de Lorraine, Telecom Nancy Modèles et Algorithmes MsC Computer Science, Telecom, Session 2015-2016 on a Moodle-like platform called Arche
- Project IMPEX supported by ANR on IMPlicit and EXplicit semantics integration in proof based developments of discrete systems.
- EB2ALL tools set for translating Event B Models into Executable Codes is available by clicking on the highlighted link
- Event B Web Page
- Medical Protocol Diagnosis using Formal Methods by Neeraj Singh and Dominique Mery
- Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-Automata by Neeraj Singh and Dominique Mery
- Logics of Specification Languages appears in the Series: Monographs in Theoretical Computer Science. An EATCS Series Bjorner, Dines; Henson, Martin C. (Eds.) . A chapter on Event B is cowritten by Dominique Cansell and Dominique Méry.
- Project RIMEL on refinement of event systems and applications to distributed algorithms and system engineering