Curriculum Vitae
Franz Wotawa
Institute for Software Technology
Technische Universit¨at Graz
Inffeldgasse 16b/2, A-8010 Graz, Austria
Phone: (+43) - 316 - 873–5711
Fax: (+43) - 316 - 873–5706
E-Mail:
[email protected]
WWW:
http://www.ist.tu-graz.ac.at/wotawa
March 7, 2003
Franz Wotawa received a M.Sc. in Computer Science (1994) and a PhD in 1996 both from the Vienna University of Tech-nology. He is currently a professor of software engineering and head of the Institute for Software Technology (IST) at the Graz University of Technology. His research interests in-clude model-based and qualitative reasoning, configuration, planning, theorem proving, intelligent agents, mobile robots, verification and validation, and software engineering. Cur-rently, Franz Wotawa works on applying model-based diag-nosis to software debugging. He has written many papers for journals, conferences, and workshops and has been member of the program commitees for several workshops and confer-ences. He organized workshops and special issues on model-based reasoning for the journal AI Communications. He is a member of the IEEE Computer Society, ACM, AAAI, the Austrian Computer Society (OCG), and the Austrian Society for Artificial Intelligence.
Personals
Name Franz Wotawa
Title Univ. Professor Dipl.-Ing. Dr.techn. Born 16.12.1968 in Vienna, Austria Nationality Austrian Citizen
Confession Roman catholic
Family Status married (Michaela (maiden name: Forstner)), 3 Children (Franz Wolfgang, Marianne Sophie, Johannes Sebastian) Parents Eveline (maiden name: Deutsch) and Franz Wotawa
Education
1975 - 79 Primary School, Wien Hernals/Halirschgasse
1979 - 83 Secondary School, Bundesrealgymnasium Wien Geblergasse
1983 - 88 Studying Communication Engineering and Electronic at the Technologisches Gewerbemuseum (TGM) Wien Brigittenau H¨ohere Tech-nische Bundeslehr- und Versuchsanstalt
1988 -94 Studying Computer Science at the Technischen Universit¨at Wien with
spe-cialization on Artificial Intelligence. Master Thesis ”Analyse und Algorithmen von fokusierten Assumption Based Truth Maintenance Systemen”.
1994 - 96 Ph.D. (Dr.techn.) at the Technische Universit¨at Wien. Ph.D. Thesis:
”Ap-plying Model-Based Diagnosis to Software Debugging of Concurrent and Se-quential Imperative Programming Languages”
2001 Habiliation degree for Angewandte Informatik (Applied Computer Science) from
the Technischen Universit¨at Wien.
Work Experiences
1984 - 1988 Siemens Austria during summer vacation
1988 - 1993 IBM Austria during summer vacation and Application Programming at
OMV Austria (MI-AI Department) with domain databases, information system design and implementation.
1994 - 1995 Researcher at the Institut f¨ur Informationssysteme, Abteilung
Expertensysteme); mainly involved in the DDV project sponsored by Siemens Austria with the aim of applying model-based diagnosis to software debugging
1996-1997: Basic military service at the Austrian Defence Academy
(Landes-verteidigungsakademie (LVAK) des ¨osterreichischen Bundesheeres). My task was to write scientific studies.
1.4.1995–22.3.2001 Assistant Professor (Universit¨atsassistent), Institut f¨ur Informationssysteme, Abteilung f¨ur Datenbanken und Artifical Intelligence, TU Wien.
11.6–18.6.2000 Research visit at the Knowledge Systems Laboratory, University
Stanford. California, USA.
22.3.2001–2.12.2001 Associate Professor (Universit¨asdozent), Institut f¨ur Informationssysteme, Abteilung f¨ur Datenbanken und Artifical Intelligence, TU Wien.
Since 3.12.2001 Professor for Software Engineering, Institute for Software
Technol-ogy, Technische Universit¨at Graz.
Since 2003 Head of the Institute for Software Technology, Technische Universit¨at
Graz.
Scientific Activities
Projects Project activities comprise problem analysis, design, implementation of prototypes and also leading and organizing projects and writing project proposals and applications for the Austrian Science Fund (FWF) and companies.
DDV (Project member) The “Design Diagnosis of VHDL Specifications (DDV)”
project (1994-98) aimed at developing tools for helping hardware designers lo-cating and fixing a bug in very large VHDL programs. VHDL is a hardware description language similar to ADA. The DDV project had been funded by Siemens Austria. Two tools had been developed during the project. WFCOMP was used for detecting discrepancies between the output of a program and a specified output. The second tool VHDLDIAG is for locating faults in VHDL programs. Within the project duration, the problem had been analyzed and a prototype had been developed and validated.
DIKE (Project leader) The goal of the “ Diagnosis Kernel” (DIKE) project (1997)
was to develop a diagnosis framework that can be used for industrial purposes. The framework comprises a extendible model-based diagnosis engine and a lan-guage for describing models. The project had been funded by Siemens Austria.
FESTO During the FESTO project (1998-2000) a study for the FESTO company had
been written and the development for a diagnosis engine had been supported. The study compares several AI techniques with respect to their use in diagnosis and maintenance of technical systems.
MODIS (Project leader) The “Mobile Diagnosis (MODIS)” project (1998-1999) had
been funded by the Hochschuljubil¨aumsstiftung der Stadt Wien and aimed at developing a prototype diagnostic system for mobile use. This comprises the improvements of diagnosis algorithms and the development of languages for communicating diagnosis knowledge. The diagnostic system was implemented in Java and had been tested using a Personal Digital Assistent (PDAs) under Windows CE, a personal computer under Windows, and a workstations running under Solaris.
JADE (Project leader together with Markus Stumptner) The goal of the “Java
Diag-nosis Experiments (JADE)” project (from 1998 to 2001) is to develop a system
for debugging of Java programs. The project is a basic research project funded by the Austrian Science Fund. During the project different models of Java pro-grams has been developed and tested using a program library. Although various improvements are still possible the first results indicate that model-based diag-nosis provides a well founded basis for debugging.
DAIMLERCHRYSLER This project (since 2001) funded by DaimlerChrysler
Ger-many aims at improving the performance of constraint solver used for diagno-sis and design by using hypertree decomposition and optimized diagnodiagno-sis algo-rithms.
DEV (Project leader) The goal of the Debugging VHDL Programs project (since
2001) is the development of a system for locating and possible correcting faults in VHDL programs. This project is based on the DDV project and shall extent it. This project is funded by the Austrian Science Fund (FWF).
JADE-X (Project leader)] This project deals with Debugging of Java programs (since
2002). JADE-X is based on the previous JADE project. Extensions and open problems will be tackled during JADE-X.
The project activities lead to a series of scientific publications and to experiences in object-oriented analysis and design, programming (Smalltalk and Java) and internet technology (HTML, XML, socket communication).
Teaching Experience My teaching experience comprises several courses (Compiler
Construction, Knowledge-based Systems, Qualitative Reasoning, Automatic Software Debugging, Foundations of Data and Knowledge-based Systems, Concepts of AI),
seminars (AI Applications, Software Agents, Qualitative Reasoning, Truth
Mainte-nance Systems, Intelligent User Interfaces), and the support of student projects
(“In-formatikpraktika”), diploma theses:
1. Thomas Pawlin Implementierung eines C- ¨Ubersetzers und Anwendung der Mod-ellbasierten Diagnose zum Software-Debugging von C-Programmen.
2. Michael Schaffler-Gl¨oßl Visualisierung von modellbasierten Diagnosesystemen. 3. Christian Piccardi AD L An Abstract Modeling Language for Diagnosis Systems. 4. Dominik Wieland Prognose lokale Ozonmaxima unter Verwendung neuronaler
Netze.
5. Christian Krajasits Langfristige Strompreisprognose mittels Neuraler Netze. 6. Markus Oberegelsbacher Modellbasierte Diagnose unter Verwendung
tempo-raler Modelle.
7. Martin Ilkerl Expertensysteme in der Fern ¨uberwachung.
8. Zeljko Krizek Java Implementierung einer Entwicklungsumgebung zur
Beschreibung von Modellen in der Modellbasierten Diagnose.
9. Wolfgang Mayer Modellbasierte Diagnose von Java-Programmen Entwurf und
Implementierung eines wertbasierten Modells.
10. Hans-Peter Petek System Analysis and Monitoring.
11. Martin Hutle Constraint Satisfaction Problems – Hyprid Decomposition and
Evaluation.
12. Bernhard Schmid Framework f ¨ur generische Suche in einem komplexen
Objekt-modell am Beispiel von See your Client.
13. Franz Bruckner Entwurf und Implementierung eines wertbasierten
Diagnose-Modells f¨ur VHDL-Programme.
14. Daniel K¨ob Fault Localization in VHDL Programs using Logical Models and
Artificial Intelligence Techniques.
and PHD thesis:
1. Dipl.Ing. Dominik Wieland Model-Based Debugging of Java Programs Using
List of lectures and seminars:
VO 2.0 + KU 1.0 Compilerbau (Compilers) [SS2002]
VO 2.0 + KU 1.0 Wissensverarbeitung (Expert and Knowledg-based Systems) [SS2002]
VO 1.0 Konzepte der AI (AI Concepts) together with Prof. Gottlob, Dorn, Slany, Stumptner, Baumgartner, and Veith. [SS2000, WS2000/2001, SS2001]
VO 2.0 Daten- und Wissensbasierte Systeme (Foundations of Data and
Knowledge-based Systems) [WS1999/2000, WS2000/2001]
VU 2.0 Ausgew¨ahlte Kapitel der AI 2
– Automatic and Model-based Software Debugging [SS2001]
VU 2.0 Ausgew¨ahlte Kapitel der AI 3
– Qualitative Reasoning [WS1998/1999]
VU 2.0 Ausgew¨ahlte Kapitel der AI 4
– Real World Modeling and Software Debugging [SS1997] – Automatic Software Debugging [SS1998]
VU 2.0 Ausgew¨ahlte Kapitel der AI 5
– Automatic Software Debugging [SS1999, SS2000]
SE 2.0 Seminar aus Informatik
– Qualitative Reasoning [SS1996] – Software Agents [SS1998]
– Intelligent User Interfaces [SS2000]
PS 2.0 Wissenschaftliches Arbeiten
– Design Automation [WS1994/1995]
– Truth Maintainance Systems [WS1995/1996] – Intelligent Agents I [SS1999]
– Artificial Intelligence [WS2001/2002]
PS 2.0 Grundlagen wissenschaftlichen Arbeitens
SE 2.0 Seminar aus AI
– AI-Anwendungen, Projekte und deren Grundlagen [WS1997/1998] – Software Agents [SS1998]
– Intelligent Agents II [SS1999]
– Intelligent User Interfaces II [SS2000]
Lecture Artificial Intelligence at the Zhongshan University, Guangzhou, China (Nov. 2002) in English.
Seminar on Model-based Debugging at the Jinan University, Guangzhou, China (Nov. 2002) in English.
Guest Editor for the European AI journal Ai Communications ( (Special Issue on
based Reasoning (1999) and Special Issue on Industrial Applications of Model-based Reasoning (2000, together with Markus Stumptner)). Guest Editor for the ¨OGAI Journal on Model-based Diagnosis (Vol. 21, No 3,2002).
Reviewer for several conferences ( DEXA-96, European Conference on Artificial Intelligence (ECAI-96, ECAI-98, ECAI-00, ECAI-02), JELIA-96, International Con-ference on Knowledge Representation and Reasoning (KR-97, KR-00), SOFSEM-98, Workshop on Non-Monotonic Reasoning 1998, International Workshop on Qualita-tive Reasoning (QR-99 (PC Member), QR-00 (PC Member)), International Joint Con-ference on Artificial Intelligence (IJCAI-95, IJCAI-99, IJCAI-01), Prestigious Ap-plications of Intelligent Systems (PAIS-2000, PAIS-2002 (PC Member for both con-ferences)), International Workshop on Principles of Diagnosis (DX-00 (PC Member), DX-01 (PC Member), DX-02 (PC Chair), Abstract State Machines Conference (ASM-00), Design Automation Conference (DAC-00, DAC-01), German Conference on Ar-tificial Intelligence (KI-2001), Seventh International Conference on Principles and Practice of Constraint Programming (CP-2001), Australien Joint Conference on Ar-tificial Intelligence (AI-01)) and journals (ArAr-tificial Intelligence, Applied Intelligence Journal, Ai Communications, Computer-Aided Civil and Infrastructure Engineering Journal, Discrete Applied Mathematics, Information Processing Letters, International Journal of System Science, Applied Artificial Intelligence).
Program Chair Program Co-Chair of the 13th International Workshop on Principles of Diagnosis (DX-02), Member of the organising committee of the ECAI Workshop on Binding Environmental Science and Artificial Intelligence (BESAI-2002)
Member of Program Committee for several workshops (Qualitative Reasoning Workshops QR-99, QR-00, QR-01, and QR-02, Workshop on Principles of Diagno-sis DX-00, DX-01, and DX-02(Chair), ECAI Workshop on Binding Environmental Science and Artificial Intelligence (BESAI-2002) (Organising Committee)) and Con-ferences (International Joint Conference on Artificial Intelligence (IJCAI-03), Presti-gious Applications of Intelligent Systems (PAIS-00, PAIS-02), Mexican International Conference on Artificial Intelligence (MICAI-2002), International Conference on Ar-tificial Intelligence: Methodology, Systems, Applications (AIMSA-2002)).
Visiting Professorship
Invited visiting Professor at the Jinan University, Guangzhou, China, Nov. 2002 Invited visiting Professor at the Zhongshan University, Guangzhou, China, 2003,2004.
Awards
Best paper award: “Using Multiple Models for Debugging VHDL Designs”
Pro-ceedings of the International Conference on Industrial and Engineering Appli-cations of Artificial Intelligence and Expertsystems (IEA/AIE-2001) [15].
KI-2001 one of the outstanding papers: “DiKe - A Model-based Diagnosis Ker-nel and its Application” Proceedings of the Joint German/Austrian Conference
on Artificial Intelligence (KI) [11].
Membership: ACM (Association of Computing Machinery), IEEE Computer So-ciety (Institute of Electrical and Electronics Engineers, Computer SoSo-ciety), ¨OGAI ( ¨Osterreichische Gesellschaft f¨ur Artificial Intelligence, Austrian Society for Artificial Intelligence, since May, 2001 Treasurer), AAAI (American Association for Artificial Intelligence), OCG (Austrian Computer Society).
Talks and Presentations
1. Design Diagnose von VHDL-Spezifikationen (DDV). Presentation of a study written during the DDV project. Siemens Austria EZE. Vienna. 1994.
2. Model-based Program Debugging and Repair. International Conference on In-dustrial and Engineering Applications of Artificial Intelligence and Expert Sys-tems (IEAAIE-96). Fukuoka Japan. 1996.
3. Model-Based Diagnosis of Hardware Description Languages. Computational Engineering in Systems Applications (CESA’96) IMACS Multiconference, In-vited Session on Model-Based Systems. Lille France. 1996.
4. DLZ Verk¨urzung bei der ASIC-Entwicklung. Presentation at the SIEMENS/PSE TOP Conference. Baden. Austria. 1995.
5. VHDLDIAG: Overview. Short presentation of the outcome of the DDV project. Siemens Austria. Vienna. 1996
6. Modellbasierte Diagnose von VHDL-Programmen. Presentation of the DDV project for the Siemens research department (Zentralabteilung Technik (ZT)). Siemens Germany. Munich. 1997
7. Knowledge Based Systems. Talk given for the department of Meteorologie und Physik / Universit¨at f¨ur Bodenkultur Wien. Vienna. 1998.
8. Model-based debugging of functional programs. Poster Presentation. Ninth International Workshop on Principles of Diagnosis (DX-98). Cape Cod USA. 1998.
9. MBD Research Activities at Vienna University of Technology. ECAI-98 Work-shop W5 ’Model-based systems and qualitative reasoning’. Brighton England. 1998.
10. Jade – Java Diagnosis Experiments – Status and Outlook. IJCAI–99 Workshop on Qualitative and Model Based Reasoning for Complex Systems and their Con-trol. Stockholm, Sweden. 1999.
11. Detecting and Locating Faults in Hardware Designs. AAAI 99 Workshop on Intelligent Software Engineering. Orlando, Florida. 1999.
12. Local Maximum Ozone Concentration Prediction Using Neural Networks. AAAI-99 Workshop on Environmental Decision Support Systems and Artificial Intelligence (W7). Orlando, Florida. 1999.
13. Debugging synthesizeable VHDL Programs. Tenth International Workshop on Principles of Diagnosis (DX-99). Loch Awe, Scotland. 1999
14. New Directions in Debugging Hardware Designs, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Cairo, Egypt. 1999.
15. Model-based Diagnosis – Model-based Debugging. Talk at the Masarik Univer-sit¨at. Brno, Czech Republic. 2000
16. Model-based Debugging of Hardware Designs. Talk at the Knowledge Systems Laboratory (KSL) Stanford University. California, USA. 2000.
17. Model-based Debugging of Hardware Designs. Talk at the Nasa Ames Research Center. California, USA. 2000.
18. Locating Bugs in Java Programs – First Results of the Java Diagnosis
Exper-iments (Jade) Project. International Conference on Industrial and Engineering
Applications of Artificial Intelligence and Expert Systems. New Orleans, USA. 2000
19. A Value-Based Diagnosis Model for Java Programs. Eleventh International Workshop on Principles of Diagnosis (DX-00). Morelia, Mexico. 2000.
20. AD2L- A Programming Language for Model-Based Systems (Preliminary
Re-port). Poster Presentation. Eleventh International Workshop on Principles of
Diagnosis (DX-00). Morelia, Mexico. 2000.
21. An environment and language for industrial use of model-based diagnosis. ECAI 2000 Workshop on Knowledge-Based Engineering. Berlin, Germany. 2000.
22. Deriving Qualitative Rules from Neural Networks in Environmental Science –
Preliminary Report. ECAI’2000 Workshop on Binding Environmental Science
and Artificial Intelligence (BESAI’2000). Berlin, Germany. 2000.
23. Modeling Java Programs for Diagnosis. European Conference on Artificial In-telligence (ECAI). Berlin, Germany. August 2000.
24. Analysing models for software debugging. Twelfth International Workshop on Principles of Diagnosis, Sansicario, Italy. 2001.
25. On the Relationship between Model-based Debugging and Program Mutation. Poster Presentation. Twelfth International Workshop on Principles of Diagnosis, Sansicario, Italy. 2001.
26. Automatic Software Debugging – A Model-based Approach. Habilitation lecture. Technische Universit¨at Wien. March 22., 2001.
27. Model-based Debugging. Technische Universit¨at Graz. Mai 8., 2001.
28. Using Multiple Models for Debugging VHDL Designs. International Confer-ence on Industrial and Engineering Applications of Artificial IntelligConfer-ence and Expertsystems, Budapest, Hungary, 2001.
29. DiKe – A Model-Based Diagnosis Kernel and its Application. Joint Ger-man/Austrian Conference on Artificial Intelligence (KI), Vienna, Austria, 2001.
30. Model-based Reasoning in Mathematical Tutoring Systems – Preliminary
Re-port. Model-Based Educational Systems and Qualitative Reasoning Workshop,
6
International Conference on Intelligent Tutoring Systems (ITS), San Sebas-tian, Spain, June 2002.
31. Combining hypertree, bicomp, and hinge decomposition. European Conference on Artificial Intelligence (ECAI), Lyon, France, July 2002.
32. Can AI help to improve debugging substantially? Debugging Experiences with
Value-Based Models. European Conference on Artificial Intelligence (ECAI),
Lyon, France, July 2002.
33. On the Relationship between Slicing and Model-based Debugging. The United Nations University, International Institute for Software Technology, Macau, Nov. 2002.
34. On the Relationship between Slicing and Model-based Debugging. Universit¨at Klagenfurt, Austria, Dec. 2002.
Publications
Academic Thesis
[1] Franz Wotawa. Model-Based Debugging. Professorial dissertation (Habilita-tionsschrift), Technische Universit¨at Wien, 2001.
[2] Franz Wotawa. Applying Model-Based Diagnosis to Software Debugging of
Concurrent and Sequential Imperative Programming Languages. PhD thesis,
Technische Universit¨at Wien, 1996.
[3] Franz Wotawa. Analyse und Algorithmen von fokusierten Assumption Based Truth Maintenance Systemen. Master’s thesis, Technische Universit¨at Wien, 1994.
Journals (refereed)
[1] Franz Wotawa. On the relationship between model-based debugging and pro-gram slicing. Artificial Intelligence, 135(1–2):125–143, 2002.
[2] Markus Stumptner, and Franz Wotawa. Diagnosing Tree-Structured Systems.
Artificial Intelligence, 127(1):1–29, 2001.1
[3] Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based di-agnosis of hardware designs. Artificial Intelligence, 111(2):3–39, July 1999. [4] Franz Wotawa. A Variant of Reiter’s Hitting-Set Algorithm. Information
Processing Letters, 79(1):45–51, 2001.
[5] Franz Wotawa. Debugging VHDL Designs using Model-Based Reasoning.
Artificial Intelligence in Engineering, 14(4):331–351, 2000.
[6] Bernhard Peischl and Franz Wotawa. Model-based Diagnosis Or Reasoning From First Principles. Accepted for publication in Intelligent Systems, IEEE. [7] Franz Wotawa. Accepted for publication in Applied Intelligence, Kluwer. [8] Franz Wotawa. Debugging Hardware Designs using a Value-Based Model.
Applied Intelligence, 16(1):71–92, Kluwer, 2002.
1Parts of this paper were published in preliminary form in the Proceedings of the International Joint
[9] Gerhard Fleischanderl and Thomas Havelka and Herwig Schreiner and Markus Stumptner and Franz Wotawa. DiKe–A Model-Based Diagnosis Ker-nel and its Application. Ai Communications, 15(1):17–30, 2002.
[10] Franz Wotawa and Gerhard Wotawa. Deriving Qualitative Rules from Neu-ral Networks – A Case Study for Ozone Forecasting. Ai Communications, 14(1):23–33, 2001.
[11] Markus Stumptner and Franz Wotawa. A Survey of Intelligent Debugging. Ai
Communications, 11(1):35–51, 1998.
[12] Markus Stumptner and Franz Wotawa. Using Model-Based Reasoning for Locating Faults in VHDL Designs. K ¨unstliche Intelligenz, 14(4):62–67, 2000. [13] Dominik Wieland and Franz Wotawa and Gerhard Wotawa. From Neural Networks to Qualitative Models in Environmental Engineering.
Computer-Aided Civil and Infrastructure Engineering, Blackwell Publishers, 17:104–
118, 2002.
[14] Franz Wotawa. Guest–Editorial Special Issue on Model-Based Reasoning. Ai
Communications, 12(1/2):1–3, 1999.
[15] Markus Stumptner and Franz Wotawa. Guest-Editorial Special Issue on Indus-trial Applications of Model-based Reasoning. Ai Communications, 13(2):59– 60, 2000.
Conferences and Workshops (refereed)
[1] Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Stockholm, Sweden, August 1999.
[2] Markus Stumptner and Franz Wotawa. Diagnosing Tree-Structured Systems. In Proceedings of the International Joint Conference on Artificial Intelligence
(IJCAI), Nagoya, 1997.
[3] Georg Gottlob, Martin Hutle, and Franz Wotawa. Combining hypertree, bi-comp, and hinge decomposition. In Proceedings of the European Conference
on Artificial Intelligence (ECAI), Lyon, France, July 2002.
[4] Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. In Proceedings of the European Conference on
[5] Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Towards and Integrated Debugging Environment. In Proceedings of the
Euro-pean Conference on Artificial Intelligence (ECAI), Lyon, France, July 2002.
[6] Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Modeling Java Pro-grams for Diagnosis. In Proceedings of the European Conference on Artificial
Intelligence (ECAI), Berlin, Germany, August 2000.
[7] Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based di-agnosis of hardware designs. In Proceedings of the European Conference on
Artifical Intelligence (ECAI), Budapest, August 1996.
[8] Markus Stumptner and Franz Wotawa. Model-based reconfiguration. In
Pro-ceedings Artificial Intelligence in Design, Lisbon, Portugal, 1998.
[9] Markus Stumptner and Franz Wotawa. A model-based tool for finding faults in hardware designs. In Proceedings Artificial Intelligence in Design, Stanford, 1996.
[10] Pilar G´omez and Angela Nebot and Francisco Mugica and Franz Wotawa. Fuzzy Inductive Reasoning for the Prediction of Maximum Ozone Concen-tration. In Proceedings 13
European Simulation Symposium (ESS-2001) – Special Session on Modelling and Simulation in Ecology, Biology, and Envi-ronment, Marseilles, France, Oct. 18-20, 2001 .
[11] Gerhard Fleischanderl and Herwig Schreiner and Thomas Havelka and Markus Stumptner and Franz Wotawa. DiKe – A Model-Based Diagnosis Kernel and its Application”. In Proceedings of the Joint German/Austrian
Conference on Artificial Intelligence (KI), Vienna, Austria, 2001.
[12] Markus Stumptner and Dominik Wieland and Franz Wotawa. Comparing Two Models for Software Debugging. In Proceedings of the Joint German/Austrian
Conference on Artificial Intelligence (KI), Vienna, Austria, 2001.
[13] Daniel K¨ob and Bernhard Peischl and Franz Wotawa. Debugging VHDL De-signs Using Temporal Process Instances. To appear in Proceedings of the
International Conference on Industrial and Engineering Applications of Arti-ficial Intelligence and Expertsystems, 2003. Springer-Verlag.
[14] Franz Wotawa and Markus Stumptner and Wolfgang Mayer. Model-Based Debugging or How to Diagnose Programs Automatically. In Proceedings of
the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expertsystems, Australia, 2002. Springer-Verlag.
[15] Franz Wotawa. Using Multiple Models for Debugging VHDL Designs. In
Applications of Artificial Intelligence and Expertsystems, Budapest, Hungary,
2001. Springer-Verlag.
[16] Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Locating bugs in Java programs – first results of the Java Diagnosis Experiments (Jade) project. In Proceedings of the International Conference on Industrial and Engineering
Applications of Artificial Intelligence and Expert Systems, New Orleans, 2000.
Springer-Verlag.
[17] Franz Wotawa. New Directions in Debugging Hardware Designs. In
Pro-ceedings of the International Conference on Industrial and Engineering Ap-plications of Artificial Intelligence and Expert Systems, Cairo, Egypt, 1999.
Springer-Verlag.
[18] Christian Piccardi and Franz Wotawa. Towards a framework for mobile di-agnosis agents. In Proceedings of the International Conference on Industrial
and Engineering Applications of Artificial Intelligence and Expert Systems,
Cairo, Egypt, 1999. Springer-Verlag.
[19] Markus Stumptner and Franz Wotawa. Model-based program debugging and repair. In Proceedings of the International Conference on Industrial and
En-gineering Applications of Artificial Intelligence and Expert Systems, Fukuoka,
1996.
[20] Markus Stumptner and Franz Wotawa. Model-based diagnosis of hardware description languages. In Proc. Computational Engineering in Systems
Ap-plications CESA’96 IMACS Multiconference, Invited Session on Model-Based Systems, Lille, 1996.
[21] Cristinel Mateis and Markus Stumptner and Dominik Wieland and Franz Wotawa. JADE - AI Support for Debugging Java Programs. In
Proceed-ings of the 12th International Conference on Tools with Artificial Intelligence,
Canada, Nov. 2000. Also appears in [39].
[22] Wolfgang Mayer and Markus Stumptner and Dominik Wieland and Franz Wotawa. Observations and Results Gained from the Jade Project. In
Pro-ceedings of the Thirteenth International Workshop on Principles of Diagnosis,
Semmering, Austria, 2002.
[23] Markus Stumptner and Dominik Wieland and Franz Wotawa. Analysing mod-els for software debugging. In Proceedings of the Twelfth International
Work-shop on Principles of Diagnosis, Sansicario, Italy, 2001.
[24] Franz Wotawa On the Relationship between Model-based Debugging and Program Mutation. In Proceedings of the Twelfth International Workshop on
[25] Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Value-Based Di-agnosis Model for Java Programs. In Proceedings on the Eleventh
Interna-tional Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.
[26] Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - A Step towards an Intelligent Debugger. In Proceedings on the
Eleventh International Workshop on Principles of Diagnosis, Morelia,
Mex-ico, June 2000.
[27] Thomas Havelka, Markus Stumptner, and Franz Wotawa. AD2L- A gramming Language for Model-Based Systems (Preliminary Report). In
Pro-ceedings on the Eleventh International Workshop on Principles of Diagnosis,
Morelia, Mexico, June 2000.
[28] Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Debugging of Java Programs using a Model-Based Approach. In Proceedings on the Tenth
Inter-national Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999.
[29] Franz Wotawa. Debugging synthesizeable VHDL Programs. In Proceedings
on the Tenth International Workshop on Principles of Diagnosis, Loch Awe,
Scotland, 1999.
[30] Markus Stumptner und Franz Wotawa. Reconfiguration using model-based diagnosis. In Proceedings on the Tenth International Workshop on Principles
of Diagnosis, Loch Awe, Scotland, 1999. Newer version of [8].
[31] Markus Stumptner and Franz Wotawa. VHDLDIAG+:Value-level Diagnosis of VHDL Programs. In Proceedings on the Ninth International Workshop on
Principles of Diagnosis, Cape Cod, May 1998.
[32] Markus Stumptner and Franz Wotawa. Model-based debugging of functional programs. In Proceedings on the Ninth International Workshop on Principles
of Diagnosis, Cape Cod, May 1998.
[33] Markus Stumptner and Franz Wotawa. Diagnosing Tree-Structured Systems. In Proceedings on the Eighth International Workshop on Principles of
Diag-nosis, Le Mont-Saint-Michel, France, 1997.
[34] Markus Stumptner and Franz Wotawa. A model-based approach to software debugging. In Proceedings on the Seventh International Workshop on
Princi-ples of Diagnosis, Val Morin, Canada, 1996.
[35] Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based di-agnosis of hardware designs. In Proceedings on the Sixth International
[36] Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Model-Based Debugging of Java Programs. In Proceedings of the Fourth
International Workshop on Automatic Debugging (AADEBUG-00), Munich,
Germany, 2000.
[37] Franz Wotawa and Gerhard Wotawa. Deriving Qualitative Rules from Neu-ral Networks in Environmental Science – Preliminary Report. In ECAI’2000
Workshop on Binding Environmental Science and Artificial Intelligence (BE-SAI’2000), Berlin, Germany, 2000.
[38] Dominik Wieland and Franz Wotawa. Local Maximum Ozone Concentration Prediction Using Neural Networks. In AAAI-99 Workshop on Environmental
Decision Support Systems and Artificial Intelligence (W7), Orlando, Florida,
1999.
[39] Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - AI Support for Debugging Java Programs. In Proceedings of the 3rd
Workshop on Intelligent Software Engineering, Limerick, Ireland, June 2000.
[40] Markus Stumptner and Franz Wotawa. Detecting and locating faults in hard-ware designs. In AAAI 99 Workshop on Intelligent Softhard-ware Engineering, Orlando, Florida, 1999.
[41] Markus Stumptner and Franz Wotawa. Jade – java diagnosis experiments – status and outlook. In IJCAI ’99 Workshop on Qualitative and Model Based
Reasoning for Complex Systems and their Control, Stockholm, Sweden, 1999.
[42] Martin Ilkerl, Markus Stumptner, and Franz Wotawa. Model-based diagnosis and manufacturing control. In ECAI 2000 Workshop on Knowledge-Based
Engineering, Berlin, Germany, 2000.
[43] Gerhard Fleischanderl, Herwig Schreiner, Thomas Havelka, Markus Stumptner, and Franz Wotawa. An environment and language for industrial use of model-based diagnosis. In ECAI 2000 Workshop on Knowledge-Based
Engineering, Berlin, Germany, 2000.
[44] Markus Stumptner and Franz Wotawa. Mbd research activities at vienna uni-versity of technology. In Proceedings of the ECAI-98 Workshop W5
’Model-based systems and qualitative reasoning’, Brighton, UK, August 1998.
[45] Walther Neuper and Franz Wotawa. Model-based Reasoning in Mathemat-ical Tutoring Systems – Preliminary Report. In Proc. of the Model-Based
Educational Systems and Qualitative Reasoning Workshop, 6
International Conference on Intelligent Tutoring Systems (ITS), pp 53–62, San Sebastian,
Other publications
[1] Roderick Bloem and Franz Wotawa. Verification and Fault Localiza-tion in VHDL Programs. Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes, 8(2):30–33, 2002.
[2] Franz Wotawa and Markus Stumptner Modellbasierte Diagnose – ¨Uberblick und technische Anwendung OVE Verbandszeitschrift Elektrotechnik und¨ Informationstechnik (e&i) Heft 7/8, 2001.
[3] Bernhard Peischl and Franz Wotawa. Fixing Faults in VHDL-RTL Pro-grams: An Application of Model-based Diagnosis to Digital Circuit De-signs. ¨OGAI Journal, 21(4):6-17, 2002.
[4] Wolfgang Mayer and Markus Stumptner and Franz Wotawa. Can AI help to improve debugging substantially? Automatic Debugging and the Jade Project. ¨OGAI Journal, 21(4):18-22, 2002.
[5] Franz Wotawa. Guest–Editorial Special Issue on Model-Based Diagnosis.
¨
OGAI Journal, 21(3):2–4, 2002.
[6] Franz Wotawa. Der ¨OGAI Preis. Journal of the Austrian Society for
Artifi-cial Intelligence, 20(3), 2001.
[7] Thomas Albrecht, Gerhard Friedrich, Stefan Rohringer, Markus Stumptner, and Franz Wotawa. The Design Diagnosis of VHDL Specifications Project (DDV) - Fault Localization in Hardware Designs. Journal of the Austrian
Society for Artificial Intelligence, 18(1), 1999.
[8] Georg Gottlob, Nicola Leone, Wolfgang Slany, Hemlut Veith, and Franz Wotawa. Research at DBAI on Logic and Complexity. Journal of the
Aus-trian Society for Artificial Intelligence, 1998.
[9] Franz Wotawa. ECAI–98 Konferenzbericht. Journal of the Austrian Society
for Artificial Intelligence, 1998.
[10] Franz Wotawa. Report - The 13th International Workshop on Principles of Diagnosis (DX-02). CologNet Newsletter, 2002.
Unpublished Papers and Technical Reports
[1] Markus Stumptner and Franz Wotawa. A Graph Representation for Di-agnosing the Execution of Functional Programs. Technical Report DBAI-MBD-TR-95-02, Technische Universit¨at Wien, January 1995.
[2] Markus Stumptner and Franz Wotawa. Modeling VHDL Programs for Di-agnosis with Linear Computational Complexity. Technical Report DBAI-MBD-TR-95-03, Technische Universit¨at Wien, June 1995.
[3] Thomas Albrecht, Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. WFCOMP and VHDLDIAG: Two Tools for Utilizing the Hard-ware Design Cycle. Technical Report DBAI-MBD-TR-95-04, Technische Universit¨at Wien, June 1995.
[4] Markus Stumptner and Franz Wotawa. A Model-Based Approach to Soft-ware Debugging. Technical Report DBAI-MBD-TR-96-05, Technische Universit¨at Wien, June 1996.
[5] Markus Stumptner and Franz Wotawa. Model-Based Program Debugging and Repair. Technical Report DBAI-MBD-TR-96-06, Technische Univer-sit¨at Wien, April 1996.
[6] Markus Stumptner and Franz Wotawa. Model-Based Diagnosis of Hard-ware Description Languages. Technical Report DBAI-MBD-TR-96-07, Technische Universit¨at Wien, May 1996.
[7] Markus Stumptner and Franz Wotawa. Two Algorithms for Model-Based Diagnosis. Technical Report DBAI-MBD-TR-96-08, Technische Univer-sit¨at Wien, September 1996.
[8] Thomas Havelka and Franz Wotawa. Design-Diagnose von VHDL-Spezifikationen (DDV) - Machbarkeitsstudie, 1994.
[9] Thomas Havelka and Franz Wotawa. Design-Diagnose von VHDL-Spezifikationen (DDV) - DDV Tools User Handbook and Reference, 1996.
[10] Markus Stumptner and Franz Wotawa. DDV-Tools: Erweiterungen und
Verbesserungen von WFCOMP und VHDLDIAG, 1996.
[11] Franz Wotawa. Dike: Interface GUI – Diagnosekern. Technical Report DIKE-1997-01-V1.3, Technische Universit¨at Wien, September 1997. [12] Franz Wotawa. Dike: Diagnosekern Verwendung und Implementierung.
Technical Report DIKE-1997-02-V1.2, Technische Universit¨at Wien, September 1997.
[13] Franz Wotawa. Dike: DTalk – Eine Sprache f¨ur Diagnosesysteme. Tech-nical Report DIKE-1997-03-V1.3, Technische Universit¨at Wien, Septem-ber 1997.
[14] Markus Stumptner and Franz Wotawa. Dike: Modelle. Technical Report DIKE-1997-04-V1.1, Technische Universit¨at Wien, October 1997.
[15] Franz Wotawa. Dike: Diagnosekern – Dynamische ¨anderung von Diag-nosesystemen. Technical Report DIKE-1997-05-V1.0, Technische Uni-versit¨at Wien, October 1997.
[16] Franz Wotawa. New Directions in Debugging Hardware Designs. Tech-nical Report DBAI-TR-99-24, Technische Universit¨at Wien, 1999. [17] Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Functional
Dependency Model for Java Programs. Technical Report DBAI-TR-99, Technische Universit¨at Wien, Institut f¨ur Informationssysteme 184/2, Paniglgasse 16, A-1040 Wien, Austria, 1999.
[18] Georg Gottlob, Martin Hutle, Stefan Katzenbeisser, and Franz Wotawa. Computing Solutions to Heterogenous Constraint Networks Using Hyper-tree Decompositions. Technical Report DBAI-TR-01-DC01, Technische Universit¨at Wien, Institut f¨ur Informationssysteme 184/2, Favoritenstraße 9-11, A-1040 Wien, Austria, 2001.
