- 10
- 5
- 2
Dominique Méry
17
Documents
Présentation
- Full Professor in Computing Science
- Head of the team [MOSEL](http://mosel.loria.fr) of the [LORIA](http://www.loria.fr) laboratory
- Professor at [Telecom Nancy](https://telecomnancy.univ-lorraine.fr/)
- 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](http://members.loria.fr/Mery)
Publications
- 17
- 16
- 14
- 6
- 5
- 5
- 5
- 5
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 3
- 1
- 1
- 1
- 4
- 1
- 3
- 3
- 2
- 4
Playing with State-Based Models for Designing Better AlgorithmsFuture 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 SystemsSoftware 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 developmentScience 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.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-BMEDI 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 RodinISOLA 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 StudyModel 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 AlgorithmsModel 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 Systems6th 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 SystemsSpringer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩
Ouvrages
hal-02910199v1
|
|
Second International Workshop on Formal Integrated Development EnvironmentEPTCS, 187, 2015, EPTCS ⟨10.4204/EPTCS.187⟩
Ouvrages
hal-01246691v1
|
Towards Leveraging Domain Knowledge in State-Based Formal MethodsRaschke, 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 ModellingImplicit 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 ProtocolsImplicit 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 SystemsTrustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
Chapitre d'ouvrage
hal-01246669v1
|
|
Event B (english version)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)[Research Report] 2014
Rapport
hal-00971787v1
|