E-LIB Suche - Ergebnisse für: Lefaucheux, Engel

1

Porous invariants for linear systems:

Lefaucheux, Engel ; Ouaknine, Joël ; Purser, David.
Formal Methods in System Design. , 2024

Link: https://doi.org/10.1007/..

2

Model Checking Linear Dynamical Systems under Floating-poin..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Lefaucheux, Engel ; Ouaknine, Joël ; Purser, David. - p. 47-65 , 2023

Link: https://doi.org/10.1007/..

3

Expiring opacity problems in parametric timed automata:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),

Andre, Etienne ; Lefaucheux, Engel ; Marinho, Dylan - p. 89-98 , 2023

Link: https://doi.org/10.1109/..

4

The boundedness and zero isolation problems for weighted au..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Czerwiński, Wojciech ; Lefaucheux, Engel ; Mazowiecki, Filip.. - p. 1-13 , 2022

Link: https://dl.acm.org/doi/1..

5

strategFTO: Untimed Control for Timed Opacity:

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

André, Étienne ; Bolat, Shapagat ; Lefaucheux, Engel. - p. 27-33 , 2022

Link: https://dl.acm.org/doi/1..

6

What's decidable about linear loops?:

Karimov, Toghrul ; Lefaucheux, Engel ; Ouaknine, Joël...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-25 , 2022

Link: https://dl.acm.org/doi/1..

7

One-Clock Priced Timed Games with Negative Weights:

Brihaye, Thomas ; Geeraerts, Gilles ; Haddad, Axel..
Logical Methods in Computer Science. 18, Issue 3 (2022) - p. , 2022

Link: https://doi.org/10.46298..

8

What's decidable about linear loops?:

Karimov, Toghrul ; Lefaucheux, Engel ; Ouaknine, Joël...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-25 , 2022

Link: https://doi.org/10.1145/..

9

Porous Invariants:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Lefaucheux, Engel ; Ouaknine, Joël ; Purser, David. - p. 172-194 , 2021

Link: https://doi.org/10.1007/..

10

Accurate Approximate Diagnosis of (Controllable) Stochastic..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Lefaucheux, Engel - p. 413-434 , 2021

Link: https://doi.org/10.1007/..

11

Diagnosis and Degradation Control for Probabilistic Systems:

Bertrand, Nathalie ; Haddad, Serge ; Lefaucheux, Engel
Discrete Event Dynamic Systems. 30 (2020) 4 - p. 695-723 , 2020

Link: https://doi.org/10.1007/..

12

On the Monniaux Problem in Abstract Interpretation:

, In: Static Analysis; Lecture Notes in Computer Science,

Fijalkow, Nathanaël ; Lefaucheux, Engel ; Ohlmann, Pierre... - p. 162-180 , 2019

Link: https://doi.org/10.1007/..

13

A tale of two diagnoses in probabilistic systems:

Bertrand, Nathalie ; Haddad, Serge ; Lefaucheux, Engel
Information and Computation. 269 (2019) - p. 104441 , 2019

Link: https://doi.org/10.1016/..

14

Diagnosability of repairable faults:

Fabre, Eric ; Hélouët, Loïc ; Lefaucheux, Engel.
Discrete Event Dynamic Systems. 28 (2017) 2 - p. 183-213 , 2017

Link: https://doi.org/10.1007/..

15

Configuring Timing Parameters to Ensure Execution-Time Opac..:

André, Étienne ; Lefaucheux, Engel ; Lime, Didier..
info:eu-repo/semantics/altIdentifier/arxiv/2310.20392. , 2023

Link: https://hal.science/hal-..