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

    9220 Aalborg Ø

    Danmark

20152018
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Uddannelse (Akademiske kvalifikationer)

Datalogi, cand.scient., Aalborg Universitet

1 sep. 201330 jun. 2015

Datalogi, BSc, Aalborg Universitet

1 sep. 201030 jun. 2013

Fingerprint Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.

  • 5 Lignende profiler
Bisimulation Matematik
Transition Systems Matematik
Logic Matematik
Approximation Theory Matematik
Model checking Teknik og materialevidenskab
Reasoning Matematik
Linear equations Teknik og materialevidenskab
Finite Models Matematik

Publikationer 2015 2018

  • 2 Konferenceartikel i proceeding
  • 1 Tidsskriftartikel
  • 1 Konferenceartikel i tidsskrift
1 Citation (Scopus)

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. (red.). Springer, s. 71-86 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11024 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

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, I : Logical Methods in Computer Science. 14, 4, 19.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Bisimulation
Transition Systems
Reasoning
Logic
Finite Models
2 Citationer (Scopus)
64 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. (red.). Springer, s. 213-228 (Lecture Notes in Computer Science, Bind 9984).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Bisimulation
Approximation Theory
Transition Systems
Logic
Finite Models
19 Downloads (Pure)

Parametric Verification of Weighted Systems

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

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
Model checking
Linear equations
Linear systems
Mathematical operators
Semantics

Aktiviteter 2015 2018

  • 3 Konferenceoplæg
  • 2 Organisering af eller deltagelse i workshop, kursus, seminar eller lignende

Quantitative Evaluation of Systems 2018

Mikkel Hansen (Oplægsholder)
4 sep. 2018

Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

KiMfest

Mikkel Hansen (Deltager)
19 aug. 201720 aug. 2017

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende

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

Mikkel Hansen (Oplægsholder)
9 nov. 201611 nov. 2016

Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

IDEA4CPS Workshop

Mikkel Hansen (Deltager)
30 nov. 20152 dec. 2015

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende

2nd International Workshop on Synthesis of Complex Parameters

Mikkel Hansen (Oplægsholder)
11 apr. 2015

Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg