Get started
Author

Dylan Marinho

Guaranteeing Timed Opacity using Parametric Timed Model Checking
2022 · Étienne André, Didier Lime, et al. · ACM Transactions on Software Engineering and Methodology · 22
PDF
A Benchmarks Library for Extended Parametric Timed Automata
2021 · Étienne André, Dylan Marinho, et al. · Lecture notes in computer science · 17
PDF
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata
2023 · Étienne André, Engel Lefaucheux, et al. · Electronic Proceedings in Theoretical Computer Science · 12
PDF
Expiring opacity problems in parametric timed automata
2023 · Étienne André, Engel Lefaucheux, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 12
PDF
strategFTO: Untimed Control for Timed Opacity
2022 · Étienne André, Shapagat Bolat, et al. · 12
PDF
Efficient Convex Zone Merging in Parametric Timed Automata
2022 · Étienne André, Dylan Marinho, et al. · Lecture notes in computer science · 6
The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata
2021 · André, Étienne, Marinho, Dylan, et al. · Zenodo (CERN European Organization for Nuclear Research) · 2
PDF
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets
2025 · Étienne André, Jean-Luc Béchennec, et al. · ACM Symposium on Applied Computing · 1
PDF
Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"
2022 · André, Étienne, Marinho, Dylan, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems
2026 · Leneutre, Jean, Marinho, Dylan, et al. · arXiv (Cornell University)
PDF
Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty
2023 · Dylan Marinho · theses.fr (ABES)
PDF
Experimental data for paper "strategFTO: Untimed control for timed opacity"
2022 · André, Étienne, Bolat, Shapagat, et al. · Zenodo (CERN European Organization for Nuclear Research)
Study of Common Sub-graphs of System Call Dependency Graphs for Malware Classification
2018 · Marinho, Dylan · HAL
Works count: 13
Citation count: 85
H-index: 6
I10-index: 5
Year
Topic
Type