Dylan Marinho, PhD

Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Sun Jun. Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets.

Proceedings of the The 40th ACM/SIGAPP Symposium On Applied Computing. To appear (SAC2025). (2024)

Étienne André, Engel Lefaucheux, Dylan Marinho. Expiring opacity problems in parametric timed automata. DOI: 10.1109/ICECCS59891.2023.00020

Yamine Ait-Ameur and Ferhat Khendek (eds.), Proceedings of the 27th International Conference on Engineering of Complex Computer Systems (ICECCS'23). (2023)

Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Sun Jun. Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. DOI: 10.4204/EPTCS.392.1

Proceedings of the First Workshop on Trends in Configurable Systems Analysis (TiCSA@ETAPS 2023). (2023)

Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho. 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)

Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol. 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)

Étienne André, Dylan Marinho, Jaco van de Pol. 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)

Dylan Marinho. Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty. (2023)