Laurent Voisin

According to our database, Laurent Voisin authored at least 16 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

The First Twenty-Five Years of Industrial Use of the B-Method.

Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

2018

Correct-by-construction specification to verified code.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin

J. Softw. Evol. Process., 2018

Modelling Dynamic Data Structures with the B Method.

Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.

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

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Theory Plug-in for Rodin 3.x.

Thai Son Hoang, Laurent Voisin, A. Salehi, Michael J. Butler, Toby Wilkinson, N. Beauger

CoRR, 2017

2016

From Event-B to Verified C via HLL.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin

CoRR, 2016

2014

Integrating SMT solvers in Rodin.

David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin

Sci. Comput. Program., 2014

The Rodin Platform Has Turned Ten.

Laurent Voisin, Jean-Raymond Abrial

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO.

Robert Abo, Laurent Voisin

Proceedings of the Software Engineering and Formal Methods, 2013

Tooling.

Michael J. Butler, Laurent Voisin, Thomas Muller

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

SMT Solvers for Rodin.

David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2010

Rodin: an open toolset for modelling and reasoning in Event-B.

Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin

Int. J. Softw. Tools Technol. Transf., 2010

2008

A Roadmap for the Rodin Toolset.

Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2006

An Open Extensible Tool Environment for Event-B.

Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin

Proceedings of the Formal Methods and Software Engineering, 2006

2004

Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM.

Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin

Tech. Sci. Informatiques, 2004

2003

Adaptable Translator of B Specifications to Embedded C Programs.

Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin

Proceedings of the FME 2003: Formal Methods, 2003