Articles with public access mandates - Étienne André - Agence Nationale de la RechercheLearn more
Not available based on mandate: 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
Available based on mandate: 40
What’s decidable about parametric timed automata?
É André
International Journal on Software Tools for Technology Transfer 21 (2), 203-219, 2019
IMITATOR 3: Synthesis of timing parameters beyond decidability
É André
International Conference on Computer Aided Verification, 552-565, 2021
Language preservation problems in parametric timed automata
É André, D Lime, N Markey
Logical Methods in Computer Science 16, 2020
Parametric analyses of attack-fault trees
É André, D Lime, M Ramparison, M Stoelinga
Fundamenta Informaticae 182 (1), 69-94, 2021
A benchmarks library for extended parametric timed automata
É André, D Marinho, J van de Pol
International Conference on Tests and Proofs, 39-50, 2021
Model-bounded monitoring of hybrid systems
M Waga, É André, I Hasuo
ACM Transactions on Cyber-Physical Systems 6 (4), 1-26, 2022
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
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
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
Symbolic monitoring against specifications parametric in time and data
M Waga, É André, I Hasuo
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Online parametric timed pattern matching with automata-based skipping
M Waga, É André
NASA Formal Methods Symposium, 371-389, 2019
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
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
Parametric timed model checking for guaranteeing timed opacity
É André, J Sun
International Symposium on Automated Technology for Verification and …, 2019
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
Parametric non-interference in timed automata
É André, A Kryukov
2020 25th International Conference on Engineering of Complex Computer …, 2020
Reachability and liveness in parametric timed automata
É André, D Lime, OH Roux
Logical Methods in Computer Science 18, 2022
Parametric updates in parametric timed automata
É André, D Lime, M Ramparison
Logical Methods in Computer Science 17, 2021
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
Publication and funding information is determined automatically by a computer program