Articles with public access mandates - Étienne AndréLearn more
Not available anywhere: 1
Distributed parametric model checking timed automata under non-Zenoness assumption
É André, HG Nguyen, L Petrucci, J Sun
Formal Methods in System Design 59 (1), 253-290, 2021
Mandates: Agence Nationale de la Recherche
Available somewhere: 41
What’s decidable about parametric timed automata?
É André
International Journal on Software Tools for Technology Transfer 21 (2), 203-219, 2019
Mandates: Agence Nationale de la Recherche
IMITATOR 3: Synthesis of timing parameters beyond decidability
É André
International Conference on Computer Aided Verification, 552-565, 2021
Mandates: Agence Nationale de la Recherche
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
Model-bounded monitoring of hybrid systems
M Waga, É André, I Hasuo
ACM Transactions on Cyber-Physical Systems 6 (4), 1-26, 2022
Mandates: Agence Nationale de la Recherche, Japan Science and Technology Agency
A benchmarks library for extended parametric timed automata
É André, D Marinho, J van de Pol
International Conference on Tests and Proofs, 39-50, 2021
Mandates: Agence Nationale de la Recherche
Repairing timed automata clock guards through abstraction and testing
É André, P Arcaini, A Gargantini, M Radavelli
International Conference on Tests and Proofs, 129-146, 2019
Mandates: Agence Nationale de la Recherche
Iterative bounded synthesis for efficient cycle detection in parametric timed automata
É André, J Arias, L Petrucci, J Pol
International Conference on Tools and Algorithms for the Construction and …, 2021
Mandates: Agence Nationale de la Recherche
Symbolic monitoring against specifications parametric in time and data
M Waga, É André, I Hasuo
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
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
Online parametric timed pattern matching with automata-based skipping
M Waga, É André
NASA Formal Methods Symposium, 371-389, 2019
Mandates: Agence Nationale de la Recherche
Minimal-time synthesis for parametric timed automata
É André, V Bloemen, L Petrucci, J Van de Pol
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
Mandates: Agence Nationale de la Recherche
Timed automata as a formalism for expressing security: A survey on theory and practice
J Arcile, É André
ACM Computing Surveys 55 (6), 1-36, 2022
Mandates: Agence Nationale de la Recherche
Parametric timed model checking for guaranteeing timed opacity
É André, J Sun
International Symposium on Automated Technology for Verification and …, 2019
Mandates: Agence Nationale de la Recherche
Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
É André, L Fribourg, JM Mota, R Soulat
International Conference on Verification, Model Checking, and Abstract …, 2019
Mandates: Agence Nationale de la Recherche
Parametric non-interference in timed automata
É André, A Kryukov
2020 25th International Conference on Engineering of Complex Computer …, 2020
Mandates: Agence Nationale de la Recherche
Timed ATL: forget memory, just count
MJ Knapik, É André, L Petrucci, W Jamroga, W Penczek
Journal of Artificial Intelligence Research 66, 197-223, 2019
Mandates: Luxembourg National Research Fund
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 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
Publication and funding information is determined automatically by a computer program