Documentation
Français (FR)

Anglais (EN)

Dominique Méry

17

Documents

Présentation

Publications

36820

	Playing with State-Based Models for Designing Better Algorithms Dominique Méry Future Generation Computer Systems, 2017, 68, pp.445-455. ⟨10.1016/j.future.2016.04.019⟩ Article dans une revue hal-01316026v1
	Towards An Integrated Formal Method for Verification of Liveness Properties in Distributed Systems Dominique Méry , Mike Poppleton Software and Systems Modeling, 2017, 16 (4), pp.1083--1115. ⟨10.1007/s10270-015-0504-y⟩ Article dans une revue hal-01245819v1
	Making explicit domain knowledge in formal system development Yamine Aït-Ameur , Dominique Méry Science of Computer Programming, 2016, 121 (100--127), ⟨10.1016/j.scico.2015.12.004⟩ Article dans une revue hal-01245832v1

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

	Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Yamine Aït-Ameur , Shin Nakajima , Dominique Méry Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩ Ouvrages hal-02910199v1
	Second International Workshop on Formal Integrated Development Environment Catherine Dubois , Paolo Masci , Dominique Méry EPTCS, 187, 2015, EPTCS ⟨10.4204/EPTCS.187⟩ Ouvrages hal-01246691v1

	Towards Leveraging Domain Knowledge in State-Based Formal Methods Yamine Aït-Ameur , Régine Laleau , Dominique Méry , Neeraj Kumar Singh Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, 12750, Springer, pp.1-13, 2021, Lecture Notes in Computer Science, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩ Chapitre d'ouvrage hal-03250787v1
	Contextual Dependency in State-based Modelling Dominique Méry , Souad Kherroubi 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⟩ Chapitre d'ouvrage hal-03199748v1
	Formal Ontological Analysis for Medical Protocols Neeraj Kumar Singh , Yamine Aït-Ameur , Dominique Méry 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⟩ Chapitre d'ouvrage hal-03199742v1
	Incremental Proof-Based Development for Resilient Distributed Systems Manamiary Bruno Andriamiarina , Dominique Méry , Neeraj Kumar Singh Trustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering Chapitre d'ouvrage hal-01246669v1
	Event B (english version) Neeraj Kumar Singh , Dominique Méry Jean-Louis Boulanger. Formal Methods Applied to Complex Systems, Wiley, 2014, Formal Methods Applied to Complex Systems, 9781119002727. ⟨10.1002/9781119002727.ch10⟩ Chapitre d'ouvrage hal-01216779v1

	Modelling an Aircraft Landing System in Event-B (Full Report) Dominique Méry , Neeraj Kumar Singh [Research Report] 2014 Rapport hal-00971787v1