Anton Hampus

Industrial PhD student at Scania. My research is focused on probabilistic reasoning with the aim to prove that cyber-physical systems are sufficiently safe for introduction to the market. Areas of interest include probability theory, formal methods, specification theories, temporal logics, timed automata, measure theory, and algorigthms.

Publications

Hampus, A., Nyberg, M. (2025). A Theory of Probabilistic Contracts. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification. ISoLA 2024. Lecture Notes in Computer Science, vol 15221. Springer.

Hampus, A., Nyberg, M. (2024). Formally Verifying Decompositions of Stochastic Specifications. International Journal on Software Tools for Technology Transfer 26, 207–228. Springer.

Hampus, A., Nyberg, M. (2023). Verifying Refinement of Probabilistic Contracts Using Timed Automata. Theoretical Aspects of Software Engineering. TASE 2023. Lecture Notes in Computer Science, vol 13931. Springer.

Hampus, A., Nyberg, M. (2022). Formally Verifying Decompositions of Stochastic Specifications. Formal Methods for Industrial Critical Systems. FMICS 2022. Lecture Notes in Computer Science, vol 13487. Springer.

Kaalen, S., Hampus, A., Nyberg, M., Mattsson O. (2022). A Stochastic Extension of Stateflow. Proceedings of the 2022 ACM/SPEC on International Conference on Performance Engineering (ICPE '22). Association for Computing Machinery, New York, NY, USA, 211–222.

Hampus, A. (2022). Modelling Parallel Stochastic-Time Systems Using Timed and Synchronous Layers: Introducing the Parallel Stochastic Timed State Machine. Master's Thesis, KTH Royal Institute of Technology.