Jean-Louis Boulanger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1995–2016
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | DSN | Software Safety Assessment and Probabilities. | Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Jean-Louis Camus, Cyrille Comar, Herv Delseny, Jean Gassino, Emmanuel Ledinot, Philippe Qur, Bertrand Ricque |
| 2007 | CAINE | A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. | Akram Idani, Jean-Louis Boulanger, Laurent Philippe |
| 2007 | ICSEA | Commandments of UML for Safety. | Akram Idani, Dieu Donn Okalas Ossami, Jean-Louis Boulanger |
| 2007 | ICSoft | A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml. | Dieu Donn Okalas Ossami, Jean-Marc Mota, Laurent Thiry, Jean-Marc Perronne, Jean-Louis Boulanger, Georges Mariano |
| 1995 | ISSRE | The role of testing in the B formal development process. | Hlne Waeselynck, Jean-Louis Boulanger |