[ Back to Franz Wotawa's main page | To the Institute for Software Technology ]

Franz Wotawa's Publications

This list is also available as BiBTeX file.

[1]
Jörg Weber and Franz Wotawa. Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot. Applied Intelligence, 2008. Accepted for publication. Available online, DOI: 10.1007/s10489-008-0143-x.

[2]
Jörg Weber and Franz Wotawa. Dependent failures in consistency-based diagnosis. In 18th European Conference on Artificial Intelligence (ECAI 2008), pages 801 -- 802, Patras, Greece, 2008.

[3]
Jörg Weber and Franz Wotawa. Diagnosing dependent failures in the context of consistency-based diagnosis. In 19th International Workshop on Principles of Diagnosis (DX-08), Leura, Australia, 2008.

[4]
Gerald Steinbauer and Franz Wotawa. Enhancing plan execution in dynamic environments unsing model-based reasoning. In First International Conference on Intelligent Robots and Applications, volume 5314 of Lecture Notes in Computer Science, pages 510-519, Wuhan,China, 2008. Springer.

[5]
Mihai Nica, Jörg Weber, and Franz Wotawa. How to debug sequential code by means of constraint representation. In 19th International Workshop on Principles of Diagnosis (DX-08), Leura, Australia, 2008.

[6]
Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. Automated learning of communication model for robot control software. In MBS 2008 - Workshop on Model-Based Systems, 18th European Conference on Artificial Intelligence (ECAI), Patras, Greece, 2008. .

[7]
Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. Automated learning of diagnosis models for component-oriented robot control software. In Proceedings of the Nineteens International Workshop on Principles of Diagnosis, pages 257-282, Blue Mountains, Australia, 2008.

[8]
Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. Towards automated online diagnosis of robot navigation software. In Proceedings of International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR 2008), Venice, Italy, 2008.

[9]
Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, and Franz Wotawa. A teleo-reactive architecture for fast, reactive and robust control of mobile robots. In 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, volume 5027 of Lecture Notes in Artificial Intelligence, Wroclaw, Poland, 2008. Springer. .

[10]
Jörg Weber and Franz Wotawa. Diagnosing dependent failures in the hardware and software of mobile autonomous robots. In 20th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2007), 2007.

[11]
Jörg Weber and Franz Wotawa. Diagnosing dependent failures - an extension of consistency-based diagnosis. In 18th International Workshop on Principles of Diagnosis (DX-07), Nashville, USA, 2007.

[12]
Jörg Weber and Franz Wotawa. AI-planning in a mobile autonomous robot with degraded software capabilities. In International Workshop on Moving Planning and Scheduling Systems into the Real World, Providence, Rhode Island, USA, 2007. At ICAPS'07.

[13]
Gerald Steinbauer and Franz Wotawa. Combining quantitative and qualitative models with active observations for better diagnoses of autonomous mobile robots. In Proceedings of the 5th Workshop on Intelligent Solutions in Embedded Systems, Madrid, Spain, 2007. .

[14]
Mathias Brandstötter Michael Hofbaur, Gerald Steinbauer, and Franz Wotawa. Model-based fault diagnosis and reconfiguration of robot drives. In Proceedings of the 2007 IEEE International Conference on Intelligent Robots and Systems, San Diego, CA, USA, 2007.

[15]
Michael Hofbaur, Gerald Steinbauer, and Franz Wotawa. Model-based reasoning for fault-tolerant robot hardware and software. In Proceedings of the 16th International Workshop on Robotics in Alpe-Adria-Danube Region, Ljubljana, Slovenia, 2007. .

[16]
Michael Hofbaur, Johannes Köb, Gerald Steinbauer, and Franz Wotawa. Improving robustness of mobile robots using model-based reasoning. Journal of Intelligent and Robotic Systems, 48(1):37-54, 2007.

[17]
Gordon Fraser and Franz Wotawa. Test-case prioritization with model-checkers. In Proceedings of the IASTED International Conference on Software Engineering, Innsbruck, 2007. .

[18]
Gordon Fraser and Franz Wotawa. Redundancy based test-suite reduction. In Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE 2007), volume 4422 of Lecture Notes in Computer Science, pages 291-305. Springer, 2007. .

[19]
Gordon Fraser and Franz Wotawa. Using formal methods for ensuring quality requirements of systems. ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik (e&i), 124(1):13-16, 2007.

