Jean-Louis Boulanger

Publication Activity (10 Years)

Years Active: 1995-2016
Publications (10 Years): 1

Top Topics

Decision Making

Computer Software

Software Process Improvement

Belief Networks

Top Venues

Publications

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