Anton Hampus

According to our database¹, Anton Hampus authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Formally verifying decompositions of stochastic specifications.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., April, 2024

2023

Verifying Refinement of Probabilistic Contracts Using Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2023

2022

A Stochastic Extension of Stateflow.

[BibT_eX]

[DOI]

Proceedings of the ICPE '22: ACM/SPEC International Conference on Performance Engineering, Bejing, China, April 9, 2022