« October 2019 »
October
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031
Uni-Logo
You are here: Home Team Dominik Klumpp
Document Actions

Dominik Klumpp

 

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.

Personal tools