JADE Logo

PUBLICATIONS & PRESENTATIONS

[Academic Theses] [Journals] [Conferences & Workshops] [Technical Reports] [Talks]
Academic Theses [Top] [Home]

Wolfgang Mayer
'Modellbasierte Diagnose von Java-Programmen, Entwurf und Implementierung eines wertbasierten Modells',
Master's thesis (Diplomarbeit), TU Wien, Institute of Information Systems, 2000.
[pdf] (4.5MB)

Dominik Wieland
'Model-Based Debugging of Java Programs Using Dependencies',
PhD Thesis, Technische Universität Wien, Institute of Information Systems, 2001.
[pdf] (3.2MB) [gzipped postscript] (685KB) 


Journals (refereed) [Top] [Home]

Markus Stumptner and Franz Wotawa
`Using Model-Based Reasoning for Locating Faults in VHDL Designs',
Künstliche Intelligenz, 2000.
[gzipped postscript] (310KB)

Cristinel Mateis
'Quantitative Disjunctive Logic Programming: Semantics and Computation',
In AI Communications (13/4), IOS Press, 2000.
[gzipped postscript] (133KB)

Markus Stumptner, and Franz Wotawa
'Diagnosing Tree-Structured Systems',
Artificial Intelligence 127(1):1-29, 2001.
[gzipped postscript] (133KB)

Franz Wotawa
'On the relationship between model-based debugging and program slicing',
Artificial Intelligence 135(1-2):125-143, 2002.
[gzipped postscript] (133KB)

Franz Wotawa
'Debugging Hardware Designs Using a Value-Based Model',
Applied Intelligence 16, 71-92, 2002


Conferences & Workshops (refereed) [Top] [Home]

Cristinel Mateis, Markus Stumptner and Franz Wotawa
`A Value-Based Diagnosis Model for Java Programs',
Eleventh International Workshop on Principles of Diagnosis (DX), Morelia, Mexico, (2000).
[gzipped postscript] (48KB)

Cristinel Mateis, Markus Stumptner, Dominik Wieland and Franz Wotawa.
`JADE - A Step towards an Intelligent Debugger',
Eleventh International Workshop on Principles of Diagnosis (DX), Morelia, Mexico, (2000).
[gzipped postscript] (72KB)

Cristinel Mateis and Markus Stumptner and Dominik Wieland and Franz Wotawa
`Model-Based Debugging of Java Programs',
Proceedings of the Fourth International Workshop on Automatic Debugging (AADEBUG-00), Munich, Germany, (2000).
[gzipped postscript] (102KB)

Cristinel Mateis, Markus Stumptner and Franz Wotawa
'Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiments (Jade) project',
Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, New Orleans, (2000)
[gzipped postscript] (49KB)

Cristinel Mateis, Markus Stumptner and Franz Wotawa
`Modeling Java Programs for Diagnosis',
14th European Conference on Artificial Intelligence, Berlin, Germany, (2000),
[gzipped postscript] (47KB)

Cristinel Mateis
'Extending Disjunctive Logic Programming by T-norms', 
Proceedings of the International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR), (1999)
[gzipped postscript] (62KB)

Cristinel Mateis, Markus Stumptner and Franz Wotawa
`Debugging of Java Programs using a Model-based Approach', 
Proceedings of the International Workshop on Diagnosis (DX-99), (1999).
[gzipped postscript] (53KB)

Christian Piccardi and Franz Wotawa
`Towards a Framework for Mobile Diagnosis Agents',
Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Kairo, (1999).
[gzipped postscript] (159KB)

Markus Stumptner, Dominik Wieland and Franz Wotawa
'Analysing models for software debugging',
Proceedings of the Twelfth International Workshop on Principles of Diagnosis, Sansicario, Italy, 2001.
[gzipped postscript] (55KB)

Markus Stumptner, Dominik Wieland and Franz Wotawa
'Comparing Two Models for Software Debugging',
Proceedings of the Joint German/Austrian Conference on Artificial Intelligence (KI), Vienna, Austria, 2001.
[gzipped postscript] (59KB)

Markus Stumptner and Franz Wotawa.
'Debugging Functional Programs',
Proceedings of the 16th International Joint Conf. on Artificial Intelligence (IJCAI 99), Stockholm, Sweden, August 1999.
[gzipped postscript] (53KB)

Markus Stumptner and Franz Wotawa
`Jade - Java Diagnosis Experiments Status and Outlook',
IJCAI-99 Workshop on Qualitative and Model-based Reasoning for Complex Systems and their Control, Stockholm, 1999.
[gzipped postscript] (46KB)

Franz Wotawa
'Using Multiple Models for Debugging VHDL Designs',
Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expertsystems, Budapest, Hungary, 2001. Springer-Verlag.
[gzipped postscript] (49KB)

Franz Wotawa
'On the Relationship between Model-based Debugging and Program Mutation',
Proceedings of the Twelfth International Workshop on Principles of Diagnosis, Sansicario, Italy, 2001.
[gzipped postscript] (54KB)


Technical Reports [Top] [Home]

Cristinel Mateis
'Jade - Java Test Cases',
Technical Report DBAI-TR, Technische Universität Wien, Institut für Informationssysteme 184/2, Favoritenstraße 9, A-1040 Wien, Austria, 1999.
[gzipped postscript] (75KB)

Cristinel Mateis
'Jade - Subsets of Java considered for Debugging',
Technical Report DBAI-TR, Technische Universität Wien, Institut für Informationssysteme 184/2, Favoritenstraße 9, A-1040 Wien, Austria, 1999.

