Accéder directement au contenu

Dylan Marinho

7
Documents
Identifiants chercheurs

Présentation

Introduction ------------ Dylan is a PhD student at [*Université de Lorraine*](http://doctorat.univ-lorraine.fr/en), at the [IAEM Doctoral School](http://doctorat.univ-lorraine.fr/en/doctoral-schools/iaem) in computer science. He belongs to the [VeriDis](https://team.inria.fr/veridis/) team of the [LORIA](https://www.loria.fr/en/) and [Inria](https://www.inria.fr/en). After a Bachelor’s degree and a first year of Master in computer science in the [*Université de Rennes 1*](http://www.univ-rennes1.fr), he has attended courses in the [*Institut d’Études Politiques de Rennes*](http://www.sciencespo-rennes.fr) (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*](http://www.ens-rennes.fr). He joined [*Université de Lorraine*](http://doctorat.univ-lorraine.fr/en) and [LORIA](https://www.loria.fr/en/) 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](http://doctorat.univ-lorraine.fr/fr) et de l’École doctorale [IAEM](http://doctorat.univ-lorraine.fr/fr/les-ecoles-doctorales/iaem/presentation) en Science Informatique. Il est rattaché l’équipe [VeriDis](https://team.inria.fr/veridis/) du [LORIA](https://www.loria.fr/fr/) et de l'[Inria](https://www.inria.fr/). Après une Licence puis un Master 1 en Science Informatique (SIF) au sein de l'[Université de Rennes 1](http://www.univ-rennes1.fr), il a étudié pendant une année au sein de l'[Institut d’Études Politiques de Rennes](http://www.sciencespo-rennes.fr) (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](http://www.ens-rennes.fr). Il a rejoint l'[Université de Lorraine](http://doctorat.univ-lorraine.fr/fr) et le [LORIA](https://www.loria.fr/fr/) 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

Publications

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⟩
Article dans une revue hal-03798157v1
Image document

Expiring opacity problems in parametric timed automata

Étienne André , Engel Lefaucheux , Dylan Marinho
2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.89-98, ⟨10.1109/ICECCS59891.2023.00020⟩
Communication dans un congrès hal-04151207v2

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⟩
Communication dans un congrès hal-03874435v1

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⟩
Communication dans un congrès hal-03772708v1

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⟩
Communication dans un congrès hal-03265573v1