Concepedia

Bernard Dion

BD

3

Publications

54

Citations

3

H-Index

2002

Active since

Affiliations

Fondation Sophia Antipolis(Current)

Bernard Dion is an author at Fondation Sophia Antipolis specializing in compilers, formal methods, and program analysis.

Top concepts

Publications per year

2002–2005

3

Publications

3

Efficient incremental parsing for context-free languages

Manuel Vilares Ferro, Bernard Dion · 2002 · 30 citations

, , +23

Formal Verification for Model-Based Development

Amar Bouali, Bernard Dion · SAE technical papers on CD-ROM/SAE technical paper series · 2005 · 13 citations

Correct-By-Construction Methods for the Development of Safety-Critical Applications

Bernard Dion · SAE technical papers on CD-ROM/SAE technical paper series · 2004 · 11 citations

, , +24

Rows per page

1–3 of 3