Dominik Klumpp
Dominik Klumpp
Verified email at
Cited by
Cited by
Measuring and evaluating the performance of self-organization mechanisms within collective adaptive systems
B Eberhardinger, H Ponsar, D Klumpp, W Reif
International Symposium on Leveraging Applications of Formal Methods, 202-220, 2018
Test Case Selection Strategy for Self-Organization Mechanisms
B Eberhardinger, H Seebach, D Klumpp, W Reif
Test, Analyse und Verifikation von Software – gestern, heute, morgen, 2017
Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems
D Klumpp, A Habermaier, B Eberhardinger, H Seebach
2016 IEEE 1st International Workshops on Foundations and Applications of …, 2016
Verification of Concurrent Programs Using Petri Net Unfoldings
D Dietsch, M Heizmann, D Klumpp, M Naouar, A Podelski, C Schätzle
International Conference on Verification, Model Checking, and Abstract …, 2021
Partial Order Reduction for Trace Abstraction Refinement
D Klumpp, A Podelski, A Farzan
MOVEP 2020, 2020
Automated Control Flow Reconstruction from Assembler Programs
D Klumpp
Institute for Software & Systems Engineering, University of Augsburg, 2018
The system can't perform the operation now. Try again later.
Articles 1–6