Wotawa, Franz

8 publications

AAAI 2020 Efficient Model-Based Diagnosis of Sequential Circuits Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer

IJCAI 2015 Diagnosis of Technical Systems Roxane Koitz, Franz Wotawa

IJCAI 2013 The Route to Success - A Performance Comparison of Diagnosis Algorithms Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa

AAAI 2006 A Causal Analysis Method for Concurrent Hybrid Automata Michael W. Hofbaur, Franz Wotawa

IJCAI 2005 Detecting and Locating Faults in the Control Software of Autonomous Mobile Robots Gerald Steinbauer, Franz Wotawa

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