[20]
Gordon Fraser and Franz Wotawa. Using LTL rewriting to improve the performance of model-checker based test-case generation. In Proceedings of the Third Workshop on Advances in Model Based Testing (A-MOST 2007), pages 64-74, New York, NY, USA, 2007. ACM Press.

[21]
Gordon Fraser and Franz Wotawa. Mutant Minimization for Model-Checker Based Test-Case Generation. In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007, pages 161-168. IEEE Computer Society, 2007.

[22]
Gordon Fraser and Franz Wotawa. Test-case generation and coverage analysis for nondeterministic systems using model-checkers. In Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007), page 45, Los Alamitos, CA, USA, 2007. IEEE Computer Society.

[23]
Gordon Fraser and Franz Wotawa. Creating test-cases incrementally with model-checkers. In Proceedings of the Workshop on Model-Based Testing (MOTES 2007) held in conjunction with the 37th Annual Congress of the Gesellschaft fuer Informatik, pages 415-420, 2007.

[24]
Gordon Fraser and Franz Wotawa. Improving model-checkers for software testing. In Proceedings of the International Conference on Software Quality (QSIC'07), pages 25-31. IEEE Computer Society, 2007.

[25]
Gordon Fraser and Franz Wotawa. Nondeterministic testing with linear model-checker counterexamples. In Proceedings of the International Conference on Software Quality (QSIC'07), pages 107-116. IEEE Computer Society, 2007.

[26]
Gordon Fraser and Franz Wotawa. Using Model-Checkers to Generate and Analyze Property Relevant Test-Cases. Software Quality Journal, 2007. To appear.

[27]
Gordon Fraser, Gerald Steinbauer, Jörg Weber, and Franz Wotawa. Architectural Design of Multi-Agent Systems: Technologies and Techniques, chapter Robust Intelligent Control of Mobile Robots. Idea Group Reference, 2007.

[28]
Gordon Fraser, Bernhard Aichernig, and Franz Wotawa. Handling model changes: Regression testing and test-suite update with model-checkers. Electronic Notes in Theoretical Computer Science, 190:33-46, 2007. .

[29]
B. Angerer, A. Griesmayer, and F. Wotawa. Maintaining temporal consistency in a multimedia knowledge base. In Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa '07), Hyderabad, India, January 2007.

[30]
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.

[31]
F. Wotawa and B. Angerer. Retaining consistency in temporal knowledge bases. In Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, volume 4031 of Lecture Notes in Computer Science, pages 600-609, Annecy, France, June 2006. Springer.

[32]
Jörg Weber and Franz Wotawa. Using AI techniques for fault localization in component-oriented software systems. In Proceedings of the 5th Mexican International Conference on Artificial Intelligence (MICAI 2006), Apizaco, Mexico, November 2006.

[33]
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.

[34]
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.

[35]
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.

[36]
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.

[37]
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.

[38]
Daniel Köb and Franz Wotawa. Fundamentals of debugging using a resolution calculus. In Luciano Baresi and Reiko Heckel, editors, Fundamental Approaches to Software Engineering (FASE'06), volume 3922 of Lecture Notes in Computer Science, pages 278-292, Vienna, Austria, March 2006. Springer.

[39]
Michael Hofbaur, Johannes Köb, Gerald Steinbauer, and Franz Wotawa. Improving robustness of mobile robots using model-based reasoning. In Proceedings of the ECAI-06 Workshop on Model-Based Systems, Riva del Garda, Italy, 2006. .

[40]
Michael Hofbaur, Johannes Köb, Gerald Steinbauer, and Franz Wotawa. Improving robustness of mobile robots using model-based reasoning. In 2006 International Symposium on Model-Based Reasoning on Engineering and Robotic Systems, Guangzhou, China, 2006. .

[41]
Gordon Fraser and Franz Wotawa. Property relevant software testing with model-checkers. SIGSOFT Softw. Eng. Notes, 31(6):1-10, 2006. .

[42]
Gordon Fraser and Franz Wotawa. Using model-checkers for mutation-based test-case generation, coverage analysis and specification analysis. In Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), pages 16-22, Los Alamitos, CA, USA, 2006. IEEE Computer Society. .

[43]
Gordon Fraser and Franz Wotawa. Using and improving requirement properties for mutation based test-case generation. 22. WI-MAW Rundbrief, Jahrgang 12(2):5-23, 2006. .

[44]
Franz Wotawa and Safeeullah Soomro. Using abstract dependencies for debugging. In Proceedings of the 19th International Workshop on Qualitative Reasoning (QR-05), pages 23-28, May 2005.

[45]
Franz Wotawa and Safeeullah Soomro. Fault localization based on abstract dependencies. In 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pages 357-359, Bari, Italy, 2005. Springer.

[46]
Gerald Steinbauer and Franz Wotawa. Detecting and locating faults in the control software of autonomous mobile robots. In 16th International Workshop on Principles of Diagnosis, pages 13-18, Monterey, USA, 2005. .

[47]
Gerald Steinbauer and Franz Wotawa. Detecting and locating faults in the control software of autonomous mobile robots. In Proceedings of the 19th International Joint Conference on AI (IJCAI-05), pages 1742-1743, Edinburgh, UK, 2005. .

[48]
Gerald Steinbauer and Franz Wotawa. Challenges in runtime detecting and locating faults in autonomous mobile robots. In Working Notes of the IJCAI-05 Workshop on Model-Based Systems, Edinburgh, Scotland, 2005. .

[49]
Gerald Steinbauer, Jörg Weber, and Franz Wotawa. From the real-world to its qualitative representation -- practical lessons learned. In 18th International Workshop on Qualitative Reasoning, pages 186-191, Graz, 2005. .

[50]
Gerald Steinbauer, Martin Mörth, and Franz Wotawa. Real-time diagnosis and repair of faults of robot control software. In Proceedings of the International RoboCup Symposium., Osaka, Japan, 2005. .

[51]
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.

[52]
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.

[53]
Daniel Köb and Franz Wotawa. A comparison of fault explanation and localization. In 16th International Workshop on Principles of Diagnosis, pages 157-162, Monterey, California, USA, June 2005. Poster. (PDF, 114656 bytes).

[54]
Daniel Köb, Rong Chen, and Franz Wotawa. Abstract model refinement for model-based program debugging. In 16th International Workshop on Principles of Diagnosis, pages 7-12, Monterey, California, USA, June 2005. (PDF, 112519 bytes).

[55]
Michael Hofbaur and Franz Wotawa. A diagnosis-based causal analysis method for concurrent hyprid automata. In Proceedings of the 16th International Workshop on Principles of Diagnosis (DX-05), pages 81-88, Monterey, California, USA, June 2005.

[56]
A. Griesmayer, R. Bloem, M.Hautzendorfer, and F. Wotawa. Formal verification of control software: A case study. In 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems., pages 783-788, Bari, Italy, 2005. Springer. (PostScript, 77141 bytes).

[57]
Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. Autonome mobile roboter - anwendung von ai zur intelligenten kontrolle. ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik (e&i), (7/8), 2005.

[58]
Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. Plan execution in dynamic environments. In 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems., pages 208-217, Bari, Italy, 2005. Springer. .

[59]
Rong Chen, Daniel Köb, and Franz Wotawa. Exploring object relations for automated fault localization. In 16th International Workshop on Principles of Diagnosis, pages 49-54, Monterey, California, USA, June 2005. (PDF, 128148 bytes).

[60]
Bert Bredeweg, Michael Neuman, Tim Nuttle, Chris Price, Iain Russel, Janet Thomas, and Franz Wotawa. Vision for the future of education systems based on qualitative reasoning. In Proceedings of the 19th International Workshop on Qualitative Reasoning (QR-05), pages 38-46, May 2005.

[61]
Franz Wotawa. Debugging vhdl designs: Introducing multiple models and first empirical results. Applied Intelligence, 21:159-172, 2004.

[62]
Franz Wotawa. Towards a unified modeling language for diagnosis. In MONET Workshop on Model-based Systems (at ECAI 2004), Valencia, Spain, 2004.

[63]
Franz Wotawa. Using model-based reasoning for generating explanations from environmental models. In Research on Computing Science e-Environment:Progress and Challenge, volume 11, pages 341-354, San Jose, Costa Rica, October 2004.

[64]
Gerald Steinbauer and Franz Wotawa. Mobile robots in exhibitions. games and education. do they really help? In 1st CLAWAR/Euron Workshop on Robots in Entertainment, Leisure and Hobby, pages 117-118, Vienna, 2004. .

[65]
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.

[66]
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.

[67]
Daniel Köb and Franz Wotawa. Introducing alias information into model-based debugging. In 15th International Workshop on Principles of Diagnosis, Carcassonne, France, June 2004. (PDF, 133804 bytes).

[68]
Daniel Köb and Franz Wotawa. Introducing alias information into model-based debugging. In 16th European Conference on Artificial Intelligence (ECAI), Valencia, Spain, August 2004. (PDF, 127973 bytes).

[69]
Gordon Fraser and Franz Wotawa. Cooperative planning and plan execution in partially observable dynamic domains. In Proceedings RoboCup 2004 Symposium, Lisboa, Portugal, 2004.

[70]
Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. Application of qualitative reasoning to robotic soccer. In 18th International Workshop on Qualitative Reasoning., Illinois, USA, August 2004. .

[71]
Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. A modular architecture for a multi-purpose mobile robot. In Innovations in Applied Artificial Intelligence, 17th Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE, volume 3029 of Lecture Notes in Artificial Intelligence, Ottawa, Canada, 2004. Springer. .

[72]
Rong Chen and Franz Wotawa. Exploiting alias information to fault localization for java programs. In International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA2004), Gold Coast, Australia, July 2004. (PDF, 163921 bytes).

[73]
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).

