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.
Proceedings of the The 40th ACM/SIGAPP Symposium On Applied Computing. (SAC2025), 2025. To appear. - É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