• Selma Lagerløfs Vej 300, 1-2-50

    9220 Aalborg Ø

    Denmark

20152018
If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Computer Science, M.Sc., Aalborg University

1 Sep 201330 Jun 2015

Computer Science, B.Sc., Aalborg University

1 Sep 201030 Jun 2013

Fingerprint The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.

  • 5 Similar Profiles
Bisimulation Mathematics
Transition Systems Mathematics
Logic Mathematics
Approximation Theory Mathematics
Model checking Engineering & Materials Science
Reasoning Mathematics
Linear equations Engineering & Materials Science
Finite Models Mathematics

Research Output 2015 2018

  • 2 Article in proceeding
  • 1 Journal article
  • 1 Conference article in Journal
2 Citations (Scopus)
5 Downloads (Pure)

On the Verification of Weighted Kripke Structures Under Uncertainty

Bacci, G., Hansen, M. & Larsen, K. G., 1 Jan 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (eds.). Springer, p. 71-86 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11024 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Random variables
Experiments
Uncertainty

Reasoning About Bounds in Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I. & Pedersen, M. R., 26 Nov 2018, In : Logical Methods in Computer Science. 14, 4, 19.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
Bisimulation
Transition Systems
Reasoning
Logic
Finite Models
2 Citations (Scopus)
68 Downloads (Pure)

A Complete Approximation Theory for Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I., Pedersen, M. R. & Xue, B., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 213-228 (Lecture Notes in Computer Science, Vol. 9984).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Bisimulation
Approximation Theory
Transition Systems
Logic
Finite Models
25 Downloads (Pure)

Parametric Verification of Weighted Systems

Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 2015, In : Open Access Series in Informatics. 44, p. 77-90

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Model checking
Linear equations
Linear systems
Mathematical operators
Semantics

Activities 2015 2018

  • 3 Conference presentations
  • 2 Organisation or participation in workshops, courses, or seminars

Quantitative Evaluation of Systems 2018

Mikkel Hansen (Speaker)
4 Sep 2018

Activity: Talks and presentationsConference presentations

KiMfest

Mikkel Hansen (Participant)
19 Aug 201720 Aug 2017

Activity: Attending an eventOrganisation or participation in workshops, courses, or seminars

2nd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2016

Mikkel Hansen (Speaker)
9 Nov 201611 Nov 2016

Activity: Talks and presentationsConference presentations

IDEA4CPS Workshop

Mikkel Hansen (Participant)
30 Nov 20152 Dec 2015

Activity: Attending an eventOrganisation or participation in workshops, courses, or seminars

2nd International Workshop on Synthesis of Complex Parameters

Mikkel Hansen (Speaker)
11 Apr 2015

Activity: Talks and presentationsConference presentations