Laurent Voisin

18 papers C 8Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2024 C conf
Semantics Formalisation - From Event-B Contexts to Theories.
ABZ
Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler
2024 — conf
Semantics Formalisation - Modelling and Proving Strategies Using Event-B Versus Theories.
The Application of Formal Methods
Thai Son Hoang, Colin F. Snook, Karla Vanessa Morris Wright, Laurent Voisin, Michael J. Butler
2020 C conf
The First Twenty-Five Years of Industrial Use of the B-Method.
FMICS
Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
2018 J jnl
Correct-by-construction specification to verified code.
J. Softw. Evol. Process.
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
2018 C conf
Modelling Dynamic Data Structures with the B Method.
ABZ
Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer
2018 C conf
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.
ABZ
Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin
2017 J jnl
Theory Plug-in for Rodin 3.x.
CoRR
Thai Son Hoang, Laurent Voisin, A. Salehi, Michael J. Butler, Toby Wilkinson, N. Beauger
2016 J jnl
From Event-B to Verified C via HLL.
CoRR
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
2014 J jnl
Integrating SMT solvers in Rodin.
Sci. Comput. Program.
David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin
2014 C conf
The Rodin Platform Has Turned Ten.
ABZ
Laurent Voisin, Jean-Raymond Abrial
2013 — conf
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO.
SEFM Workshops
Robert Abo, Laurent Voisin
2013 — ch.
Tooling.
Industrial Deployment of System Engineering Methods
Michael J. Butler, Laurent Voisin, Thomas Muller
2012 C conf
SMT Solvers for Rodin.
ABZ
David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin
2010 J jnl
Rodin: an open toolset for modelling and reasoning in Event-B.
Int. J. Softw. Tools Technol. Transf.
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin
2008 C conf
A Roadmap for the Rodin Toolset.
ABZ
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
2006 C conf
An Open Extensible Tool Environment for Event-B.
ICFEM
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
2004 J jnl
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM.
Tech. Sci. Informatiques
Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin
2003 — conf
Adaptable Translator of B Specifications to Embedded C Programs.
FME
Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin