Bernard Dion

A Cost-Effective Model-Based Approach for Developing ISO 26262 Compliant Automotive Safety Related Applications

Bernard Dion, 2016 .

Efficient incremental parsing for context-free languages

Manuel Vilares Ferro, Bernard Dion, 1994, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94).

SCADE: Language and Applications

Jean-Louis Boulanger, Bernard Dion, Jean-Louis Camus, 2015 .

Model-Based Design of Complex Integrated Systems for Synchronous Architectures

Thierry Le Sergent, Bruno Martin, Bernard Dion, 2007 .

SCADE Solutions for the Efficient Development of ARINC 661 Cockpit Display Systems and User Applications

Bernard Dion, Vincent Rossignol, Aubanel Monnier, 2011 .

Formal Verification for Model-Based Development

Amar Bouali, Bernard Dion, 2005 .

Design of an Automatic Teller Machine with Esterel Studio

Bernard Dion, Sylvan Dissoubray, 2000, Formal Aspects of Computing.