Dylan Marinho
Orcid: 0000-0002-2548-6196
According to our database1,
Dylan Marinho
authored at least 10 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
4
5
1
2
2
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
The IMITATOR benchmarks library 2.1: A benchmarks library for extended parametric timed automata.
Dataset, January, 2024
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).
PhD thesis, 2023
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
2022
Dataset, July, 2022
ACM Trans. Softw. Eng. Methodol., 2022
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022
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.
Dataset, April, 2021
Proceedings of the Tests and Proofs - 15th International Conference, 2021