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

Dylan Marinho. Étude de propriétés d’opacité temporisée à l’aide de vérification temporisée paramétrée.

Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2022). (2022)

É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. Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty. (2022)

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)