Engel Lefaucheux

According to our database1, Engel Lefaucheux authored at least 9 papers between 2014 and 2018.

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Diagnosability of repairable faults.
Discrete Event Dynamic Systems, 2018

Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017
Probabilistic Disclosure: Maximisation vs. Minimisation.
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

2016
Diagnosability of repairable faults.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Accurate Approximate Diagnosability of Stochastic Systems.
Proceedings of the Language and Automata Theory and Applications, 2016

Diagnosis in Infinite-State Probabilistic Systems.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Simple Priced Timed Games Are Not That Simple.
CoRR, 2015

Simple Priced Timed Games are not That Simple.
Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014
Foundation of Diagnosis and Predictability in Probabilistic Systems.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014


  Loading...