Dylan Marinho

13 papers B 1Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 Misc conf
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets.
SAC
Étienne André, Jean-Luc Béchennec, Sudipta Chattopadhyay, Sébastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun
2024 J jnl
Expiring opacity problems in parametric timed automata.
CoRR
Étienne André, Engel Lefaucheux, Dylan Marinho
2023 — conf
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.
TiCSA@ETAPS
Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun
2023 B conf
Expiring opacity problems in parametric timed automata.
ICECCS
Étienne André, Engel Lefaucheux, Dylan Marinho
2023 — —
Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty. (Contributions théoriques et algorithmiques pour l'analyse de propriétés de sûreté et de sécurité dans les systèmes temporisés sous incertitude).
Dylan Marinho
2022 — conf
Efficient Convex Zone Merging in Parametric Timed Automata.
FORMATS
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
2022 J jnl
Efficient Convex Zone Merging in Parametric Timed Automata.
CoRR
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
2022 J jnl
Guaranteeing Timed Opacity using Parametric Timed Model Checking.
CoRR
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
2022 J jnl
Guaranteeing Timed Opacity using Parametric Timed Model Checking.
ACM Trans. Softw. Eng. Methodol.
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
2022 — conf
strategFTO: Untimed Control for Timed Opacity.
FTSCS
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
2022 J jnl
strategFTO: Untimed control for timed opacity.
CoRR
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
2021 — conf
A Benchmarks Library for Extended Parametric Timed Automata.
TAP@STAF
Étienne André, Dylan Marinho, Jaco van de Pol
2021 J jnl
A Benchmarks Library for Extended Parametric Timed Automata.
CoRR
Étienne André, Dylan Marinho, Jaco van de Pol