Jean-Louis Boulanger

14 papers A 1C 2Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2016 — conf
Software Safety Assessment and Probabilities.
DSN Workshops
Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Jean-Louis Camus, Cyrille Comar, Hervé Delseny, Jean Gassino, Emmanuel Ledinot, Philippe Quéré, Bertrand Ricque
2009 J jnl
Linking Paradigms in Safety Critical Systems.
Int. J. Comput. Their Appl.
Akram Idani, Jean-Louis Boulanger, Laurent Philippe
2008 — conf
An Example of Requirements Engineering in a Model-based Methodology for Embedded Automotive Software.
SEDE
Jean-Louis Boulanger, Van Quang Dao
2008 — conf
RT3-TUCS: How to Build a Certifiable and Safety Critical Railway Application with UML Notation.
SEDE
Jean-Louis Boulanger
2008 — conf
Requirements engineering in a model-based methodology for embedded automotive software.
RIVF
Jean-Louis Boulanger, Van Quang Dao
2007 C conf
A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems.
CAINE
Akram Idani, Jean-Louis Boulanger, Laurent Philippe
2007 — conf
A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml.
ICSOFT (SE)
Dieu Donné Okalas Ossami, Jean-Marc Mota, Laurent Thiry, Jean-Marc Perronne, Jean-Louis Boulanger, Georges Mariano
2007 C conf
Commandments of UML for Safety.
ICSEA
Akram Idani, Dieu Donné Okalas Ossami, Jean-Louis Boulanger
2007 — conf
Human reliability analysis for automatic train supervision.
IFAC HMS
Fabien Belmonte, Jean-Louis Boulanger, Walter Schön
2005 — conf
BRAIL - Safety Requirement Analysis.
ICEIS (3)
Jean-Louis Boulanger
2003 — conf
ABTOOLS: Another B Tool.
ACSD
Jean-Louis Boulanger
2003 — conf
BHDL: Circuit Design in B.
ACSD
Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano
1995 J jnl
Object Oriented Method for Axiom.
ACM SIGPLAN Notices
Jean-Louis Boulanger
1995 A conf
The role of testing in the B formal development process.
ISSRE
Hélène Waeselynck, Jean-Louis Boulanger