- 3
- 1
- 1
Dominique Méry
5
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
- 5
- 5
- 5
- 2
- 4
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 3
- 1
- 1
- 1
- 1
- 3
- 1
Formal domain-driven system development in Event-B: Application to interactive critical systemsJournal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Article dans une revue
hal-03904803v1
|
|
|
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, x, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Communication dans un congrès
inserm-04095980v1
|
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours2022 29th Asia-Pacific Software Engineering Conference (APSEC), Dec 2022, Japan, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Communication dans un congrès
hal-04316165v1
|
Empowering the Event-B Method Using External TheoriesIntegrated Formal Methods, 13274, Springer International Publishing, pp.18-35, 2022, Lecture Notes in Computer Science, 978-3-031-07726-5. ⟨10.1007/978-3-031-07727-2_2⟩
Chapitre d'ouvrage
hal-03904799v1
|
|
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
|