Laurent Voisin

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 7

Top Topics

Defeasible Logic

Top Venues

Sci. Comput. Program.

Publications

Thai Son Hoang, Laurent Voisin, Karla Vanessa Morris Wright, Colin F. Snook, Michael J. Butler
Semantics Formalisation - From Event-B Contexts to Theories. ABZ (2024)
Michael J. Butler, Philipp Körner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin
The First Twenty-Five Years of Industrial Use of the B-Method. FMICS (2020)
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
Correct-by-construction specification to verified code. J. Softw. Evol. Process. 30 (10) (2018)
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
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ (2018)
Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer
Modelling Dynamic Data Structures with the B Method. ABZ (2018)
Thai Son Hoang, Laurent Voisin, A. Salehi, Michael J. Butler, Toby Wilkinson, N. Beauger
Theory Plug-in for Rodin 3.x. CoRR (2017)
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
From Event-B to Verified C via HLL. CoRR (2016)
Laurent Voisin, Jean-Raymond Abrial
The Rodin Platform Has Turned Ten. ABZ (2014)
David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin
Integrating SMT solvers in Rodin. Sci. Comput. Program. 94 (2014)
Robert Abo, Laurent Voisin
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO. SEFM Workshops (2013)
David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin
SMT Solvers for Rodin. ABZ (2012)
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin
Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12 (6) (2010)
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
A Roadmap for the Rodin Toolset. ABZ (2008)
Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin
An Open Extensible Tool Environment for Event-B. ICFEM (2006)
Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. Tech. Sci. Informatiques 23 (7) (2004)
Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin
Adaptable Translator of B Specifications to Embedded C Programs. FME (2003)