[74]
Rong Chen, Daniel Köb, and Franz Wotawa. Exploiting static abstraction of data structures for debugging. In MONET Workshop on Model-Based Systems at ECAI 2004, Valencia, Spain, August 2004. (PDF, 153777 bytes).

[75]
Rong Chen, Daniel Köb, and Franz Wotawa. Improving fault localization of programs by using labeled dependencies. In Proceedings of th 27th German Conference on Artificial Intelligence (KI2004), Ulm, Germany, September 2004. (PDF, 225741 bytes).

[76]
Rong Chen, Daniel Köb, and Franz Wotawa. Diagnosing java programs with static abstractions of data structures. In International Conference on Intelligent Information Processing (IIP2004), Beijing, China, October 2004. (PDF, 144523 bytes).

[77]
Markus Stumptner and Franz Wotawa. Coupling csp decomposition methods and diagnosis algorithms for tree-structured systems. In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Acapulco, Mexico, August 2003.

[78]
Markus Stumptner and Franz Wotawa. Coupling csp decomposition methods and diagnosis algorithms for tree-structured systems. In Proceedings of the Fourteenth International Workshop on Principles of Diagnosis, Washington D.C.,U.S.A., 2003.

[79]
Markus Stumptner and Franz Wotawa. Coupling CSP decomposition methods and diagnosis algorithms for tree-structured systems. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), pages 388-393, Acapulco, Mexico, 2003.

