Engel Lefaucheux Papers Slides Teachings

  • Submitted

    1. On the Monniaux Problem in Abstract Interpretation
      2. with Nathanaël Fijalkow, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, and James Worrell.

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

  • Linear Dynamical Systems

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

  • Partially Observable Probabilistic Systems

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

  • Timed Systems

    1. Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
      2. with Étienne André, Dylan Marinho, Didier Lime, and Jun Sun, TiCSA 2023 invited paper.
    2. Expiring opacity problems in parametric timed automata
      3. with Étienne André, and Dylan Marinho, ICECCS 2023.
    3. strategFTO: Untimed Control for Timed Opacity
      4. with Étienne André, Shapagat Bolat, and Dylan Marinho, FTSCS 2022.
    4. One-Clock Priced Timed Games with Arbitrary Weights
      5. with Thomas Brihaye, Gilles Geeraerts, Axel Haddad, and Benjamin Monmege, LMCS 2022.
    5. Simple Priced Timed Games Are Not That Simple
      6. with Thomas Brihaye, Gilles Geeraerts, Axel Haddad and Benjamin Monmege, FSTTCS 2015.