Mikkel Hansen

According to our database, Mikkel Hansen authored at least 7 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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, Shreyas Samraksh Jayaprakash, Abhijeet Khobragade, Yashwanth Pathivada, Qiang Yu, Jagannathan Vasudevan, Ibukun Momson, Said Rami, Heli Vora, Marko Radosavljevic, Pratik Koirala, Michael Beumer, Andrey Vyatskikh, Paul Nordeen, Thomas Hoff, Nachiket V. Desai, Han Wui Then

Proceedings of the IEEE BiCMOS and Compound Semiconductor Integrated Circuits and Technology Symposium, 2024

2019

Model Checking Constrained Markov Reward Models with Uncertainties.

Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

2018

Reasoning About Bounds in Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen

Log. Methods Comput. Sci., 2018

On the Verification of Weighted Kripke Structures Under Uncertainty.

Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

2017

Reasoning About Bounds in Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue

CoRR, 2017

2016

A Complete Approximation Theory for Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

Parametric Verification of Weighted Systems.

Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015