Jean-Louis Boulanger

According to our database, Jean-Louis Boulanger authored at least 14 papers between 1995 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

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

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2009

Linking Paradigms in Safety Critical Systems.

Akram Idani, Jean-Louis Boulanger, Laurent Philippe

Int. J. Comput. Their Appl., 2009

2008

An Example of Requirements Engineering in a Model-based Methodology for Embedded Automotive Software.

Jean-Louis Boulanger, Van Quang Dao

Proceedings of the 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), June 30, 2008

RT3-TUCS: How to Build a Certifiable and Safety Critical Railway Application with UML Notation.

Jean-Louis Boulanger

Proceedings of the 17th International Conference on Software Engineering and Data Engineering (SEDE-2008), June 30, 2008

Requirements engineering in a model-based methodology for embedded automotive software.

Jean-Louis Boulanger, Van Quang Dao

Proceedings of the 2008 IEEE International Conference on Research, 2008

2007

Human reliability analysis for automatic train supervision.

Fabien Belmonte, Jean-Louis Boulanger, Walter Schön

Proceedings of the 10th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 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

Proceedings of the ICSOFT 2007, 2007

Commandments of UML for Safety.

Akram Idani, Dieu Donné Okalas Ossami, Jean-Louis Boulanger

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems.

Akram Idani, Jean-Louis Boulanger, Laurent Philippe

Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, 2007

2005

BRAIL - Safety Requirement Analysis.

Jean-Louis Boulanger

Proceedings of the ICEIS 2005, 2005

2003

ABTOOLS: Another B Tool.

Jean-Louis Boulanger

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

BHDL: Circuit Design in B.

Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

1995

Object Oriented Method for Axiom.

Jean-Louis Boulanger

ACM SIGPLAN Notices, 1995

The role of testing in the B formal development process.

Hélène Waeselynck, Jean-Louis Boulanger

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995