|
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
|
Useful Links/ Liens utiles
- Publications List of publications
- 18TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS FM 2012 August 27 - 31, 2012, PARIS, FRANCE
- International Symposium on Foundations of Health
Information Engineering and Systems (Colocated with FM 2012) FHIES 2012 27-28 August 2012 Paris, FRance.
- EB2ALL tools set for translating Event B Models into Executable Codes is available by clicking on the highlighted link
- 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
- Informations for the Doctoral School IAEM Lorraine. Inquiries to diriaem "at" uhp-nancy "dot" fr
- Event B Web Page
- Projects for students of ESIAL
- 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
- Professor of Computing Science at Université Henri Poincaré- Nancy 1 and 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.
- ESIAL Relations Internationales
- Past Events
Topics |
List of Publications |
.... |
Lectures/Cours |
Cooperation |
Album |
 Requests to Dominique dot Méry at loria dot fr |