Publikationer pr. år
Publikationer pr. år
- 6 resultater
Søgeresultater
-
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. (red.). Springer, s. 145-161 17 s. (Lecture Notes in Computer Science, Bind 11022 LNCS).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
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. (red.). Springer, s. 298-315 18 s. (Lecture Notes in Computer Science, Bind 11460).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
5 Citationer (Scopus) -
2020
A complete axiomatization of weighted branching bisimulation
Jensen, M. C. & Larsen, K. G., 1 okt. 2020, I: Acta Informatica. 57, s. 689-725 37 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs
Enevoldsen, S., Jensen, M. C., Larsen, K. G., Mariegaard, A. & Srba, J., 2020, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'20). Springer, s. 249-268 20 s. (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
1 Citationer (Scopus) -
2022
Convex Lattice Equation Systems
Bacci, G., Bacci, G., Jensen, M. C. & Larsen, K. G., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, Bind 13660. s. 438-455 18 s. (Lecture Notes in Computer Science (LNCS)).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
1 Citationer (Scopus) -
2023
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics
Carlsen, F. B. Ø., Frydenskov, L. B. P., Jensen, N. Ø., Jenner Rasmussen, J., Sørensen, M. M., Geel Weirsøe, A., Jensen, M. C. & Larsen, K. G., 30 sep. 2023, Proceedings af the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). Italien: Open Publishing Association, Bind 390. s. 99-114 16 s. (Electronic Proceedings in Theoretical Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil10 Downloads (Pure)