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: 42
The Bright Side of Timed Opacity (extended version)
É André, S Dépernet, E Lefaucheux
Mandates: Agence Nationale de la Recherche
Opacity problems in subclasses of timed automata
É André, S Dépernet, E Lefaucheux
Mandates: Agence Nationale de la Recherche
Zone extrapolations in parametric timed automata
J Arcile, É André
Innovations in Systems and Software Engineering, 1-20, 2024
Mandates: Agence Nationale de la Recherche
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
J Reimann, N Mansion, J Haydon, B Bray, A Chattopadhyay, S Sato, ...
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 186-195, 2024
Mandates: Agence Nationale de la Recherche
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
B Ghosh, É André
Logical Methods in Computer Science 20, 2024
Mandates: Agence Nationale de la Recherche
Parameterized Verification of Disjunctive Timed Networks
É André, P Eichler, S Jacobs, SL Karra
International Conference on Verification, Model Checking, and Abstract …, 2023
Mandates: Agence Nationale de la Recherche
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties
B Ghosh, É André
Science of Computer Programming 230, 102976, 2023
Mandates: US National Science Foundation, Agence Nationale de la Recherche
Expiring opacity problems in parametric timed automata
É André, E Lefaucheux, D Marinho
2023 27th International Conference on Engineering of Complex Computer …, 2023
Mandates: Agence Nationale de la Recherche
Parametric timed pattern matching
M Waga, É André, I Hasuo
ACM Transactions on Software Engineering and Methodology 32 (1), 1-35, 2023
Mandates: Agence Nationale de la Recherche, Japan Science and Technology Agency
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
strategFTO: Untimed control for timed opacity
É André, S Bolat, E Lefaucheux, D Marinho
Proceedings Of The 8th ACM SIGPLAN International Workshop On Formal …, 2022
Mandates: Agence Nationale de la Recherche, National Research Foundation, Singapore
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
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
Efficient convex zone merging in parametric timed automata
É André, D Marinho, L Petrucci, J van de Pol
International Conference on Formal Modeling and Analysis of Timed Systems …, 2022
Mandates: Agence Nationale de la Recherche
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems
B Ghosh, É André
International Conference on Formal Techniques for Distributed Objects …, 2022
Mandates: US National Science Foundation, Agence Nationale de la Recherche
Exemplifying parametric timed specifications over signals with bounded behavior
É André, M Waga, N Urabe, I Hasuo
NASA Formal Methods Symposium, 470-488, 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
IMITATOR 3: Synthesis of timing parameters beyond decidability
É André
International Conference on Computer Aided Verification, 552-565, 2021
Mandates: Agence Nationale de la Recherche
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
Publication and funding information is determined automatically by a computer program