Engel Lefaucheux

According to our database, Engel Lefaucheux authored at least 35 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Porous invariants for linear systems.

Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell

Formal Methods Syst. Des., October, 2024

Execution-Time Opacity Control for Timed Automata.

Étienne André, Marie Duflot, Laetitia Laversa, Engel Lefaucheux

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Diagnosis of Stochastic Systems: Optimising Costs and Delays.

Marie Duflot, Engel Lefaucheux, Isaline Plaid

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

The Bright Side of Timed Opacity.

Étienne André, Sarah Dépernet, Engel Lefaucheux

Proceedings of the Formal Methods and Software Engineering, 2024

The 2-Dimensional Constraint Loop Problem Is Decidable.

Quentin Guilmant, Engel Lefaucheux, Joël Ouaknine, James Worrell

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

Execution-Time Opacity Problems in One-Clock Parametric Timed Automata.

Étienne André, Johan Arcile, Engel Lefaucheux

Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

2023

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.

Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun

Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023

Model Checking Linear Dynamical Systems under Floating-point Rounding.

Engel Lefaucheux, Joël Ouaknine, David Purser, Mohammadamin Sharifi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Expiring opacity problems in parametric timed automata.

Étienne André, Engel Lefaucheux, Dylan Marinho

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2022

What's decidable about linear loops?

Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell

Proc. ACM Program. Lang., 2022

One-Clock Priced Timed Games with Negative Weights.

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege

Log. Methods Comput. Sci., 2022

Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set.

Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

The boundedness and zero isolation problems for weighted automata over nonnegative rationals.

Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

strategFTO: Untimed Control for Timed Opacity.

Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

The Orbit Problem for Parametric Linear Dynamical Systems.

Christel Baier, Florian Funke, Simon Jantsch, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

CoRR, 2021

Accurate Approximate Diagnosis of (Controllable) Stochastic Systems.

Engel Lefaucheux

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

On Positivity and Minimality for Second-Order Holonomic Sequences.

George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets.

Julian D'Costa, Engel Lefaucheux, Eike Neumann, Joël Ouaknine, James Worrell

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

The Orbit Problem for Parametric Linear Dynamical Systems.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Florian Luca, Joël Ouaknine, David Purser, Markus A. Whiteland, James Worrell

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Porous Invariants.

Engel Lefaucheux, Joël Ouaknine, David Purser, James Worrell

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Diagnosis and Degradation Control for Probabilistic Systems.

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Discret. Event Dyn. Syst., 2020

One-Clock Priced Timed Games with Arbitrary Weights.

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege

CoRR, 2020

How Fast Can You Escape a Compact Polytope?

Julian D'Costa, Engel Lefaucheux, Joël Ouaknine, James Worrell

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

Reachability in Dynamical Systems with Rounding.

Christel Baier, Florian Funke, Simon Jantsch, Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, Amaury Pouly, David Purser, Markus A. Whiteland

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019

A tale of two diagnoses in probabilistic systems.

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Inf. Comput., 2019

On the Monniaux Problem in Abstract Interpretation.

Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell

Proceedings of the Static Analysis - 26th International Symposium, 2019

2018

Controlling information in Probabilistic Systems. (Le contrôle de l'information dans les systèmes probabilistes).

Engel Lefaucheux

PhD thesis, 2018

Diagnosability of repairable faults.

Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand

Discret. Event Dyn. Syst., 2018

Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis.

Engel Lefaucheux, Alessandro Giua, Carla Seatzu

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Probabilistic Disclosure: Maximisation vs. Minimisation.

Béatrice Bérard, Serge Haddad, Engel Lefaucheux

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

2016

Accurate Approximate Diagnosability of Stochastic Systems.

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Proceedings of the Language and Automata Theory and Applications, 2016

Diagnosis in Infinite-State Probabilistic Systems.

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Simple Priced Timed Games are not That Simple.

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Engel Lefaucheux, Benjamin Monmege

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Foundation of Diagnosis and Predictability in Probabilistic Systems.

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014