Bernard Dion - Concepedia

Author

Bernard Dion

Also Known As

Ansys, B. Dion, B.A. Dion, Bernard Dion, Dion, Bernard

Publications

109

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	41
2	Computer Science	2	2	41
3	Language Studies	1	1	30
4	Computer Engineering	1	1	11
5	Linguistics	1	1	30

Bernard Dion

Publications

Citations

H-Index

Page 1

	Year	Citations
Efficient incremental parsing for context-free languages Manuel Vilares Ferro, Bernard Dion Context-free GrammarsSyntactic ParsingIncremental Parsing AlgorithmEngineeringSoftware Analysis	2002	30
Formal Verification for Model-Based Development Amar Bouali, Bernard Dion SAE technical papers on CD-ROM/SAE technical paper series	2005	13
Correct-By-Construction Methods for the Development of Safety-Critical Applications Bernard Dion SAE technical papers on CD-ROM/SAE technical paper series Correct-by-construction MethodsEngineeringSafety ScienceSoftware EngineeringEmbedded Systems	2004	11

Page 1