Dylan Marinho

Étienne André, Didier Lime, Dylan Marinho, Sun Jun. Guaranteeing timed opacity using parametric timed model checking. DOI: 10.1145/3502851

ACM Transactions on Software Engineering and Methodology (TOSEM). (2022)

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

É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. Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification. (2018)