A Stochastic Extension of Stateflow. - Stefan Kaalen; Anton Hampus; Mattias Nyberg; Olle Mattsson (ICPE, 2022)

Verifying Refinement of Probabilistic Contracts Using Timed Automata. - Anton Hampus; Mattias Nyberg (TASE, 2023)

A Theory of Probabilistic Contracts. - Anton Hampus; Mattias Nyberg (ISoLA (3), 2024)

Formally verifying decompositions of stochastic specifications. - Anton Hampus; Mattias Nyberg (Int. J. Softw. Tools Technol. Transf., 2024)