Max Korn

According to our database, Max Korn authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Max Korn, Julián Méndez, Sascha Klüppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2022

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

Max Korn, Philipp Chrszon, Sascha Klüppelholz, Christel Baier, Sascha Wunderlich

Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022