Search: (more)
Header

M.Sc. Marc Dahlem

email
m_dahlem (at) cs.uni-kl.de
phone
+49 631 205 2649
fax
+49 631 205 4409
address
P.O. Box 3049
67653 Kaiserslautern
Germany
building/room
48/480
research interests
Formal verification has been established to verify properties of already existing systems. Recent tools use formal methods also for the generation of models, which are known to fulfill desired criteria in development processes following a correctness-by-construction philosophy. In this research area, Answer Set Programming (ASP) is a promising new approach. The general difference between ASP and satisfiability checking is that ASP computes all satisfying variable assignments for a logical formula, instead of one. As the amount of computed solutions can be limited, ASP can be used to synthesize an amount of models which correspond to defined rules. My research interests cover
  • model generation with formal techniques
  • performance optimization of ASP for multiplied requests
  • program output prediction with formal techniques
  • intelligent model generation: Combining ASP + Artificial Intelligence
  • formal verification vs. formal model synthesis
see also my poster
publications
all | authored | edited/supervised | talks