[80]
Gerald Steinbauer, Arndt Mühlenfeld, Roland Koholka, Robert Röher, Harald Hartl, and Franz Wotawa. Modulbasiertes hardware-design für autonome mobile mehrzweck-roboter. In Informationstagung Mikroelektronik 2003, Vienna, Austria, 2003. ÖVE. .

[81]
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.

[82]
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.

[83]
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).

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

[85]
Wolfgang Mayer, Markus Stumptner, and Franz Wotawa. Debugging program exceptions. In Proceedings of the Fourteenth International Workshop on Principles of Diagnosis, Washington D.C.,U.S.A., 2003.

[86]
Ulises Cortes, Miquel Sanchez-Marre, and Franz Wotawa. Guest-editorial special issue on binding environmental sciences and artificial intelligence. Ai Communications, 16(4), 2003.

[87]
Rong Chen and Franz Wotawa. Debugging with an enriched dependency-based model or how to distinguish between aliasing and value assignment. In Proceedings of the International Workshop on Qualitative Reasoning (QR-2003), Brasilia, Brazil, 2003. (PDF, 216942 bytes).

[88]
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.

[89]
Franz Wotawa. Debugging Hardware Designs using a Value-Based Model. Applied Intelligence, 16(1):71-92, 2002.

[90]
Franz Wotawa. On the Relationship between Model-Based Debugging and Program Slicing. Artificial Intelligence, 135(1-2):124-143, 2002.