Cristinel Mateis, Markus Stumptner, and Franz Wotawa
'A Functional Dependency Model for Java Programs',
Technical Report DBAI-TR, Technische Universität Wien, Institut für Informationssysteme 184/2, Favoritenstraße 9, A-1040 Wien, Austria, 1999.

Wolfgang Mayer
'Evaluation of Value-Based Models for Java Debugging',
Technical Report DBAI-TR, Technische Universität Wien, Institut für Informationssysteme 184/2, Favoritenstraße 9, A-1040 Wien, Austria, 1999.
[gzipped postscript] (57KB)

Wolfgang Mayer and Dominik Wieland.
'Assertions in model-based debugging',
Technical Report DBAI-TR, Technische Universität Wien, Institut für Informationssysteme 184/2, Favoritenstraße 9, A-1040 Wien, Austria, 1999.
[gzipped postscript] (24KB)


Talks [Top] [Home]

Cristinel Mateis
JADE - AI Support for Debugging Java Programs.
Proceedings of the Third International Workshop on Intelligent Software Engineering (WISE).
Limerick, Ireland, 2000.

Markus Stumptner
Model-based diagnosis of hardware designs.
University of South Australia, Adelaide, April 1999.

Markus Stumptner
Debugging of Java Programs Using A Model-Based Approach.
Proceedings of the 10th International Workshop on the Principles of Diagnosis (DX-99)
Loch Awe, Scotland, June 1999.

Markus Stumptner
Debugging Functional Programs.
16th International Joint Conference on Artificial Intelligence (IJCAI `99).
Stockholm, Sweden, July 1999.

Markus Stumptner
JADE - AI support for debugging Java programs.
2000 IEEE International Conference on Tools with AI.
Vancouver, Canada, November 2000.

Markus Stumptner
A value-based model for Java programs.
TU Helsinki, Finland, December 2000.

Markus Stumptner
JADE - AI support for debugging Java programs.
TU Munich, Germany, December 2000.

Markus Stumptner
Comparing Two Models for Software Debugging.
24th German - Joint German/Austrian Conference on Artificial Intelligence (KI'01).
Vienna, Austria, September 2001.

Dominik Wieland
Model-Based Debugging of Java Programs.
Fourth International Workshop on Automatic Debugging (AADEBUG-00).
Munich, Germany, 2000.

Franz Wotawa
Model-based debugging of functional programs. Poster Presentation.
Ninth International Workshop on Principles of Diagnosis (DX-98). 
Cape Cod, USA, 1998.

Franz Wotawa
MBD Research Activities at Vienna University of Technology.
ECAI-98 Workshop W5 'Model-based systems and qualitative reasoning'.
Brighton, England, 1998.

Franz Wotawa
Jade - Java Diagnosis Experiments - Status and Outlook.
IJCAI-99 Workshop on Qualitative and Model Based Reasoning for Complex Systems and their Control.
Stockholm, Sweden, 1999.

Franz Wotawa
Detecting and Locating Faults in Hardware Designs.
AAAI 99 Workshop on Intelligent Software Engineering.
Orlando, Florida, 1999.

Franz Wotawa
Debugging synthesizeable VHDL Programs.
Tenth International Workshop on Principles of Diagnosis (DX-99).
Loch Awe, Scotland, 1999

Franz Wotawa
New Directions in Debugging Hardware Designs.
International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems.
Cairo, Egypt, 1999.

Franz Wotawa
Model-based Diagnosis - Model-based Debugging.
Masarik University, Brno, Czech Republic, 2000

Franz Wotawa
Model-based Debugging of Hardware Designs.
Knowledge Systems Laboratory (KSL) Stanford University, California, USA, 2000.

Franz Wotawa
Model-based Debugging of Hardware Designs.
Nasa Ames Research Center, California, USA, 2000.

Franz Wotawa
Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiments (Jade) Project.
International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems.
New Orleans, USA, 2000

Franz Wotawa
A Value-Based Diagnosis Model for Java Programs.
Eleventh International Workshop on Principles of Diagnosis (DX-00).
Morelia, Mexico, 2000.

Franz Wotawa
AD2L- A Programming Language for Model-Based Systems (Preliminary Report). Poster Presentation.
Eleventh International Workshop on Principles of Diagnosis (DX-00).
Morelia, Mexico, 2000.

Franz Wotawa
An environment and language for industrial use of model-based diagnosis.
ECAI 2000 Workshop on Knowledge-Based Engineering.
Berlin, Germany, 2000.

Franz Wotawa
Modeling Java Programs for Diagnosis.
European Conference on Artificial Intelligence (ECAI).
Berlin, Germany, August 2000.

Franz Wotawa
Analysing models for software debugging.
Twelfth International Workshop on Principles of Diagnosis.
Sansicario, Italy, 2001.

Franz Wotawa
On the Relationship between Model-based Debugging and Program Mutation. Poster Presentation.
Twelfth International Workshop on Principles of Diagnosis.
Sansicario, Italy, 2001.

Franz Wotawa
Automatic Software Debugging - A Model-based Approach. Habilitation lecture.
Technical University Vienna, March 2001.

Franz Wotawa
Model-based Debugging.
Technical University Graz, May 2001. 

Franz Wotawa
Using Multiple Models for Debugging VHDL Designs.
International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expertsystems.
Budapest, Hungary, 2001. 

JADE HomeAbout JADEPeople involved in JadeJADE DemoJADE Testcases

Send comments and requests to the JADE Project Group
Last modification: 16.01.2002
(C) 1998-2002, Technische Universität Wien