Mikkel Hansen

Kandidatuddannelse i Datalogi

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

    9220 Aalborg Ø

    Danmark

20152019

Publikationer pr. år

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

Personlig profil

Uddannelse (Akademiske kvalifikationer)

Datalogi, cand.scient.

1 sep. 201330 jun. 2015

Dimissionsdato: 30 jun. 2015

Datalogi, BSc

1 sep. 201030 jun. 2013

Dimissionsdato: 30 jun. 2013

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

  • 6 Lignende profiler

Publikationer

  • 3 Konferenceartikel i proceeding
  • 1 Tidsskriftartikel
  • 1 Konferenceartikel i tidsskrift

Model checking constrained markov reward models with uncertainties

Bacci, G., Hansen, M. & Larsen, K. G., 1 sep. 2019, Quantitative Evaluation of Systems - 16th International Conference, QEST 2019, Proceedings. Parker, D. & Wolf, V. (red.). Springer, s. 37-51 15 s. (Lecture Notes in Computer Science, Bind 11785).

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

  • 1 Citationer (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

    Åben adgang
    Fil
  • 2 Citationer (Scopus)
    70 Downloads (Pure)

    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
  • 1 Citationer (Scopus)

    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
  • 2 Citationer (Scopus)
    132 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
  • 43 Downloads (Pure)

    Aktiviteter

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

    Quantitative Evaluation of Systems (QEST) 2019

    Mikkel Hansen (Oplægsholder)

    10 sep. 201912 sep. 2019

    Aktivitet: Foredrag og mundtlige bidragKonferenceoplæg

    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