Access content directly

Dylan Marinho

Researcher identifiers


Introduction ------------ Dylan is a PhD student at [*Université de Lorraine*](, at the [IAEM Doctoral School]( in computer science. He belongs to the [VeriDis]( team of the [LORIA]( and [Inria]( After a Bachelor’s degree and a first year of Master in computer science in the [*Université de Rennes 1*](, he has attended courses in the [*Institut d’Études Politiques de Rennes*]( (Sciences Po Rennes) in a Master class of “Security Defense and Strategic Intelligence”. Simultaneously, he has performed a Magister’s degree in computer science at [*École Normale Supérieure de Rennes*]( He joined [*Université de Lorraine*]( and [LORIA]( in October 2020 for his PhD. Interests --------- - Computer virology - Attack techniques and their detection - Formal methods, model checking
Présentation ------------ Dylan est en préparation d’un doctorat au sein de l'[Université de Lorraine]( et de l’École doctorale [IAEM]( en Science Informatique. Il est rattaché l’équipe [VeriDis]( du [LORIA]( et de l'[Inria]( Après une Licence puis un Master 1 en Science Informatique (SIF) au sein de l'[Université de Rennes 1](, il a étudié pendant une année au sein de l'[Institut d’Études Politiques de Rennes]( (Sciences Po Rennes) au sein du Master 2 “Sécurité Défense et Intelligence Stratégique”. En parallèle, il a validé un Magistère d’Informatique au sein de l'[École Normale Supérieure de Rennes]( Il a rejoint l'[Université de Lorraine]( et le [LORIA]( en octobre 2020 pour la préparation de sa thèse. Intérêts -------- - Virologie informatique - Techniques d’attaque et leur détection - Méthodes formelles, model checking


Guaranteeing Timed Opacity using Parametric Timed Model Checking

Étienne André , Didier Lime , Dylan Marinho , Jun Sun
ACM Transactions on Software Engineering and Methodology, 2022, 31 (4), pp.1-36. ⟨10.1145/3502851⟩
Journal articles hal-03798157v1

Efficient Convex Zone Merging in Parametric Timed Automata

Étienne André , Dylan Marinho , Laure Petrucci , Jaco van de Pol
20th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2022, Warsaw, Poland. pp.200-218, ⟨10.1007/978-3-031-15839-1_12⟩
Conference papers hal-03772708v1

strategFTO: Untimed control for timed opacity

Étienne André , Shapagat Bolat , Engel Lefaucheux , Dylan Marinho
8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2022), Cyrille Artho; Peter Ölveczky, Dec 2022, Auckland, New Zealand. pp.27-33, ⟨10.1145/3563822.3568013⟩
Conference papers hal-03874435v1

A Benchmarks Library for Extended Parametric Timed Automata

Étienne André , Dylan Marinho , Jaco van de Pol
TAP 2021 - 15th International Conference on Tests and Proofs, Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩
Conference papers hal-03265573v1