Dylan Marinho
Orcid: 0000-0002-2548-6196
According to our database1,
Dylan Marinho
authored at least 7 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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
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
Proceedings of the Tests and Proofs - 15th International Conference, 2021