Engel Lefaucheux Papers Slides Teachings

  • Pre-print

    1. When are two Parametric Semi-linear Sets Equal?

    The published papers below are grouped by topics. See also my dblp.

  • Linear Dynamical Systems

    1. On the Monniaux Problem in Abstract Interpretation
      2. with Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, and James Worrell, JACM.
    2. Porous invariants for linear systems
      3. with Joël Ouaknine, David Purser, and James Worrell, Formal Methods in System Design.
    3. The 2-Dimensional Constraint Loop Problem Is Decidable
      4. with Quentin Guilmant, Joël Ouaknine, and James Worrell, ICALP 2024.
    4. Model checking linear dynamical systems under floating-point rounding
      5. with Joël Ouaknine, David Purser and Mohammadamin Sharifi, TACAS 2023.
    5. The boundedness and zero isolation problems for weighted automata over nonnegative rationals
      6. with Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser and Markus A. Whiteland, LICS 2022.
    6. Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set
      7. with Julian D'Costa, Eike Neumann, Joël Ouaknine, and James Worrell, MFCS 2022.
    7. Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
      8. with Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Joel Ouaknine, David Purser, Markus A. Whiteland and James Worrell, CONCUR 2022.
    8. What's decidable about linear loops?
      9. with Toghrul Karimov, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, and James Worrell, POPL 2022.
    9. On Positivity and Minimality for Second-Order Holonomic Sequences
      10. with George Kenison, Oleksiy Klurman, Florian Luca, Pieter Moree, Joël Ouaknine, Markus Whiteland, and James Worrell, MFCS 2021.
    10. On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets
      11. with Julian D'Costa, Eike Neumann, Joël Ouaknine, and James Worrell, MFCS 2021.
    11. Porous invariants
      12. with Joël Ouaknine, David Purser and James Worrell, CAV 2021.
    12. The Orbit Problem for parametric linear dynamical systems
      13. with Christel Baier, Florian Funke, Simon Jantsch, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland and James Worrell, CONCUR 2021.
    13. Reachability in dynamical systems with rounding
      14. with Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Joël Ouaknine, Amaury Pouly, David Purser, and Markus A. Whiteland, FSTTCS 2020.
    14. On the Monniaux Problem in abstract interpretation
      15. with Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, and James Worrell, SAS 2019.
    15. How fast can you escape a compact polytope?
      16. with Julian D'Costa, Joël Ouaknine, and James Worrell, STACS 2020.

  • Partially Observable Probabilistic Systems

    1. Diagnosis of Stochastic Systems: Optimising Costs and Delays
      2. with Marie Duflot and Isaline Plaid, QEST+FORMATS 2024.
    2. Accurate Approximate Diagnosis of (Controllable) Stochastic Systems,
      3. QEST 2021.
    3. Controlling information in Probabilistic Systems.
      4. PhD thesis.
    4. A Tale of Two Diagnoses in Probabilistic Systems
      5. with Nathalie Bertrand and Serge Haddad, Information and Computation.
    5. Diagnosability of repairable faults
      6. with Eric Fabre, Loïc Hélouët and Hervé Marchand, DEDS.
    6. Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis
      7. with Alessandro Giua and Carla Seatzu, Petri Nets 2018.
    7. Diagnosis and Degradation Control for Probabilistic Systems
      8. with Nathalie Bertrand and Serge Haddad, DEDS.
    8. Probabilistic Disclosure: Maximisation vs. Minimisation
      9. with Béatrice Bérard and Serge Haddad, FSTTCS 2017.
    9. Diagnostic et contrôle de la dégradation des systèmes probabilistes
      10. with Nathalie Bertrand and Serge Haddad, MSR 2017 (Best young researcher paper award).
    10. Diagnosis in Infinite-State Probabilistic Systems
      11. with Nathalie Bertrand and Serge Haddad, CONCUR 2016.
    11. Accurate Approximate Diagnosability of Stochastic Systems
      12. with Nathalie Bertrand and Serge Haddad, LATA 2016.
    12. Diagnosability of repairable faults
      13. with Eric Fabre, Loïc Hélouët and Hervé Marchand, WODES 2016.
    13. Foundation of Diagnosis and Predictability in Probabilistic Systems
      14. with Nathalie Bertrand and Serge Haddad, FSTTCS 2014.

  • Timed Systems

    1. Execution-time opacity problems in one-clock parametric timed automata
      2. with Étienne André and Johan Arcile, FSTTCS 2024.
    2. The Bright Side of Timed Opacity
      3. with Étienne André and Sarah Dépernet, ICFEM 2024.
    3. Execution-time opacity control for timed automata
      4. with Étienne André, Marie Duflot and Laetitia Laversa, SEFM 2024.
    4. Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
      5. with Étienne André, Dylan Marinho, Didier Lime, and Jun Sun, TiCSA 2023 invited paper.
    5. Expiring opacity problems in parametric timed automata
      6. with Étienne André, and Dylan Marinho, ICECCS 2023.
    6. strategFTO: Untimed Control for Timed Opacity
      7. with Étienne André, Shapagat Bolat, and Dylan Marinho, FTSCS 2022.
    7. One-Clock Priced Timed Games with Negative Weights
      8. with Thomas Brihaye, Gilles Geeraerts, Axel Haddad, and Benjamin Monmege, LMCS 2022.
    8. Simple Priced Timed Games Are Not That Simple
      9. with Thomas Brihaye, Gilles Geeraerts, Axel Haddad and Benjamin Monmege, FSTTCS 2015.