[91]
Dominik Wieland, Franz Wotawa, and Gerhard Wotawa. From Neural Networks to Qualitative Models in Environmental Engineering. Computer-Aided Civil and Infrastructure Engineering, 17(2):104-118, 2002.

[92]
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.

[93]
Walther Neuper and Franz Wotawa. Model-based Reasoning in Mathematical Tutoring Systems -- Preliminary Report. In Proc. of the Model-Based Educational Systems and Qualitative Reasoning Workshop, 6th International Conference on Intelligent Tutoring Systems (ITS), pages 53-62, San Sebastian, Spain, jun 2002.

[94]
Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Observations and results gained from the jade project. In Proceedings of the Thirteenth International Workshop on Principles of Diagnosis, Semmering, Austria, April 2002.

[95]
Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Can ai help to improve debugging substantially? debugging experiences with value-based models. In Proceedings of the European Conference on Artificial Intelligence (ECAI), pages 417-421, Lyon, France, 2002. IOS Press.

[96]
Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Towards an integrated debugging environment. In Proceedings of the European Conference on Artificial Intelligence (ECAI), pages 422-426, Lyon, France, 2002. IOS Press.

[97]
Wolfgang Mayer, Markus Stumptner, and Franz Wotawa. Model-based Debugging or How to Diagnose Programs Automatically. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer LNAI, Cairns, Australia, June 2002.

[98]
Georg Gottlob, Martin Hutle, and Franz Wotawa. Combining hypertree, bicomp, and hinge decomposition. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Lyon, France, jul 2002.

[99]
Roderick Bloem and Franz Wotawa. Verification and fault localization for vhdl programs. Journal of the Telematics Engineering Society (TIV), 2:30-33, 2002. .

[100]
Franz Wotawa and Gerhard Wotawa. Deriving Qualitative Rules from Neural Networks -- A Case Study for Ozone Forecasting. AI Communications, 14(1), 2001.

[101]
Franz Wotawa and Markus Stumptner. Modellbasierte Diagnose -- überblick und technische Anwendung. ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik (e&i), (7/8), 2001.

[102]
Franz Wotawa. A Variant of Reiter's Hitting-Set Algorithm. Information Processing Letters, 79(1):45-51, 2001.

[103]
Franz Wotawa. On the Relationship between Model-based Debugging and Programm Mutation. In Proceedings of the Twelfth International Workshop on Principles of Diagnosis, Sansicario, Italy, 2001.

[104]
Franz Wotawa. Using Multiple Models for Debugging VHDL Designs. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Budapest, Hungary, 2001. LNCS Springer Verlag.

[105]
Franz Wotawa. Der öGAI Preis. Journal of the Austrian Society for Artificial Intelligence, 20(3), 2001.

[106]
Markus Stumptner and Franz Wotawa. Diagnosing tree-structured systems. Artificial Intelligence, 127(1):1-29, 2001.

[107]
Markus Stumptner, Dominik Wieland, and Franz Wotawa. Analysing Models for Software Debugging. In Proceedings of the Twelfth International Workshop on Principles of Diagnosis, Sansicario, Italy, 2001.

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

[109]
Pilar Gómez, Angela Nebot, Francisco Mugica, and Franz Wotawa. Fuzzy inductive reasoning for the prediction of maximum ozone concentration. In Proceedings 13th European Simulation Symposium (ESS-2001) -- Special Session on Modelling and Simulation in Ecology, Biology, and Environment, Marseilles, France, October 2001.

[110]
Gerhard Fleischanderl, Herwig Schreiner, Thomas Havelka, Markus Stumptner, and Franz Wotawa. DiKe -- A Model-Based Diagnosis Kernel and its Application. In Proceedings of the Joint German/Austrian Conference on Artificial Intelligence (KI), Vienna, Austria, 2001.

[111]
Franz Wotawa and Gerhard Wotawa. Deriving Qualitative Rules from Neural Networks in Environmental Science -- Preliminary Report. In ECAI'2000 Workshop on Binding Environmental Science and Artificial Intelligence (BESAI'2000), Berlin, Germany, 2000.

[112]
Franz Wotawa. Debugging VHDL Designs using Model-Based Reasoning. Artificial Intelligence in Engineering, 14(4):331-351, 2000.

[113]
Markus Stumptner and Franz Wotawa. Using Model-Based Reasoning for Locating Faults in VHDL Designs. Künstliche Intelligenz, 14(4):62-67, 2000.

