Follow
Étienne André
Étienne André
Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Verified email at univ-paris13.fr - Homepage
Title
Cited by
Cited by
Year
Opacity problems in subclasses of timed automata
É André, S Dépernet, E Lefaucheux
2024
CosyVerif: The Path to Formalisms Cohabitation
É André, J Arias, B Barbot, F Hulin-Hubard, F Kordon, VF Le, L Petrucci
International Conference on Applications and Theory of Petri Nets and …, 2024
2024
Zone extrapolations in parametric timed automata
J Arcile, É André
Innovations in Systems and Software Engineering, 1-20, 2024
32024
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
12024
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
B Ghosh, É André
Logical Methods in Computer Science 20, 2024
2024
Parameterized Verification of Disjunctive Timed Networks
É André, P Eichler, S Jacobs, SL Karra
International Conference on Verification, Model Checking, and Abstract …, 2023
12023
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
É André, E Lefaucheux, D Lime, D Marinho, J Sun
arXiv preprint arXiv:2310.20392, 2023
42023
Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
É André, J Sun
Springer Nature, 2023
2023
Monitoring device and monitoring method
W Masaki, E Andre, I Hasuo
US Patent App. 18/338,058, 2023
2023
Dense integer-complete synthesis for bounded parametric timed automata
É André, D Lime, OH Roux
arXiv preprint arXiv:2310.09109, 2023
12023
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties
B Ghosh, É André
Science of Computer Programming 230, 102976, 2023
12023
Formalizing UML state machines for automated verification–A survey
É André, S Liu, Y Liu, C Choppy, J Sun, JS Dong
ACM Computing Surveys 55 (13s), 1-47, 2023
102023
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS
S Altmeyer, É André, S Dal Zilio, L Fejoz, MG Harbour, S Graf, ...
35th Euromicro Conference on Real-Time Systems (ECRTS 2023), 2023
12023
Expiring opacity problems in parametric timed automata
É André, E Lefaucheux, D Marinho
2023 27th International Conference on Engineering of Complex Computer …, 2023
52023
Configuring timing parameters to ensure opacity
É André
2023
A trivial yet open synthesis problem
É André
2023
Monitoring cyber-physical systems under uncertainty
É André, I Hasuo, M Waga
2023
Parametric timed pattern matching
M Waga, É André, I Hasuo
ACM Transactions on Software Engineering and Methodology 32 (1), 1-35, 2023
52023
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
132022
strategFTO: Untimed control for timed opacity
É André, S Bolat, E Lefaucheux, D Marinho
Proceedings Of The 8th ACM SIGPLAN International Workshop On Formal …, 2022
32022
The system can't perform the operation now. Try again later.
Articles 1–20