Skip to Main content
Number of documents

8

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


43351   

Conference papers2 documents

  • Dominique Méry. Refinement-based Construction of Correct Distributed Algorithms. ICI2ST 2021 - The Second International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador. ⟨hal-03199808⟩
  • Dominique Méry. Verification by Construction of Distributed Algorithms. Theoretical Aspects of Computing - 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩. ⟨hal-02400379⟩

Book sections3 documents

  • Dominique Méry, Souad Kherroubi. Contextual Dependency in State-based Modelling. Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_9⟩. ⟨hal-03199748⟩
  • Neeraj Kumar Singh, Yamine Aït-Ameur, Dominique Méry. Formal Ontological Analysis for Medical Protocols. Implicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩. ⟨hal-03199742⟩
  • Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh. Towards Leveraging Domain Knowledge in State-Based Formal Methods. Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Brger on the Occasion of His 75th Birthday", Lecture Notes in Computer Science (12750), Springer, pp.1-13, 2021, Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Brger on the Occasion of His 75th Birthday, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩. ⟨hal-03250787⟩

Directions of work or proceedings2 documents

  • Alexander Raschke, Dominique Méry, Frank Houdek. Rigorous State-Based Methods - 7th International Conference, {ABZ} 2020, Ulm, Germany, May 27-29, 2020, Proceedings. Alexander Raschke; Dominique Méry; Frank Houdek. ABZ 2020, May 2020, ULM, Germany. Lecture Notes in Computer Science (12071), Springer, 2020, Rigorous State-Based Methods - 7th International Conference, 2020, Ulm, Germany, May 27-29, 2020, Proceedings, 978-3-030-48076-9. ⟨hal-02999312⟩
  • Dominique Méry, Shengchao Qin. 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE). Dominique Méry and Shengchao Qin. Theoretical Aspects of Software Engineering (TASE), Guillin, China. IEEE, 2019, 978-1-7281-3342-3. ⟨hal-02400510⟩

Reports1 document

  • Zheng Cheng, Dominique Méry. A Refinement Strategy for Hybrid System Design with Safety Constraints. [Research Report] Université de Lorraine; INRIA; CNRS. 2020. ⟨hal-02895528⟩