Laurent Voisin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2003–2020
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FMICS | The First Twenty-Five Years of Industrial Use of the B-Method. | Michael J. Butler, Philipp Krner, Sebastian Krings, Thierry Lecomte, Michael Leuschel, Luis-Fernando Mejia, Laurent Voisin |
| 2013 | SEFM | Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO. | Robert Abo, Laurent Voisin |
| 2006 | ICFEM | An Open Extensible Tool Environment for Event-B. | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin |
| 2003 | FM | Adaptable Translator of B Specifications to Embedded C Programs. | Didier Bert, Sylvain Boulm, Marie-Laure Potet, Antoine Requet, Laurent Voisin |