Publications
Articles in international journals
Guaranteeing timed opacity using parametric timed model checking. DOI: 10.1145/3502851
, , , .ACM Transactions on Software Engineering and Methodology (TOSEM). (2022)
Articles in the proceedings of international conferences
Expiring opacity problems in parametric timed automata.
, , .Yamine Ait-Ameur and Ferhat Khendek (eds.), Proceedings of the 27th International Conference on Engineering of Complex Computer Systems (ICECCS'23). (2023)
strategFTO: Untimed control for timed opacity. DOI: 10.1145/3563822.3568013
, , , .Cyrille Artho and Peter Ölveczky (eds.), Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'22). (2022)
Efficient Convex Zone Merging in Parametric Timed Automata. DOI: 10.1007/978-3-031-15839-1_12
, , , .Bogomolov, S., Parker, D. (eds) 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022). (2022)
A Benchmarks Library for Extended Timed Automata. DOI: 10.1007%2F978-3-030-79379-1_3
, , .Loulergue, F., Wotawa, F. (eds) Tests and Proofs. (TAP’21). (2021)