3 citations · 3 across the 1 of their papers we have counts for
3 papers
cs.PL2020★ 3 cited
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…
cs.SE2018
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…
cs.LO2018
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…