Engel Lefaucheux

CoRR, 2024

Execution-time opacity control for timed automata.

[BibT_eX]

[DOI]

CoRR, 2024

The Bright Side of Timed Opacity.

[BibT_eX]

[DOI]

Étienne André

Sarah Dépernet

CoRR, 2024

Diagnosis of Stochastic Systems: Optimising Costs and Delays.

[BibT_eX]

[DOI]

Marie Duflot

Isaline Plaid

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

The 2-Dimensional Constraint Loop Problem Is Decidable.

[BibT_eX]

[DOI]

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

2023

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

[BibT_eX]

[DOI]

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

Model Checking Linear Dynamical Systems under Floating-point Rounding.

[BibT_eX]

[DOI]

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

Expiring opacity problems in parametric timed automata.

[BibT_eX]

[DOI]

Étienne André

Dylan Marinho

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

2022

What's decidable about linear loops?

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

One-Clock Priced Timed Games with Negative Weights.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2021

The Orbit Problem for Parametric Linear Dynamical Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Accurate Approximate Diagnosis of (Controllable) Stochastic Systems.

[BibT_eX]

[DOI]

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

On Positivity and Minimality for Second-Order Holonomic Sequences.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

The Orbit Problem for Parametric Linear Dynamical Systems.

[BibT_eX]

[DOI]

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

Porous Invariants.

[BibT_eX]

[DOI]

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

2020

Diagnosis and Degradation Control for Probabilistic Systems.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2020

One-Clock Priced Timed Games with Arbitrary Weights.

[BibT_eX]

[DOI]

CoRR, 2020

How Fast Can You Escape a Compact Polytope?

[BibT_eX]

[DOI]

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

Reachability in Dynamical Systems with Rounding.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Inf. Comput., 2019

On the Monniaux Problem in Abstract Interpretation.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

PhD thesis, 2018

Diagnosability of repairable faults.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2018

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

[BibT_eX]

[DOI]

Alessandro Giua

Carla Seatzu

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

2017

Probabilistic Disclosure: Maximisation vs. Minimisation.

[BibT_eX]

[DOI]

Béatrice Bérard

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

2016

Accurate Approximate Diagnosability of Stochastic Systems.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

Diagnosis in Infinite-State Probabilistic Systems.

[BibT_eX]

[DOI]

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

2015

Simple Priced Timed Games are not That Simple.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]