Articles with public access mandates - Étienne AndréLearn more
Available somewhere: 42
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
Timed ATL: Forget Memory, Just Count.
É André, L Petrucci, W Jamroga, M Knapik, W Penczek
Journal of Artificial Intelligence Research 66, 2019
Mandates: Luxembourg National Research Fund
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
Consistency in parametric interval probabilistic timed automata
É André, B Delahaye, P Fournier
Journal of Logical and Algebraic Methods in Programming 110, 100459, 2020
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
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
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
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
É André, E Coquard, L Fribourg, J Jerray, D Lesens
Fundamenta Informaticae 182 (1), 31-67, 2021
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
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
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
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
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
Time4sys2imi: A tool to formalize real-time system models under uncertainty
É André, J Jerray, S Mhiri
International Colloquium on Theoretical Aspects of Computing, 113-123, 2019
Mandates: Agence Nationale de la Recherche
Formalizing Time4sys using parametric timed automata
É André
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
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
Automated synthesis of local time requirement for service composition
É André, TH Tan, M Chen, S Liu, J Sun, Y Liu, JS Dong
Software and Systems Modeling 19, 983-1013, 2020
Mandates: Agence Nationale de la Recherche
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
Publication and funding information is determined automatically by a computer program