Dominik Klumpp

Dominik Klumpp University of Freiburg Georges-Köhler-Allee 52 79110 Freiburg   building 052, room 00-005 +49 761 203 8248 klumpp@informatik.uni-freiburg.de

Research Interests

automatic verification, concurrent programs, control flow

Publications

DBLP ResearchGate Google Scholar

• Automated Control Flow Reconstruction from Assembler Programs, Thesis. [doi]
  
• Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems, in ISOLA 2018, together with Benedikt Eberhardinger, Hella Ponsar and Wolfgang Reif. [doi]
  
• Test Case Selection Strategy for Self-Organization Mechanisms, in Test, Analyse und Verifikation von Software – gestern, heute, morgen, together with Benedikt Eberhardinger, Hella Ponsar and Wolfgang Reif.
• Optimising Runtime Safety Analysis Efficiency for Self-Organising Systems, in FAS*/QA4SASO 2016, together with Axel Habermaier, Benedikt Eberhardinger and Hella Seebach. [doi]
  

Consultation Hours

Please send me an e-mail to make an appointment.