Dylan Marinho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2025
Best venue rank
Multiconference
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAC | Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets. | tienne Andr, Jean-Luc Bchennec, Sudipta Chattopadhyay, Sbastien Faucou, Didier Lime, Dylan Marinho, Olivier H. Roux, Jun Sun |
| 2023 | ICECCS | Expiring opacity problems in parametric timed automata. | tienne Andr, Engel Lefaucheux, Dylan Marinho |
| 2021 | TAP | A Benchmarks Library for Extended Parametric Timed Automata. | tienne Andr, Dylan Marinho, Jaco van de Pol |