Jean-Raymond Abrial
2010
Modeling in Event-B: System and Software Engineering
Cambridge University Press
10.1017/S0956796812000081
Jean-Raymond Abrial
Michael Butler
Stefan Hallerstede
Thai Son Hoang
Farhad Mehta
Laurent Voisin
2010
Rodin: an open toolset for modelling and reasoning in Event-B
International Journal on Software Tools for Technology Transfer
12
6
447–466
10.1007/s10009-010-0145-y
Jean-Raymond Abrial
Dominique Cansell
Dominique Méry
2003
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol.
Formal Aspects of Computing
14
3
215–227
10.1007/s001650300002
Néstor Cataño
Víctor Rivera
2016
EventB2Java: A Code Generator for Event-B
Sanjai Rayadurgam
Oksana Tkachuk
NASA Formal Methods
Springer International Publishing
Cham
166–171
10.1007/978-3-319-40648-0_13
Zheng Cheng
Dominique Méry
Rosemary Monahan
2016
On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
821–838
10.1007/978-3-319-47166-2_57
Horatiu Cirstea
Alexis Grall
Dominique Méry
2020
Generating Distributed Programs from Event-B Models
Research Report
LORIA UMR 7503 CNRS, INRIA, Université de LORRAINE
https://hal.inria.fr/hal-02572971
Andrew Edmunds
Michael Butler
2011
Tasking Event-B: An extension to Event-B for generating concurrent code
PLACES 2011
http://eprints.soton.ac.uk/id/eprint/272006
Yanhong A Liu
Scott D Stoller
Bo Lin
Michael Gorbovitski
2012
From clarity to efficiency for distributed algorithms
ACM SIGPLAN Notices
47
ACM
395–410
10.1145/2384616.2384645
Dominique Méry
2009
Refinement-based guidelines for algorithmic systems
International Journal of Software and Informatics
3
2-3
197–239
Dominique Méry
2018
Modelling by Patterns for Correct-by-Construction Process
Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
399–423
10.1007/978-3-030-03418-4_24
Dominique Méry
2019
Verification by Construction of Distributed Algorithms
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings
22–38
10.1007/978-3-030-32505-3_2
Dominique Méry
Rosemary Monahan
2013
Transforming Event B Models into Verified C# Implementations
Alexei Lisitsa
Andrei P. Nemytykh
First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013
EPiC Series in Computing
16
EasyChair
57–73
Gerard Tel
2000
Introduction to distributed algorithms
Cambridge University Press
10.1017/CBO9781139168724
Mohamed Tounsi
Mohamed Mosbah
Dominique Méry
2016
From Event-B specifications to programs for distributed algorithms
IJAACS
9
3/4
223–242
10.1504/IJAACS.2016.079623