| Foundation of diagnosis and predictability in probabilistic systems N Bertrand, S Haddad, E Lefaucheux IARCS Annual Conference on Foundations of Software Technology and …, 2014 | 44 | 2014 |
| 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 | 29 | 2022 |
| Accurate approximate diagnosability of stochastic systems N Bertrand, S Haddad, E Lefaucheux Language and automata theory and applications, 549-561, 2016 | 21 | 2016 |
| Diagnosability of repairable faults E Fabre, L Hélouët, E Lefaucheux, H Marchand Discrete Event Dynamic Systems 28 (2), 183-213, 2018 | 20 | 2018 |
| Simple priced timed games are not that simple T Brihaye, G Geeraerts, A Haddad, E Lefaucheux, B Monmege arXiv preprint arXiv:1507.03786, 2015 | 17 | 2015 |
| 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 | 15 | 2021 |
| 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 | 15 | 2020 |
| Expiring opacity problems in parametric timed automata É André, E Lefaucheux, D Marinho 2023 27th International Conference on Engineering of Complex Computer …, 2023 | 13 | 2023 |
| 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 | 11 | 2023 |
| 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 | 11 | 2018 |
| 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 | 11 | 2016 |
| On the monniaux problem in abstract interpretation N Fijalkow, E Lefaucheux, P Ohlmann, J Ouaknine, A Pouly, J Worrell Journal of the ACM 72 (2), 1-51, 2025 | 10 | 2025 |
| The bright side of timed opacity É André, S Dépernet, E Lefaucheux International Conference on Formal Engineering Methods, 51-69, 2024 | 10 | 2024 |
| strategFTO: Untimed control for timed opacity É André, S Bolat, E Lefaucheux, D Marinho Proceedings Of The 8th ACM SIGPLAN International Workshop On Formal …, 2022 | 10 | 2022 |
| Porous invariants E Lefaucheux, J Ouaknine, D Purser, J Worrell International Conference on Computer Aided Verification, 172-194, 2021 | 10 | 2021 |
| A tale of two diagnoses in probabilistic systems N Bertrand, S Haddad, E Lefaucheux Information and Computation 269, 104441, 2019 | 10 | 2019 |
| 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 | 9 | 2022 |
| Reachability in dynamical systems with rounding C Baier, F Funke, S Jantsch, T Karimov, E Lefaucheux, J Ouaknine, ... arXiv preprint arXiv:2009.13353, 2020 | 9 | 2020 |
| 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 | 7 | 2022 |
| 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 | 7 | 2021 |
