7 citations · 15 across the 7 of their papers we have counts for
7 papers
Generating Distributed Programs from Event-B Models
Horatiu Cirstea, Alexis Grall, Dominique Méry
Distributed algorithms offer challenges in checking that they meet their specifications. Verification techniques can be extended to deal with the verification of safety properties…
Explicit Modelling of Physical Measures: From Event-B to Java
J Paul Gibson, Dominique Méry
The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects…
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)
Régine Laleau, Dominique Méry, Shin Nakajima +1
This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development and FM&MDD, the second worksho…
Proceedings Second International Workshop on Formal Integrated Development Environment
Catherine Dubois, Paolo Masci, Dominique Méry
This volume contains the proceedings of F-IDE 2015, the second international workshop on Formal Integrated Development Environment, which was held as an FM 2015 satellite event, on…
Modelling an Aircraft Landing System in Event-B (Full Report)
Dominique Méry, Neeraj Kumar Singh
The failure of hardware or software in a critical system can lead to loss of lives. The design errors can be main source of the failures that can be introduced during system develo…
Proceedings 1st Workshop on Formal Integrated Development Environment
Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry
This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event,…
Event Systems and Access Control
Dominique Méry, Stephan Merz
We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems specified as e…