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. |