Foto af Mathias Claus Jensen
  • Selma Lagerløfs Vej 300, 1-2-50

    9220 Aalborg Ø

    Danmark

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

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

  • 2 Lignende profiler
Bisimulation Matematik
Model checking Teknik og materialevidenskab
Branching Matematik
Equivalence Matematik
Pseudometric Matematik
Logic Matematik
Path Matematik
Accumulate Matematik

Publikationer 2018 2019

  • 2 Konferenceartikel i proceeding
1 Citation (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Mariegaard, A., Larsen, K. G. & Jensen, M. C., 2019, NASA Formal Methods. Springer, Bind 11460. s. 298-315 18 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. (red.). Springer, s. 145-161 17 s. (Lecture Notes in Computer Science, Bind 11022 LNCS).

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

Bisimulation
Branching
Equivalence
Pseudometric
Logic