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

    9220 Aalborg Ø

    Denmark

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

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

  • 2 Similar Profiles
Bisimulation Mathematics
Model checking Engineering & Materials Science
Branching Mathematics
Equivalence Mathematics
Pseudometric Mathematics
Logic Mathematics
Path Mathematics
Accumulate Mathematics

Research Output 2018 2019

  • 2 Article in proceeding
2 Citations (Scopus)

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

Model checking

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

Bisimulation
Branching
Equivalence
Pseudometric
Logic