Engel Lefaucheux

55 papers A* 2A 1B 12C 2Journal 25Unranked 12
YearRankTypeTitle / Venue / Authors
2026 B conf
Parametric Disjunctive Timed Networks.
CSL
Étienne André, Swen Jacobs, Engel Lefaucheux
2026 B conf
Reachability in Multi-agent Transfer Systems.
VMCAI
Nathalie Bertrand, Loïc Hélouët, Engel Lefaucheux, Luca Paparazzo
2025 J jnl
On the Monniaux Problem in Abstract Interpretation.
J. ACM
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2025 J jnl
Parametric disjunctive timed networks.
CoRR
Étienne André, Swen Jacobs, Engel Lefaucheux
2024 — conf
Diagnosis of Stochastic Systems: Optimising Costs and Delays.
QEST+FORMATS
Marie Duflot, Engel Lefaucheux, Isaline Plaid
2024 B conf
Execution-Time Opacity Control for Timed Automata.
SEFM
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
2024 — conf
Execution-Time Opacity Problems in One-Clock Parametric Timed Automata.
FSTTCS
Étienne André, Johan Arcile, Engel Lefaucheux
2024 J jnl
Execution-time opacity control for timed automata.
CoRR
Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux
2024 J jnl
Execution-time opacity problems in one-clock parametric timed automata.
CoRR
Étienne André, Johan Arcile, Engel Lefaucheux
2024 J jnl
Expiring opacity problems in parametric timed automata.
CoRR
Étienne André, Engel Lefaucheux, Dylan Marinho
2024 J jnl
Porous invariants for linear systems.
Formal Methods Syst. Des.
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2024 A* conf
The 2-Dimensional Constraint Loop Problem Is Decidable.
ICALP
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell
2024 J jnl
The 2-Dimensional Constraint Loop Problem is Decidable.
CoRR
Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell
2024 C conf
The Bright Side of Timed Opacity.
ICFEM
Étienne André, Sarah Dépernet, Engel Lefaucheux
2024 J jnl
The Bright Side of Timed Opacity.
CoRR
Étienne André, Sarah Dépernet, Engel Lefaucheux
2023 — conf
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.
TiCSA@ETAPS
Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun
2023 B conf
Expiring opacity problems in parametric timed automata.
ICECCS
Étienne André, Engel Lefaucheux, Dylan Marinho
2023 — conf
Model Checking Linear Dynamical Systems under Floating-point Rounding.
TACAS (1)
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
2022 B conf
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.
MFCS
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2022 J jnl
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.
CoRR
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2022 J jnl
Model Checking Linear Dynamical Systems under Floating-point Rounding.
CoRR
Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi
2022 J jnl
One-Clock Priced Timed Games with Negative Weights.
Log. Methods Comput. Sci.
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
2022 B conf
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2022 A* conf
The boundedness and zero isolation problems for weighted automata over nonnegative rationals.
LICS
Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
2022 J jnl
The boundedness and zero isolation problems for weighted automata over nonnegative rationals.
CoRR
Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland
2022 J jnl
What's decidable about linear loops?
Proc. ACM Program. Lang.
Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell
2022 — conf
strategFTO: Untimed Control for Timed Opacity.
FTSCS
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
2022 J jnl
strategFTO: Untimed control for timed opacity.
CoRR
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
2021 — conf
Accurate Approximate Diagnosis of (Controllable) Stochastic Systems.
QEST
Engel Lefaucheux
2021 B conf
On Positivity and Minimality for Second-Order Holonomic Sequences.
MFCS
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
2021 B conf
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.
MFCS
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2021 J jnl
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.
CoRR
Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell
2021 — conf
Porous Invariants.
CAV (2)
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2021 J jnl
Porous Invariants.
CoRR
Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell
2021 B conf
The Orbit Problem for Parametric Linear Dynamical Systems.
CONCUR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2021 J jnl
The Orbit Problem for Parametric Linear Dynamical Systems.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell
2020 J jnl
Diagnosis and Degradation Control for Probabilistic Systems.
Discret. Event Dyn. Syst.
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2020 A conf
How Fast Can You Escape a Compact Polytope?
STACS
Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell
2020 J jnl
On Positivity and Minimality for Second-Order Holonomic Sequences.
CoRR
George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell
2020 J jnl
One-Clock Priced Timed Games with Arbitrary Weights.
CoRR
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
2020 — conf
Reachability in Dynamical Systems with Rounding.
FSTTCS
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2020 J jnl
Reachability in Dynamical Systems with Rounding.
CoRR
Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland
2019 J jnl
A tale of two diagnoses in probabilistic systems.
Inf. Comput.
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2019 B conf
On the Monniaux Problem in Abstract Interpretation.
SAS
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2019 J jnl
On the Monniaux Problem in Abstract Interpretation.
CoRR
Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell
2018 B conf
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis.
Petri Nets
Engel Lefaucheux, Alessandro Giua, Carla Seatzu
2018 — —
Controlling information in Probabilistic Systems. (Le contrôle de l'information dans les systèmes probabilistes).
Engel Lefaucheux
2018 J jnl
Diagnosability of repairable faults.
Discret. Event Dyn. Syst.
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
2017 — conf
Probabilistic Disclosure: Maximisation vs. Minimisation.
FSTTCS
Béatrice Bérard, Serge Haddad, Engel Lefaucheux
2016 C conf
Accurate Approximate Diagnosability of Stochastic Systems.
LATA
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2016 — conf
Diagnosability of repairable faults.
WODES
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
2016 B conf
Diagnosis in Infinite-State Probabilistic Systems.
CONCUR
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
2015 J jnl
Simple Priced Timed Games Are Not That Simple.
CoRR
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
2015 — conf
Simple Priced Timed Games are not That Simple.
FSTTCS
Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege
2014 — conf
Foundation of Diagnosis and Predictability in Probabilistic Systems.
FSTTCS
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux