Skip to Main content
Number of documents

5

Dominique Méry


  • Full Professor in Computing Science
  • Head of the team  MOSEL  of the LORIA laboratory
  • Professor at   Telecom Nancy
  • dominique dot mery at loria dot fr
  • Tel.+33 (0)3.83.59.20.19
  • Bureau B202
    LORIA, Campus Scientifique,
    F54506 Vandœuvre lès Nancy
  • Webpage on the LORIA laboratory


2508   

Conference papers2 documents

  • Nazim Benaissa, Dominique Méry. Développement combiné et prouvé de systèmes transactionnels cryptologiques. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2009, Jan 2009, Toulouse, France. ⟨inria-00426405⟩
  • Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Dominique Méry. A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems. Integration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany. ⟨hal-00361933⟩

Reports3 documents

  • Dominique Méry, Neeraj Kumar Singh. Technical Report on Formal Development of Two-Electrode Cardiac Pacing System. [Research Report] 2010. ⟨inria-00465061v2⟩
  • Dominique Méry, Neeraj Kumar Singh. Pacemaker's Functional Behaviors in Event-B. [Research Report] 2009. ⟨inria-00419973v2⟩
  • Nazim Benaissa, Dominique Méry. Développement incrémental prouvé de systèmes répartis : le cas Mondex. [Rapport de recherche] 2008, pp.13. ⟨inria-00336655⟩