Dylan Marinho

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 11

Top Topics

Reachability Analysis

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Étienne André, Engel Lefaucheux, Dylan Marinho
Expiring opacity problems in parametric timed automata. CoRR (2024)
Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS (2023)
Étienne André, Engel Lefaucheux, Dylan Marinho
Expiring opacity problems in parametric timed automata. ICECCS (2023)
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Efficient Convex Zone Merging in Parametric Timed Automata. CoRR (2022)
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
strategFTO: Untimed control for timed opacity. CoRR (2022)
Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol
Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS (2022)
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho
strategFTO: Untimed Control for Timed Opacity. FTSCS (2022)
Étienne André, Didier Lime, Dylan Marinho, Jun Sun
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR (2022)
Étienne André, Dylan Marinho, Jaco van de Pol
A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF (2021)
Étienne André, Dylan Marinho, Jaco van de Pol
A Benchmarks Library for Extended Parametric Timed Automata. CoRR (2021)