Articles with public access mandates - Didier LimeLearn more
Available somewhere: 16
Language preservation problems in parametric timed automata
É André, D Lime, N Markey
Logical Methods in Computer Science 16, 2020
Mandates: Agence Nationale de la Recherche
Parametric analyses of attack-fault trees
É André, D Lime, M Ramparison, M Stoelinga
Fundamenta Informaticae 182 (1), 69-94, 2021
Mandates: Agence Nationale de la Recherche
Guaranteeing timed opacity using parametric timed model checking
É André, D Lime, D Marinho, J Sun
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-36, 2022
Mandates: Agence Nationale de la Recherche, Japan Science and Technology Agency
Reachability and liveness in parametric timed automata
É André, D Lime, OH Roux
Logical Methods in Computer Science 18, 2022
Mandates: Agence Nationale de la Recherche
Parametric updates in parametric timed automata
É André, D Lime, M Ramparison
Logical Methods in Computer Science 17, 2021
Mandates: Agence Nationale de la Recherche
Parametric verification: an introduction
É André, M Knapik, D Lime, W Penczek, L Petrucci
Transactions on Petri Nets and Other Models of Concurrency XIV, 64-100, 2019
Mandates: Agence Nationale de la Recherche
A game approach to the parametric control of real-time systems
A Jovanović, D Lime, OH Roux
International Journal of Control 92 (9), 2025-2036, 2019
Mandates: Agence Nationale de la Recherche
Parametric timed broadcast protocols
É André, B Delahaye, P Fournier, D Lime
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
Mandates: Agence Nationale de la Recherche
Cost problems for parametric time Petri nets
D Lime, OH Roux, C Seidner
Fundamenta Informaticae 183, 2021
Mandates: Agence Nationale de la Recherche
Parameter synthesis for bounded cost reachability in time petri nets
D Lime, OH Roux, C Seidner
Application and Theory of Petri Nets and Concurrency: 40th International …, 2019
Mandates: Agence Nationale de la Recherche
A state class based controller synthesis approach for time Petri nets
L Leclercq, D Lime, OH Roux
International Conference on Applications and Theory of Petri Nets and …, 2023
Mandates: Agence Nationale de la Recherche
Control of real-time systems with integer parameters
A Jovanović, D Lime, OH Roux
IEEE Transactions on Automatic Control 67 (1), 75-88, 2020
Mandates: Agence Nationale de la Recherche
Timed non-interference under partial observability and bounded memory
A Spriet, D Lime, OH Roux
International Conference on Formal Modeling and Analysis of Timed Systems …, 2023
Mandates: Agence Nationale de la Recherche
On the expressive power of invariants in parametric timed automata
É André, D Lime, M Ramparison
2019 24th International Conference on Engineering of Complex Computer …, 2019
Mandates: Agence Nationale de la Recherche
Advances on timing parameter synthesis in continuous-time formalisms with costs
D Lime, OH Roux
Mandates: Agence Nationale de la Recherche
Advances on Parameters in Discrete Models with Probabilities
B Delahaye, D Lime, L Petrucci
Mandates: Agence Nationale de la Recherche
Publication and funding information is determined automatically by a computer program