Engel Lefaucheux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
14
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Buffered Control for Opacity in Timed Automata. | tienne Andr, Sarah Dpernet, Engel Lefaucheux |
| 2026 | CONCUR | Active Diagnosis with Costs and Rewards. | Serge Haddad, Engel Lefaucheux, Stefan Schwoon |
| 2026 | CSL | Parametric Disjunctive Timed Networks. | tienne Andr, Swen Jacobs, Engel Lefaucheux |
| 2026 | VMCAI | Reachability in Multi-agent Transfer Systems. | Nathalie Bertrand, Loc Hlout, Engel Lefaucheux, Luca Paparazzo |
| 2024 | ICALP | The 2-Dimensional Constraint Loop Problem Is Decidable. | Quentin Guilmant, Engel Lefaucheux, Jol Ouaknine, James Worrell |
| 2024 | ICFEM | The Bright Side of Timed Opacity. | tienne Andr, Sarah Dpernet, Engel Lefaucheux |
| 2024 | SEFM | Execution-Time Opacity Control for Timed Automata. | tienne Andr, Marie Duflot, Laetitia Laversa, Engel Lefaucheux |
| 2023 | ICECCS | Expiring opacity problems in parametric timed automata. | tienne Andr, Engel Lefaucheux, Dylan Marinho |
| 2023 | TACAS | Model Checking Linear Dynamical Systems under Floating-point Rounding. | Engel Lefaucheux, Jol Ouaknine, David Purser, Mohammadamin Sharifi |
| 2022 | CONCUR | Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2022 | LICS | The boundedness and zero isolation problems for weighted automata over nonnegative rationals. | Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland |
| 2022 | MFCS | Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. | Julian D'Costa, Engel Lefaucheux, Eike Neumann, Jol Ouaknine, James Worrell |
| 2021 | CAV | Porous Invariants. | Engel Lefaucheux, Jol Ouaknine, David Purser, James Worrell |
| 2021 | CONCUR | The Orbit Problem for Parametric Linear Dynamical Systems. | Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Jol Ouaknine, David Purser, Markus A. Whiteland, James Worrell |
| 2021 | MFCS | On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. | Julian D'Costa, Engel Lefaucheux, Eike Neumann, Jol Ouaknine, James Worrell |
| 2021 | MFCS | On Positivity and Minimality for Second-Order Holonomic Sequences. | George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Jol Ouaknine, Markus A. Whiteland, James Worrell |
| 2020 | STACS | How Fast Can You Escape a Compact Polytope? | Julian D'Costa, Engel Lefaucheux, Jol Ouaknine, James Worrell |
| 2019 | SAS | On the Monniaux Problem in Abstract Interpretation. | Nathanal Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Jol Ouaknine, Amaury Pouly, James Worrell |
| 2016 | CONCUR | Diagnosis in Infinite-State Probabilistic Systems. | Nathalie Bertrand, Serge Haddad, Engel Lefaucheux |
| 2016 | LATA | Accurate Approximate Diagnosability of Stochastic Systems. | Nathalie Bertrand, Serge Haddad, Engel Lefaucheux |