Dylan Marinho
- Laboratoire d'Informatique de Paris 6 (LIP6)
- Sorbonne Université (SU)
Présentation
Je suis Maître de conférences à Sorbonne Université. Pour mes activités de recherche, je suis membre du LIP6 au sein de l'équipe MoVe. Après une lience et une première année de Master en Informatique à l'Université de Rennes 1, j'ai obtenu un Master de l'Institut d'Études Politiques de Rennes (Sciences Po Rennes) "Sécurité, Défense et Intelligence Stratégique". En parrallèle, j'ai obtenu un Magistère de l'École normale supérieure de Rennes. Finalement, j'ai reçu un doctorat en Informatique au sein de l'Université de Lorraine en 2023.Présentation
Intérêts
Publications
Publications
|
|
Guaranteeing Timed Opacity using Parametric Timed Model CheckingACM Transactions on Software Engineering and Methodology, 2022, 31 (4), pp.1-36. ⟨10.1145/3502851⟩ |
|
|
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri NetsSAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania (IT), Italy. pp.1998-2006, ⟨10.1145/3672608.3707861⟩ |
|
|
Expiring opacity problems in parametric timed automata2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), Jun 2023, Toulouse, France. pp.89-98, ⟨10.1109/ICECCS59891.2023.00020⟩ |
|
|
Efficient Convex Zone Merging in Parametric Timed Automata20th 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⟩ |
|
|
strategFTO: Untimed control for timed opacity8th 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⟩ |
|
|
A Benchmarks Library for Extended Parametric Timed AutomataTAP 2021 - 15th International Conference on Tests and Proofs, Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩ |
|
|
Désobscurcissement de prédicats opaquesInria Nancy - Grand Est. 2020 |
|
|
Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertaintyComputer Science [cs]. Université de Lorraine, 2023. English. ⟨NNT : 2023LORR0386⟩ |
|
|
Study of Common Sub-graphs of System Call Dependency Graphs for Malware ClassificationComputer Science [cs]. 2018 |