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
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
252022
Accurate approximate diagnosability of stochastic systems
N Bertrand, S Haddad, E Lefaucheux
Language and automata theory and applications, 549-561, 2016
212016
Diagnosability of repairable faults
E Fabre, L Hélouët, E Lefaucheux, H Marchand
Discrete Event Dynamic Systems 28 (2), 183-213, 2018
202018
Simple priced timed games are not that simple
T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege
arXiv preprint arXiv:1507.03786, 2015
162015
Diagnosis in infinite-state probabilistic systems
N Bertrand, S Haddad, E Lefaucheux
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
122016
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
112018
Porous invariants
E Lefaucheux, J Ouaknine, D Purser, J Worrell
International Conference on Computer Aided Verification, 172-194, 2021
102021
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
102021
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
102020
A tale of two diagnoses in probabilistic systems
N Bertrand, S Haddad, E Lefaucheux
Information and Computation 269, 104441, 2019
102019
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
É André, E Lefaucheux, D Lime, D Marinho, J Sun
arXiv preprint arXiv:2310.20392, 2023
92023
Expiring opacity problems in parametric timed automata
É André, E Lefaucheux, D Marinho
2023 27th International Conference on Engineering of Complex Computer …, 2023
92023
strategFTO: Untimed control for timed opacity
É André, S Bolat, E Lefaucheux, D Marinho
Proceedings Of The 8th ACM SIGPLAN International Workshop On Formal …, 2022
92022
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
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
82022
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
72021
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
On inequality decision problems for low-order holonomic sequences
G Kenison, O Klurman, E Lefaucheux, F Luca, P Moree, J Ouaknine, ...
preprint, 2023
52023
The system can't perform the operation now. Try again later.
Articles 1–20