My Publications
Articles in peer-reviewed international journals
Articles in the proceedings of peer-reviewed international conferences
- Étienne André, Jean-Luc Bechennec, 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. DOI: 10.1145/3672608.3707861
Proceedings of the 40th ACM/SIGAPP Symposium On Applied Computing. (SAC 2025), 2025 - Étienne André, Engel Lefaucheux, Dylan Marinho. Expiring opacity problems in parametric timed automata. DOI: 10.1109/ICECCS59891.2023.00020
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems (ICECCS 2023), 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é, 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
Proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022), 2022 - Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho. strategFTO: Untimed control for timed opacity. DOI: 10.1145/3563822.3568013
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 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
Proceedings of the 15th International Conference on Tests and Proofs, Held as Part of STAF 2021 (TAP 2021), 2021
Articles in the proceedings of peer-reviewed national conferences
- 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
Theses
- Dylan Marinho. Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty. 2023
- PhD award 2024 from Académie Lorraine des Sciences (France)
Bachelor and master theses
- 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