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
442014
Accurate approximate diagnosability of stochastic systems
N Bertrand, S Haddad, E Lefaucheux
Language and automata theory and applications, 549-561, 2016
212016
What’s decidable about linear loops?
T Karimov, E Lefaucheux, J Ouaknine, D Purser, A Varonka, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 1-25, 2022
192022
Diagnosability of repairable faults
E Fabre, L Hélouët, E Lefaucheux, H Marchand
Discrete Event Dynamic Systems 28 (2), 183-213, 2018
192018
Simple priced timed games are not that simple
T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege
arXiv preprint arXiv:1507.03786, 2015
142015
Diagnosis in infinite-state probabilistic systems
N Bertrand, S Haddad, E Lefaucheux
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
122016
Porous invariants
E Lefaucheux, J Ouaknine, D Purser, J Worrell
International Conference on Computer Aided Verification, 172-194, 2021
92021
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
92021
A tale of two diagnoses in probabilistic systems
N Bertrand, S Haddad, E Lefaucheux
Information and Computation 269, 104441, 2019
92019
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
Basis coverability graph for partially observable Petri nets with application to diagnosability analysis
E Lefaucheux, A Giua, C Seatzu
Application and Theory of Petri Nets and Concurrency: 39th International …, 2018
92018
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
82020
Reachability in dynamical systems with rounding
C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ...
arXiv preprint arXiv:2009.13353, 2020
72020
Probabilistic disclosure: Maximisation vs. minimisation
B Bérard, S Haddad, E Lefaucheux
FSTTCS 2017, 13: 1-13: 14, 2017
72017
One-clock priced timed games with negative weights
T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege
Logical Methods in Computer Science 18, 2022
62022
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
62021
Expiring opacity problems in parametric timed automata
É André, E Lefaucheux, D Marinho
2023 27th International Conference on Engineering of Complex Computer …, 2023
42023
On inequality decision prolems for low-order holonomic sequences
G Kenison, O Klurman, E Lefaucheux, F Luca, P Moree, J Ouaknine, ...
Submitted, 2023
32023
strategFTO: Untimed control for timed opacity
É André, S Bolat, E Lefaucheux, D Marinho
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal …, 2022
32022
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
W Czerwiński, E Lefaucheux, F Mazowiecki, D Purser, M Whiteland
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20