Stumptner, Markus

4 publications

IJCAI 2007 Abstract Interpretation of Programs for Model-Based Debugging Wolfgang Mayer, Markus Stumptner

IJCAI 2003 Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems Markus Stumptner, Franz Wotawa

IJCAI 1999 Debugging Functional Programs Markus Stumptner, Franz Wotawa

IJCAI 1997 Diagnosing Tree Structured Systems Markus Stumptner, Franz Wotawa