Julian Klein

Orcid: 0009-0005-2899-3934

Affiliations:

According to our database¹, Julian Klein authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Verifying Opacity of Discrete-Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

Efficient State Estimation of Discrete-Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2024