default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Louis Boulanger

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j2]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/isca/IdaniBP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isca/IdaniBP09
Akram Idani, Jean-Louis Boulanger, Laurent Philippe:
Linking Paradigms in Safety Critical Systems. Int. J. Comput. Their Appl. 16(2): 111-120 (2009)
1995
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/Boulanger95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Boulanger95
Jean-Louis Boulanger:
Object Oriented Method for Axiom. ACM SIGPLAN Notices 30(2): 33-41 (1995)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/BlanquartBBCCDG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/BlanquartBBCCDG16
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: 213-214
2008
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/rivf/BoulangerD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rivf/BoulangerD08
Jean-Louis Boulanger, Van Quang Dao:
Requirements engineering in a model-based methodology for embedded automotive software. RIVF 2008: 263-268
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sede/BoulangerD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sede/BoulangerD08
Jean-Louis Boulanger, Van Quang Dao:
An Example of Requirements Engineering in a Model-based Methodology for Embedded Automotive Software. SEDE 2008: 130-137
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sede/Boulanger08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sede/Boulanger08
Jean-Louis Boulanger:
RT3-TUCS: How to Build a Certifiable and Safety Critical Railway Application with UML Notation. SEDE 2008: 182-187
2007
[c8]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/caine/IdaniBP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caine/IdaniBP07
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: 185-192
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icsea/IdaniOB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsea/IdaniOB07
Akram Idani, Dieu Donné Okalas Ossami, Jean-Louis Boulanger:
Commandments of UML for Safety. ICSEA 2007: 58
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icsoft/OssamiMTPBM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/OssamiMTPBM07
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: 236-243
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ifachms/BelmonteBS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifachms/BelmonteBS07
Fabien Belmonte, Jean-Louis Boulanger, Walter Schön:
Human reliability analysis for automatic train supervision. IFAC HMS 2007: 372-377
2005
[c4]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/Boulanger05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/Boulanger05
Jean-Louis Boulanger:
BRAIL - Safety Requirement Analysis. ICEIS (3) 2005: 108-111
2003
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/Boulanger03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/Boulanger03
Jean-Louis Boulanger:
ABTOOLS: Another B Tool. ACSD 2003: 231-232
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/AljerDTBM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/AljerDTBM03
Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano:
BHDL: Circuit Design in B. ACSD 2003: 241-242
1995
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/WaeselynckB95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/WaeselynckB95
Hélène Waeselynck, Jean-Louis Boulanger:
The role of testing in the B formal development process. ISSRE 1995: 58-67

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.