Engel Lefaucheux

Ancien doctorant

A propos

Je suis en post-doctorat au Max-Planck Institute for Software Systems à Sarrebruck, sous la direction de Joël Ouaknine).

Avant cela j'étais en thèse sous la co-direction de Nathalie Bertrand à l'IRISA Rennes (équipe SUMO) et de Serge Haddad à l'ENS Cachan (LSV, équipe MExICo). Je travaillais sur le contrôle de l'information dans les systèmes probabilistes.

Voir mon curriculum vitæ pour plus d'informations.

Mes publications

Mes rapports de stage : L3 , M1 et M2

Soutenance de thèse de doctorat

J'ai soutenu ma thèse de doctorat le 24 septembre 2018. Vous trouverez plus de détails à ce sujet ici.

Quelques présentations récentes

• MSR'17, Diagnostic et contrôle de la dégradation des systèmes probabilistes.
• Highlight'16, Simple Prices Timed Games are not that simple.
• Concur'16, Diagnosis in Infinite-State Probabilistic Systems.
• LATA'16, Accurate Approximate Diagnosability of Stochastic Systems.
• GT-Vérif, Specification and Verification of Diagnosis and Predictability in Probabilistic Systems.

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact