DDV Project

PUBLICATIONS

The following papers have been published so far:
 

Markus Stumptner and Franz Wotawa, `Using Model-Based Reasoning for Locating Faults in VHDL Designs', to appear in Künstliche Intelligenz, (2000),[KI2000]

Markus Stumptner and Franz Wotawa, `Detecting and Locating Faults in Hardware Designs', in Proceedings of the AAAI-99 Workshop on Intelligent Software Engineering (W10), (1999),[ISE99]

Franz Wotawa, `Debugging synthesizeable VHDL Programs', in Proceedings of the International Workshop on Diagnosis (DX-99), (1999).[DX99c]

Gerhard Friedrich, Markus Stumptner and Franz Wotawa, `Model-Based Diagnosis of Hardware Designs', in Artificial Intelligence, Vol. 111, Num. 2, pp 3-39, July (1999). [AIJ99]

Franz Wotawa, `New Directions in Debugging Hardware Designs', in Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Kairo, (1999). [IEAAIE99b], A long version of this paper is available as technical report [DBAI-TR-99-24]

Thomas Albrecht, Gerhard Friedrich, Stefan Rohringer, Markus Stumptner and Franz Wotawa, `The Design Diagnosis of VHDL Specifications Project (DDV) - Fault Localization in Hardware Designs', in Journal of the Austrian Society for Artificial Intelligence , (1999).

Markus Stumptner and Franz Wotawa, `MBD Research Activities at Vienna University of Technology', in Proceedings of the ECAI-98 Workshop W5 `Model-based systems and qualitative reasoning', Brighton, UK, (1998). [ECAI98W5]

Markus Stumptner and Franz Wotawa, `VHDLDIAG+:Value-level Diagnosis of VHDL Programs', in Proceedings of the Ninth International Workshop on Principles of Diagnosis (DX-98) , Cape Cod, USA, (1998). [DX98-1]

Gerhard Friedrich, Markus Stumptner, and Franz Wotawa, `Model-based diagnosis of hardware designs', in Proceedings of the European Conference on Artificial Intelligence (ECAI-96), Budapest, (August 1996). [ECAI96]

Markus Stumptner and Franz Wotawa, `A model-based approach to software debugging', in Proceedings of the Seventh International Workshop on Principles of Diagnosis (DX-96), Val Morin, Canada, (1996). [DX96]

Markus Stumptner and Franz Wotawa, `A Model-based Tool for finding faults in hardware designs', in Proceedings Artificial Intelligence in Design, Stanford, USA, (1996). [AID96]

Franz Wotawa, `Applying Model-based Diagnosis to Software Debugging of Concurrent and Sequential Imperative Programming Languages', PhD Thesis , Technische Universität Wien, (1996). [PHDThesis]

Markus Stumptner and Franz Wotawa, `Model-based diagnosis of hardware description languages', in Proc. Computational Engineering in Systems Applications CESA'96 IMACS Multiconference, Invited Session on Model-Based Systems, Lille, (1996). [CESA96]

Markus Stumptner and Franz Wotawa, `Model-based program debugging and repair', in Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Fukuoka, (1996). [IEAAIE96]

Gerhard Friedrich, Markus Stumptner, and Franz Wotawa, `Model-based diagnosis of hardware designs', in Proceedings of the Sixth International Workshop on Principles of Diagnosis (DX-95), Goslar, Germany, (October 1995). [DX95]