The role of testing in the B formal development process. - Hélène Waeselynck; Jean-Louis Boulanger (ISSRE, 1995)

Object Oriented Method for Axiom. - Jean-Louis Boulanger (ACM SIGPLAN Notices, 1995)

BHDL: Circuit Design in B. - Ammar Aljer; Philippe Devienne; Sophie Tison; Jean-Louis Boulanger; Georges Mariano (ACSD, 2003)

ABTOOLS: Another B Tool. - Jean-Louis Boulanger (ACSD, 2003)

BRAIL - Safety Requirement Analysis. - Jean-Louis Boulanger (ICEIS (3), 2005)

A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. - Akram Idani; Jean-Louis Boulanger; Laurent Philippe 002 (CAINE, 2007)

Commandments of UML for Safety. - Akram Idani; Dieu Donné Okalas Ossami; Jean-Louis Boulanger (ICSEA, 2007)

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 (ICSOFT (SE), 2007)

Human reliability analysis for automatic train supervision. - Fabien Belmonte; Jean-Louis Boulanger; Walter Schön (IFAC HMS, 2007)

Requirements engineering in a model-based methodology for embedded automotive software. - Jean-Louis Boulanger; Van Quang Dao (RIVF, 2008)

RT3-TUCS: How to Build a Certifiable and Safety Critical Railway Application with UML Notation. - Jean-Louis Boulanger (SEDE, 2008)

An Example of Requirements Engineering in a Model-based Methodology for Embedded Automotive Software. - Jean-Louis Boulanger; Van Quang Dao (SEDE, 2008)

Linking Paradigms in Safety Critical Systems. - Akram Idani; Jean-Louis Boulanger; Laurent Philippe 002 (Int. J. Comput. Their Appl., 2009)

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 Quéré; Bertrand Ricque (DSN Workshops, 2016)