Max Korn
Aus International Center for Computational Logic
Dr.-Ing. Max Korn
Wissenschaftlicher Mitarbeiter Algebraische und logische Grundlagen der Informatik
Neueste Publikationen
Komplette Publikationsliste anzeigen
Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt
PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking
In Ferreira, Carla and Willemse, Tim A. C., eds., Software Engineering and Formal Methods, 361--375, 2023. Springer Nature Switzerland
Details
Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich
Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study
In Gilly, Katja and Thomas, Nigel, eds., Computer Performance Engineering, 19--34, 2023. Springer International Publishing
Details
