Concepedia

Emmanuel Ledinot

EL

Statistics

Publications

4

Citations

201

H-Index

4

Active since

2000

Affiliations

Dassault Aviation (France)(Current)

Emmanuel Ledinot is an author at Dassault Aviation (France) specializing in computer science, computing, and software engineering.

Publications per year

2000–2013

4

Publications

4

Testing or Formal Verification: DO-178C Alternatives and Industrial Experience

Yannick Moy, Emmanuel Ledinot, Hervé Delseny et al. · IEEE Software · 2013 · 120 citations

Computing, Aerospace Engineering, Computer Science +16

ESTEREL: a formal method applied to avionic software development

Gérard Berry, Amar Bouali, Xavier Fornari et al. · Science of Computer Programming · 2000 · 54 citations

Computing, Computer Engineering, Computer Science +11

Criticality categories across safety standards in different domains

Jean-Paul Blanquart, Jean-Marc Astruc, Philippe Baufreton et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 15 citations

Engineering, Systems Engineering, Hazard Identification +15

A cross-domain comparison of software development assurance standards

Joseph Machrouh, Jean-Paul Blanquart, Philippe Baufreton et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2012 · 12 citations

Computing, Computer Science, Systems Engineering +17

1–4 of 4