Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Max Korn Dipl.-Inf.
Person

Zugehörigkeiten

Professur für Algebraische und logische Grundlagen der Informatik
- Wissenschaftliches Personal
- max.korn@tu-dresden.de

Identifizierungsnummern

Scopus Autor ID	58102636100

Veröffentlichungen
Forschungsdaten

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 Okt. 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. (Hrsg.). Cham: Springer, Cham, S. 361-375 15 S. (Lecture Notes in Computer Science, Volume 14323).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

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. (Hrsg.). Cham: Springer International Publishing AG, S. 19-34 16 S. (Lecture Notes in Computer Science, Volume 13659).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (2)

Research data accompanying the bachelor's thesis "Symbolic Representation of Memoryless-Deterministic Schedulers"

Fenske, J. (Urheber:in), Klüppelholz, S. (Mitwirkende:r) & Korn, M. (Mitwirkende:r), Zenodo, 31 März 2025

DOI: https://doi.org/10.5281/zenodo.15084627, https://zenodo.org/records/15111357

Forschungsdaten: Software

Formal-Methods Support for Runtime Adaptation in Self-Adaptive Systems Artifact

Korn, M. (Urheber:in), Zenodo, 17 Okt. 2024

DOI: https://doi.org/10.5281/zenodo.13946497, https://zenodo.org/records/13946498

Forschungsdaten: Software

Interactive Visualization Meets Probabilistic Model Checking Artifact

Korn, M. (Urheber:in), Méndez, J. (Urheber:in), Klüppelholz, S. (Urheber:in), Langner, R. (Urheber:in), Baier, C. (Urheber:in) & Dachselt, R. (Urheber:in), Zenodo, 30 Juni 2023

DOI: https://doi.org/10.5281/zenodo.8172531, https://zenodo.org/records/8172531

Forschungsdaten: Software

Alle Forschungsdaten ansehen (3)