Emmanuel Ledinot

According to our database, Emmanuel Ledinot authored at least 4 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

CPS Engineering: Gap Analysis and Perspectives.

Emmanuel Ledinot

CoRR, 2021

2016

Software Safety Assessment and Probabilities.

Jean-Paul Blanquart, Philippe Baufreton, Jean-Louis Boulanger, Jean-Louis Camus, Cyrille Comar, Hervé Delseny, Jean Gassino, Emmanuel Ledinot, Philippe Quéré, Bertrand Ricque

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

2013

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

Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate

IEEE Softw., 2013

2000

ESTEREL: a formal method applied to avionic software development.

Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, Robert de Simone

Sci. Comput. Program., 2000