- 7
- 2
Dominique Méry
9
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
- 9
- 9
- 9
- 3
- 3
- 3
- 3
- 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
- 9
- 3
- 1
- 1
- 1
- 2
- 5
- 1
- 1
A Refinement Strategy for Hybrid System Design with Safety ConstraintsMEDI 2021 - 10th International Conference Model and Data Engineering, Jun 2021, Tallinn, Estonia. pp.3-17, ⟨10.1007/978-3-030-78428-7_1⟩
Communication dans un congrès
hal-03298750v1
|
|
Refinement-based Construction of Correct Distributed AlgorithmsICI2ST 2021 - 2nd International Conference on Information Systems and Software Technologies, Mar 2021, Quito / Virtual, Ecuador
Communication dans un congrès
hal-03199808v1
|
|
Verification by Construction of Distributed AlgorithmsTheoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Oct 2019, Mammamet, Tunisia. pp.22-38, ⟨10.1007/978-3-030-32505-3_2⟩
Communication dans un congrès
hal-02400379v1
|
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
|
|
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
|
|
|
From System Events to Software Operations for Refinement-based Modeling of Hybrid Systems *2023
Pré-publication, Document de travail
hal-04189025v2
|
|
|
A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions2023
Pré-publication, Document de travail
hal-04152829v1
|
|
|
A Refinement Strategy for Hybrid System Design with Safety Constraints[Research Report] Université de Lorraine; INRIA; CNRS. 2020
Rapport
hal-02895528v1
|