Parametric Verification of Weighted Systems. - Peter Christoffersen; Mikkel Hansen; Anders Mariegaard; Julian Trier Ringsmose; Kim Guldstrand Larsen; Radu Mardare (SynCoP, 2015)

A Complete Approximation Theory for Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen; Bingtian Xue (SETTA, 2016)

Reasoning About Bounds in Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen; Bingtian Xue (CoRR, 2017)

On the Verification of Weighted Kripke Structures Under Uncertainty. - Giovanni Bacci 001; Mikkel Hansen; Kim Guldstrand Larsen (QEST, 2018)

Reasoning About Bounds in Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen (Log. Methods Comput. Sci., 2018)

Model Checking Constrained Markov Reward Models with Uncertainties. - Giovanni Bacci 001; Mikkel Hansen; Kim Guldstrand Larsen (QEST, 2019)

Design kit development on a 300mm GaN-on-Si demonstration platform with integrated Si pMOS. - Samuel James Bader; Ahmad Zubair; Alvaro Latorre-Rey; Mikkel Hansen; Soumen Sarkar; Abdul Asif; Dimitri Frolov; Kaushik Narayanan; Jag Rangaswamy; Puneet Kanwar Kaur; Sanjeev Kumar; Nirmal Kundu; et al. (BCICTS, 2024)