Publikationen pro Jahr
Publikationen pro Jahr
- 6 Ergebnisse
Suchergebnisse
-
2003
Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories
Peischl, B. & Wotawa, F., 2003, DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003. ., S. 175-180 (DX Woskshop Series).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Debugging VHDL Designs Using Temporal Process Instances
Peischl, B., Wotawa, F. & Köb, D., 2003, Developments in Artificial Intelligence. Chung, P. W. H., Hinde, C. & Ali, M. (Hrsg.). Berlin, Heidelberg: Springer, Band 2718. S. 402-415 (Lecture notes in computer science : Lecture Notes in Artificial Intelligence).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Model-Based Diagnosis or Reasoning from First Principles
Peischl, B. & Wotawa, F., 2003, in: IEEE Intelligent Systems. 18, 3;May/June, S. 32-37Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
-
Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach
Wotawa, F. & Peischl, B., 2003, Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG). ., S. 197-210Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs
Peischl, B. & Wotawa, F., 2003, Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs. ., Band 14. S. 181-186 (DX Workshop Series).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2001
Fixing Faults in VHDL-RTL Programs: An Application of Model-based Diagnosis to Digital Circuit Design
Peischl, B. & Wotawa, F., 2001, in: ÖGAI-Journal. 21, 4, S. 6-17Publikation: Beitrag in einer Fachzeitschrift › Artikel