[114]
Markus Stumptner and Franz Wotawa. Guest--Editorial Special Issue on Industrial Applications of Model-based Reasoning. AI Communications, 13(2), 2000.

[115]
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Locating bugs in Java programs -- first results of the Java Diagnosis Experiments (Jade) project. In Proceedings IEA/AIE, New Orleans, 2000. Springer-Verlag.

[116]
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Value-Based Diagnosis Model for Java Programs. In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.

[117]
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Modeling Java Programs for Diagnosis. In Proceedings of the European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000.

[118]
Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - A Step towards an Intelligent Debugger. In Proc. DX'00 Workshop, Morelia, Mexico, June 2000.

[119]
Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. AI Support for Debugging Java Programs. In 3rd Workshop on Intelligent SW Eng., Limerick, Ireland, June 2000.

[120]
Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - AI Support for Debugging Java Programs. In Proceedings of the 12th International Conference on Tools with Artificial Intelligence, Canada, November 2000. Also appears in  [119].

[121]
Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Model-Based Debugging of Java Programs. In Proceedings of the 4th International Workshop on Automated and Algorithmic Debugging, AADEBUG '00, Munich, Germany, 2000.

[122]
Martin Ilkerl, Markus Stumptner, and Franz Wotawa. Model-based diagnosis and manufacturing control. In ECAI 2000 Workshop on Knowledge-Based Engineering, Berlin, 2000.

[123]
Martin Ilkerl, Markus Stumptner, and Franz Wotawa. Model-based Diagnosis in Manufacturing. In ECAI'2000 Workshop on Knowledge-Based Systems for Model-Based Engineering, Berlin, Germany, 2000.

[124]
Thomas Havelka, Markus Stumptner, and Franz Wotawa. AD2L- A Programming Language for Model-Based Systems (Preliminary Report). In Proceedings of the Eleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June 2000.

[125]
Gerhard Fleischanderl, Herwig Schreiner, Thomas Havelka, Markus Stumptner, and Franz Wotawa. An environment and language for industrial use of model-based diagnosis. In ECAI 2000 Workshop on Knowledge-Based Engineering, Berlin, 2000.

[126]
Gerhard Fleischanderl, Herwig Schreiner, Markus Stumptner, and Franz Wotawa. An Environment and Language for Industrial Use of Model-based Diagnosis. In ECAI'2000 Workshop on Knowledge-Based Systems for Model-Based Engineering, Berlin, Germany, 2000.

[127]
Franz Wotawa. New Directions in Debugging Hardware Designs. Technical Report DBAI-TR-99-24, Technische Universität Wien, 1999.

[128]
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, 1999. Springer, Lecture Notes in Artificial Intelligence 462 (LNAI 462).

[129]
Franz Wotawa. Debugging synthesizeable VHDL Programs. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, 1999.

[130]
Franz Wotawa. Guest--Editorial Special Issue on Model-Based Reasoning. AI Communications, 12(1/2), 1999.

[131]
Dominik Wieland and Franz Wotawa. Local Maximum Ozone Concentration Prediction Using Neural Networks. In AAAI-99 Workshop on Environmental Decision Support Systems and Artificial Intelligence (W7), 1999.

[132]
Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In Proceedings 16th International Joint Conf. on Artificial Intelligence, pages 1074-1079, Stockholm, Sweden, August 1999.

[133]
Markus Stumptner and Franz Wotawa. Detecting and locating faults in hardware designs. In AAAI 99 Workshop on Intelligent Software Engineering, Orlando, Florida, 1999. .

[134]
Markus Stumptner and Franz Wotawa. Jade -- java diagnosis experiments -- status and outlook. In IJCAI '99 Workshop on Qualitative and Model Based Reasoning for Complex Systems and their Control, Stockholm, Sweden, 1999.

[135]
Christian Piccardi and Franz Wotawa. Towards a framework for mobile diagnosis agents. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1999.

[136]
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Functional Dependency Model for Java Programs. Technical Report DBAI-TR-99/xx, Technische Universität Wien, Institut für Informationssysteme 184/2, Paniglgasse 16, A-1040 Wien, Austria, 1999.

[137]
Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Debugging of Java programs using a model-based approach. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999.

[138]
Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Artificial Intelligence, 111(2):3-39, July 1999.

