• 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.

Publikationer 2015 2018

  • 2 Konferenceartikel i proceeding
  • 1 Tidsskriftartikel
  • 1 Konferenceartikel i tidsskrift
2018
2 Citationer (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. (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
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
2016
2 Citationer (Scopus)
65 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
2015
25 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