Skip to Main content
Number of documents

17

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


36820   

Journal articles3 documents

Conference papers6 documents

  • Dominique Méry. Modelling by Patterns for Correct-by-Construction Process.. ISOLA 2018 - 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.399-423. ⟨hal-01933971⟩
  • Souad Kherroubi, Dominique Méry. Contextualization and Dependency in State-Based Modelling - Application to Event-B. MEDI 2017 - International Conference on Model and Data Engineering, Oct 2017, Barcelona, Spain. pp.137--152, ⟨10.1007/978-3-319-66854-3_11⟩. ⟨hal-01631017⟩
  • Dominique Méry, Rosemary Monahan, Cheng Zheng. On two Friends for getting Correct Programs Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. ISOLA 2016 , Bernhard Steffen and Tiziana Margaria, Oct 2016, CORFU, Greece. pp.18, ⟨10.1007/978-3-319-47166-2_57⟩. ⟨hal-01369425⟩
  • Dominique Méry, Sawant Rushikesh, Anton Tarasyuk. Integrating Domain-Based Features into Event-B: a Nose Gear Velocity Case Study. Model and Data Engineering - 5th International Conference, MEDI 2015, Sep 2015, Rhodes, Greece. pp.89-102. ⟨hal-01245991⟩
  • Dominique Méry. Playing with State-Based Models for Designing Better Algorithms. Model and Data Engineering - 4th International Conference, MEDI 2014, Sep 2014, Larrnaca, Greece. pp.1-3. ⟨hal-01097625⟩
  • Yamine Aït-Ameur, J. Paul Gibson, Dominique Méry. On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications - 6th International Symposium,, Tiziana Margaria and Bernhard Steffen, Oct 2014, Corfu, Greece. pp.604-618. ⟨hal-01097624⟩

Book sections4 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⟩
  • Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh. Incremental Proof-Based Development for Resilient Distributed Systems. Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering. ⟨hal-01246669⟩

Directions of work or proceedings4 documents

  • Yamine Aït-Ameur, Shin Nakajima, Dominique Méry. Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems. Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩. ⟨hal-02910199⟩
  • Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna. Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD). Electronic Proceedings in Theoretical Computer Science, 271, 2018, ⟨10.4204/EPTCS.271⟩. ⟨hal-01933762⟩
  • El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, et al.. New Trends in Model and Data Engineering. MEDI 2018 - International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. Communications in Computer and Information Science, Communications in Computer and Information Science (929), Springer, 2018, 978-3-030-02851-0. ⟨10.1007/978-3-030-02852-7⟩. ⟨hal-01933975⟩
  • Catherine Dubois, Paolo Masci, Dominique Méry. Second International Workshop on Formal Integrated Development Environment. Jun 2015, France. EPTCS, 2015, EPTCS ⟨10.4204/EPTCS.187⟩. ⟨hal-01246691⟩