Dylan Marinho

É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é, 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)

É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)

Dylan Marinho. Defeating Opaque Predicates. (2020)

Dylan Marinho. Toward Semantic-Based Android Malware Detection Using Model Checking. (2019)

Dylan Marinho. Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification. (2018)