Laurent Voisin

18 papers C 8Journal 6Unranked 3

Year	Rank	Type	Title / 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