Anton Hampus

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Stochastic Models

Formal Specification Language

Probabilistic Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Anton Hampus, Mattias Nyberg
Formally verifying decompositions of stochastic specifications. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Anton Hampus, Mattias Nyberg
Verifying Refinement of Probabilistic Contracts Using Timed Automata. TASE (2023)
Anton Hampus, Mattias Nyberg
Formally Verifying Decompositions of Stochastic Specifications. FMICS (2022)
Stefan Kaalen, Anton Hampus, Mattias Nyberg, Olle Mattsson
A Stochastic Extension of Stateflow. ICPE (2022)