Photo of Mathias Claus Jensen
  • Selma Lagerløfs Vej 300, 1-2-50

    9220 Aalborg Ø

    Denmark

20182019

Research output per year

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

Research Output

  • 2 Article in proceeding
Filter
Article in proceeding
2019

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science, Vol. 11460).

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

2 Citations (Scopus)
2018

Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

Jensen, M. C., Larsen, K. G. & Mardare, R., 1 Jan 2018, Formal Modeling and Analysis of Timed Systems: FORMATS 2018. Jansen, D. N. & Prabhakar, P. (eds.). Springer, p. 145-161 17 p. (Lecture Notes in Computer Science, Vol. 11022 LNCS).

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