Publications

13 publications · 14 co-auteurs dont 3 à l'étranger · 2018–2026 · aussi sur DBLP, HAL, Google Scholar

Publications par année

Cliquez sur une année pour filtrer

Tous les co-auteurs (14)

Revue internationaleOpacité et fuites temporelles
Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems
Jean Leneutre, Dylan Marinho, Vadim Malvone, James Ortiz
To appear, 2026
DOI Author version

SAC 2025Conférence internationaleOpacité et fuites temporelles
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
Étienne André, Jean-Luc Bechennec, Sudipta Chattopadhyay , Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Sun Jun
Proceedings of the 40th ACM/SIGAPP Symposium On Applied Computing, Catania, Italy, 2025, pp. 1998–2006
DOI ACM Slides

Thèse de doctoratOpacité et fuites temporellesVérification temporisée paramétrée
Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty
Dylan Marinho
2023
- 2024 PhD thesis award of the Académie Lorraine des Sciences (France), received in 2025
theses.fr PDF HAL Slides
ICECCS 2023Conférence internationaleOpacité et fuites temporellesVérification temporisée paramétrée
Expiring Opacity Problems in Parametric Timed Automata
Étienne André, Engel Lefaucheux, Dylan Marinho
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, Toulouse, France, 2023, pp. 451–469
DOI Author version HAL Slides
TiCSA@ETAPS 2023Conférence internationaleOpacité et fuites temporelles
Conﬁguring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Sun Jun
Proceedings of the First Workshop on Trends in Conﬁgurable Systems Analysis, Paris, France, 2023, pp. 1–26
DOI Author version

FTSCS 2022Conférence internationaleOpacité et fuites temporelles
strategFTO: Untimed Control for Timed Opacity
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Auckland, New Zealand, 2022, pp. 27–33
DOI Author version ACM Slides
FORMATS 2022Conférence internationaleVérification temporisée paramétrée
Efficient Convex Zone Merging in Parametric Timed Automata
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, Warsaw, Poland, 2022, pp. 200–218
DOI Author version Zenodo Springer Slides
AFADL 2022Conférence nationaleOpacité et fuites temporelles
Étude de propriétés d’opacité temporisée à l’aide de vériﬁcation temporisée paramétrée
Dylan Marinho
Approches Formelles dans l’Assistance au Développement de Logiciels, 2022
HAL
TOSEMRevue internationaleOpacité et fuites temporellesVérification temporisée paramétrée
Guaranteeing Timed Opacity using Parametric Timed Model Checking
Étienne André, Didier Lime, Dylan Marinho, Sun Jun
ACM Transactions on Software Engineering and Methodology, 2022, pp. 64:1–64:36
DOI Author version ACM Slides Poster

TAP 2021Conférence internationaleVérification temporisée paramétrée
A Benchmarks Library for Extended Timed Automata
Étienne André, Dylan Marinho, Jaco van de Pol
Proceedings of the 15th International Conference on Tests and Proofs, Held as Part of STAF 2021, Virtual Event, 2021, pp. 39–50
DOI Author version Zenodo Springer HAL Webpage Slides

Mémoire de licence ou masterAnalyse de binaires et malwares
Defeating Opaque Predicates
Dylan Marinho
2020
HAL

Mémoire de licence ou masterAnalyse de binaires et malwares
Toward Semantic-Based Android Malware Detection Using Model Checking
Dylan Marinho
2019

Mémoire de licence ou masterAnalyse de binaires et malwares
Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification
Dylan Marinho
2018
HAL Slides