[139]
Markus Stumptner und Franz Wotawa. Reconfiguration using model-based diagnosis. In Proceedings of the Tenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999. Newer version of  [141].

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

[141]
Markus Stumptner and Franz Wotawa. Model-based reconfiguration. In Proceedings Artificial Intelligence in Design, Lisbon, Portugal, 1998.

[142]
Markus Stumptner and Franz Wotawa. VHDLDIAG+:Value-level Diagnosis of VHDL Programs. Technical Report DBAI-MBD-TR-98-01, Technische Universität Wien, 1998.

[143]
Markus Stumptner and Franz Wotawa. VHDLDIAG+:Value-level Diagnosis of VHDL Programs. In Proceedings of the Ninth International Workshop on Principles of Diagnosis, Cape Cod, May 1998.

[144]
Markus Stumptner and Franz Wotawa. Model-based debugging of functional programs. In Proceedings of the Ninth International Workshop on Principles of Diagnosis, Cape Cod, May 1998.

[145]
Markus Stumptner and Franz Wotawa. A Survey of Intelligent Debugging. AI Communications, 11(1), 1998.

[146]
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, August 1998.

[147]
Georg Gottlob, Nicola Leone, Wolfgang Slany, Helmut Veith, and Franz Wotawa. Research at DBAI on logic and complexity. Journal of the Austrian Society for Artificial Intelligence, 1998.

[148]
Markus Stumptner and Franz Wotawa. Diagnosing Tree-Structured Systems. In Proceedings 15th International Joint Conf. on Artificial Intelligence, Nagoya, Japan, 1997.

[149]
Markus Stumptner and Franz Wotawa. Diagnosing tree-structured systems. In Proceedings of the Eighth International Workshop on Principles of Diagnosis, Le Mont-Saint-Michel, France, 1997. Also appeared in IJCAI-97.

[150]
Franz Wotawa. Applying Model-Based Diagnosis to Software Debugging of Concurrent and Sequential Imperative Programming Languages. PhD thesis, Technische Universität Wien, 1996.

[151]
Markus Stumptner and Franz Wotawa. A model-based approach to software debugging. Technical Report DBAI-MBD-TR-96-05, Technische Universität Wien, June 1996.

[152]
Markus Stumptner and Franz Wotawa. Model-based program debugging and repair. Technical Report DBAI-MBD-TR-96-06, Technische Universität Wien, April 1996.

[153]
Markus Stumptner and Franz Wotawa. Model-based diagnosis of hardware description languages. Technical Report DBAI-MBD-TR-96-07, Technische Universität Wien, May 1996.

[154]
Markus Stumptner and Franz Wotawa. A model-based tool for finding faults in hardware designs. In Proceedings Artificial Intelligence in Design, Stanford, 1996.

[155]
Markus Stumptner and Franz Wotawa. Model-based program debugging and repair. In Proceedings IEA/AIE, Fukuoka, 1996.

[156]
Markus Stumptner and Franz Wotawa. Model-based diagnosis of hardware description languages. In Proc. CESA'96 IMACS Multiconf., Lille, 1996.

[157]
Markus Stumptner and Franz Wotawa. A model-based approach to software debugging. In Proceedings of the Seventh International Workshop on Principles of Diagnosis, Val Morin, Canada, 1996.

[158]
Markus Stumptner and Franz Wotawa. Two algorithms for model-based diagnosis. Technical Report DBAI-MBD-TR-96-08, Technische Universität Wien, September 1996.

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

[160]
Markus Stumptner and Franz Wotawa. A graph representation for diagnosing the execution of functional programs. Technical Report DBAI-MBD-TR-95-02, Technische Universität Wien, January 1995.

[161]
Markus Stumptner and Franz Wotawa. Modeling VHDL Programs for Diagnosis with Linear Computational Complexity. Technical Report DBAI-MBD-TR-95-03, Technische Universität Wien, June 1995.

[162]
Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Technical Report DBAI-MBD-TR-95-01, Technische Universität Wien, January 1995.

[163]
Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. In Proc. DX'95 Workshop, Goslar, October 1995.

[164]
Thomas Albrecht, Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. WFCOMP and VHDLDIAG: Two Tools for Utilizing the Hardware Design Cycle. Technical Report DBAI-MBD-TR-95-04, Technische Universität Wien, June 1995.

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.