( en | de | ru )

 

Disambiguation of "Marinho, Dylan"

Author of the publication

copydeleteadd this publication to your clipboard
Guaranteeing Timed Opacity using Parametric Timed Model Checking.

, , , and . ACM Trans. Softw. Eng. Methodol., 31 (4): 64:1-64:36 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sam Dylan Moré

John-Dylan Haynes

John - Dylan Haynes

Phillip Dylan Thomas Knobloch

Alexander Dylan Piers Boreham

 

Other publications of authors with the same name

A Benchmarks Library for Extended Parametric Timed Automata., , and . TAP@STAF, volume 12740 of Lecture Notes in Computer Science, page 39-50. Springer, (2021)strategFTO: Untimed Control for Timed Opacity., , , and . FTSCS, page 27-33. ACM, (2022)Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"., , , and . (July 2022)Expiring opacity problems in parametric timed automata., , and . ICECCS, page 89-98. IEEE, (2023)The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata., , and . (April 2021)Expiring opacity problems in parametric timed automata., , and . CoRR, (2024)Guaranteeing Timed Opacity using Parametric Timed Model Checking., , , and . ACM Trans. Softw. Eng. Methodol., 31 (4): 64:1-64:36 (2022)Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata., , , , and . TiCSA@ETAPS, volume 392 of EPTCS, page 1-26. (2023)Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets., , , , , , , and . SAC, page 1998-2006. ACM, (2025)Experimental data for paper "strategFTO: Untimed control for timed opacity"., , , and . (October 2022)