[ Back to Bernhard Peischl's main page | To the Institute for Software Technology ]

Bernhard Peischl's Publications

This list is also available as BiBTeX file.

[1]
Franz Wotawa and Bernhard Peischl. Automated source level error localization in hardware designs. IEEE Design and Test of Computers, 23(1):8-19, January/February 2006.

[2]
Bernhard Peischl, Jörg Weber, and Franz Wotawa. Runtime fault detection and localization in component-oriented software systems. In Proceedings of the 17th International Workshop on Principles of Diagnosis (DX-06), DX Workshop Series, Peñaranda de Duero, Spain, June 2006.

[3]
Bernhard Peischl, Jörg Weber, and Franz Wotawa. Runtime fault detection and localization in component-oriented software systems. In MONET Workshop on Model-Based Systems at ECAI 2006, Riva del Garda, Italy, August 2006.

[4]
Bernhard Peischl, Jörg Weber, and Franz Wotawa. Runtime fault detection and localization in component-oriented software systems. In Proceedings of the 17th International Workshop on Principles of Diagnosis (DX-06), DX Workshop Series, Peñaranda de Duero, Spain, June 2006.

[5]
Bernhard Peischl, Jörg Weber, and Franz Wotawa. Runtime fault detection and localization in component-oriented software systems. In MONET Workshop on Model-Based Systems at ECAI 2006, Riva del Garda, Italy, August 2006.

[6]
Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa. Towards lightweihgt fault localization in procedural programs. In Proceedings of the 19th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE'06), Lecture Notes in Artificial Intelligence, pages 660-667, 2006.

[7]
Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa. Lightweight fault localization with abstract dependences. In International Conference on Engineering of Intelligent Systems (ICEIS'06), pages 300-306. IEEE Computer Society, April 2006.

[8]
Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa. Abstract dependence models in verification and debugging. In Balarmino Pulido Carlos Aloso Gonzalez, Teresa Escobet, editor, Proceedings of the 17th International Workshop on Principles of Diagnosis, DX Workshop Series, pages 203-210, July 2006.

[9]
Bernhard Peischl and Franz Wotawa. Error traces in model-based debugging of hardware description languages. In AADEBUG'05: Proceedings of the sixth international symposium on Automated analysis-driven debugging, pages 43-48, New York, NY, USA, 2005. ACM Press.

[10]
Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa. Lightweight debugging techniques. In Working Notes of the IJCAI-05 Workshop on Model-Based Systems, pages 53-58, Edinburgh, Scotland, 2005.

[11]
Bernhard Peischl and Franz Wotawa. Are error traces enough for automated fault localization in vhdl designs ? In Bernhard Rinner and Wilfried Elmenreich, editors, Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems (WISES'04), pages 49-60, 2004.

[12]
Bernhard Peischl and Franz Wotawa. Towards a model for automated fault localization in vhdl designs: Exploring counterexamples using a model-based diagnosis approach. In Proceedings of the 15th International Workshop on Principles of Diagnosis (DX-04), DX Workshop Series, pages 161-166, Carcassonne, France, June 2004.

[13]
Rong Chen, Daniel Köb, Bernhard Peischl, and Franz Wotawa. Static and dynamic analysis in automated debugging. In MONET Workshop on Model-Based Systems at ECAI 2004, pages 3-8, Valencia, Spain, August 2004. (PDF, 108875 bytes).

[14]
Bernhard Peischl and Franz Wotawa. Towards a framework for automated debugging: Abstracting the temporal behavior of vhdl-rtl programs. In Proceedings of the 14th International Workshop on Principles of Diagnosis (DX-03), DX Workshop Series, pages 181-186, Washington DC, USA, June 2003.

[15]
Bernhard Peischl and Franz Wotawa. Computing diagnosis efficiently: A fast theorem prover for propositional horn theories. In Proceedings of the 14th International Workshop on Principles of Diagnosis (DX-03), DX Workshop Series, pages 175-180, Washington DC, USA, June 2003.

[16]
Bernhard Peischl and Franz Wotawa. Modeling state in software debugging of vhdl-rtl designs - a model based diagnosis approach. In Michiel Ronsse, editor, Proceedings to the 5th International Workshop on Automated and Algorithmic Debugging (AADEBUG 2003), pages 197-210, Ghent, Belgium, September 2003. Computer Research Repository (CoRR).

[17]
Bernhard Peischl and Franz Wotawa. Model-based diagnosis or reasoning from first principles. IEEE Intelligent Systems, 18(3):32-37, May June 2003.

[18]
Daniel Köb Bernhard Peischl and Franz Wotawa. Debugging vhdl designs using temporal process instances. In Moonis Ali, editor, Proceedings of the 16th International Conference on Indusrial and Engineering Applications of Artificial Intelligence and Expert Systems ( IEA/AIE 2003), volume 2718 of Lecture Notes in Artificial Intelligence, pages 402-415, Loughbourough, UK, June 2003. Springer.

[19]
Bernhard Peischl and Franz Wotawa. Fixing faults in vhdl-rtl programs: An application of model-based diagnosis to digital circuit designs. Journal of the Austrian Society of Artificial Intelligence ("OGAI-Journal), 21(4):6-17, December 2002.

[20]
Bernhard Peischl. A formal specification and annealing of a network-hub in VDM++. Technical Report IST-TEC-01-03, Institute for Software Technology, TU Graz, Austria, October 2001. (PostScript).

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.