Engel Lefaucheux

Statistics

Publications

Citations

H-Index

Active since

2014

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Max Planck Institute for Software Systems

Laboratoire Spécification et Vérification

École Normale Supérieure Paris-Saclay

Engel Lefaucheux is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in formal verification, verification, and engineering.

ORCID

Top concepts

EngineeringVerificationFormal VerificationFormal MethodsComputer ScienceAutomated ReasoningSystems EngineeringReliability EngineeringComputational ComplexityDiagnosis

Publications per year

2014–2022

Publications

Foundation of Diagnosis and Predictability in Probabilistic Systems

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2014 · 22 citations · Full text

Engineering, Fault Occurrences, Verification +21

What’s decidable about linear loops?

Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine et al. · Proceedings of the ACM on Programming Languages · 2022 · 18 citations · Full text

Mathematical Programming, Mso Model-checking Problem, Polynomial Inequalities +15

Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

Wojciech Czerwiński, Engel Lefaucheux, Filip Mazowiecki et al. · 2022 · 18 citations · Full text

Diagnosability of repairable faults

Éric Fabre, Engel Lefaucheux, Hervé Marchand · Discrete Event Dynamic Systems · 2017 · 13 citations

Reliability, Software Maintenance, Reliability Engineering +11

1–4 of 4