Dylan Marinho

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

Collaborative distances:

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

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

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

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