Follow
Engel Lefaucheux
Engel Lefaucheux
Verified email at mpi-sws.org - Homepage
Title
Cited by
Cited by
Year
Foundation of diagnosis and predictability in probabilistic systems
N Bertrand, S Haddad, E Lefaucheux
IARCS Annual Conference on Foundations of Software Technology and …, 2014
432014
Accurate approximate diagnosability of stochastic systems
N Bertrand, S Haddad, E Lefaucheux
Language and automata theory and applications, 549-561, 2016
182016
Diagnosability of repairable faults
E Fabre, L Hélouët, E Lefaucheux, H Marchand
Discrete Event Dynamic Systems 28 (2), 183-213, 2018
152018
Simple priced timed games are not that simple
T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege
arXiv preprint arXiv:1507.03786, 2015
132015
Diagnosis in infinite-state probabilistic systems
N Bertrand, S Haddad, E Lefaucheux
27th International Conference on Concurrency Theory (CONCUR 2016), 37: 1-37: 15, 2016
122016
On the Monniaux problem in abstract interpretation
N Fijalkow, E Lefaucheux, P Ohlmann, J Ouaknine, A Pouly, J Worrell
International Static Analysis Symposium, 162-180, 2019
92019
What’s decidable about linear loops?
T Karimov, E Lefaucheux, J Ouaknine, D Purser, A Varonka, ...
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022 …, 2022
82022
A tale of two diagnoses in probabilistic systems
N Bertrand, S Haddad, E Lefaucheux
Information and Computation 269, 104441, 2019
72019
Basis coverability graph for partially observable Petri nets with application to diagnosability analysis
E Lefaucheux, A Giua, C Seatzu
International Conference on Applications and Theory of Petri Nets and …, 2018
72018
Probabilistic disclosure: Maximisation vs. minimisation
B Bérard, S Haddad, E Lefaucheux
FSTTCS 2017, 13: 1-13: 14, 2017
72017
On positivity and minimality for second-order holonomic sequences
G Kenison, O Klurman, E Lefaucheux, F Luca, P Moree, J Ouaknine, ...
arXiv preprint arXiv:2007.12282, 2020
52020
On the complexity of the escape problem for linear dynamical systems over compact semialgebraic sets
J D'Costa, E Lefaucheux, E Neumann, J Ouaknine, J Worrell
arXiv preprint arXiv:2107.02060, 2021
42021
The Orbit Problem for parametric linear dynamical systems
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, F Luca, ...
arXiv preprint arXiv:2104.10634, 2021
42021
Reachability in dynamical systems with rounding
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
arXiv preprint arXiv:2009.13353, 2020
42020
One-Clock Priced Timed Games with Arbitrary Weights
T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege
Logical Methods in Computer Science 18 (3), 51, 2022
32022
Porous invariants
E Lefaucheux, J Ouaknine, D Purser, J Worrell
International Conference on Computer Aided Verification, 172-194, 2021
22021
Controlling information in Probabilistic Systems
E Lefaucheux
Université Rennes 1, 2018
22018
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
33rd International Conference on Concurrency Theory (CONCUR 2022), 2022
12022
One-Clock Priced Timed Games with Negative Weights
T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege
arXiv preprint arXiv:2009.03074, 2020
12020
How fast can you escape a compact polytope?
J D'Costa, E Lefaucheux, J Ouaknine, J Worrell
arXiv preprint arXiv:2001.08200, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20