Dylan Marinho

According to our database, Dylan Marinho authored at least 9 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

PhD thesis, 2023

Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata.

Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun

Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023

Expiring opacity problems in parametric timed automata.

Étienne André, Engel Lefaucheux, Dylan Marinho

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

2022

Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata".

Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol

Dataset, July, 2022

Guaranteeing Timed Opacity using Parametric Timed Model Checking.

Étienne André, Didier Lime, Dylan Marinho, Jun Sun

ACM Trans. Softw. Eng. Methodol., 2022

strategFTO: Untimed Control for Timed Opacity.

Étienne André, Shapagat Bolat, Engel Lefaucheux, Dylan Marinho

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022

Efficient Convex Zone Merging in Parametric Timed Automata.

Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021

The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata.

Étienne André, Dylan Marinho, Jaco van de Pol

Dataset, April, 2021

A Benchmarks Library for Extended Parametric Timed Automata.

Étienne André, Dylan Marinho, Jaco van de Pol

Proceedings of the Tests and Proofs - 15th International Conference, 2021