Skip to content Skip to footer

Research Portal of the TU Dresden

Max Korn Dipl.-Inf.
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- max.korn@tu-dresden.de

Identification Numbers

Scopus author ID	58102636100

PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking

Korn, M., Méndez, J., Klüppelholz, S., Langner, R., Baier, C. & Dachselt, R., 31 Oct 2023, Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. Ferreira, C. & Willemse, T. A. C. (eds.). Cham: Springer, Cham, p. 361-375 15 p. (Lecture Notes in Computer Science, Volume 14323).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study

Korn, M., Chrszon, P., Klüppelholz, S., Baier, C. & Wunderlich, S., 13 Jan 2023, Computer Performance Engineering - 18th European Workshop, EPEW 2022, Proceedings: 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings. Gilly, K. & Thomas, N. (eds.). Cham: Springer International Publishing AG, p. 19-34 16 p. (Lecture Notes in Computer Science, Volume 13659).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (2)