Curriculum Vitae

Franz Wotawa

Institute for Software TechnologyTechnische Universitat Graz

Inffeldgasse 16b/2, A-8010 Graz, AustriaPhone: (+43) - 316 - 873–5711

Fax: (+43) - 316 - 873–5706E-Mail: wotawa@ist.tugraz.at

WWW: http://www.ist.tugraz.at/wotawa

August, 2013

Franz Wotawa received a M.Sc. in Computer Science(1994) and a PhD in 1996 both from the Vienna University ofTechnology. He is currently professor of software engineer-ing at the Graz University of Technology and Dean of theComputer Science Faculty. Since the founding of the Insti-tute for Software Technology in 2003 to the year 2009 FranzWotawa had been the head of the institute. His research in-terests include model-based and qualitative reasoning, the-orem proving, mobile robots, verification and validation, andsoftware testing and debugging. Beside theoretical founda-tions he has always been interested in closing the gap be-tween research and practice. For this purposes he foundedSoftnet Austria in 2006, which is a non-profit organizationcarrying out applied research projects together with com-panies. During his career Franz Wotawa has written morethan 280 papers for journals, books, conferences, and work-shops. He supervised 64 master and 27 PhD students.Franz Wotawa has been member of a various number ofprogram committees and organized several workshops andspecial issues of journals. He is a member of the AcademiaEuropaea, the IEEE Computer Society, ACM, AAAI, the Aus-trian Computer Society (OCG), and the Austrian Society forArtificial Intelligence.

1

Personals

Name Franz WotawaTitle Univ. Professor Dipl.-Ing. Dr.techn.Born 16.12.1968 in Vienna, Austria

Nationality Austrian CitizenConfession Roman catholic

Family Status married (Michaela (maiden name: Forstner)), 3 Children(Franz Wolfgang, Marianne Sophie, Johannes Sebastian)

Parents Eveline (maiden name: Deutsch) and Franz Wotawa

Education

1975 - 79 Primary School, Wien Hernals/Halirschgasse

1979 - 83 Secondary School, Bundesrealgymnasium Wien Geblergasse

1983 - 88 Studying Communication Engineering and Electronic at the TechnologischesGewerbemuseum (TGM) Wien Brigittenau Hohere Technische Bundeslehr- und Ver-suchsanstalt

1988 -94 Studying Computer Science at the Technischen Universitat Wien with specializa-tion on Artificial Intelligence. Diploma Thesis ”Analyse und Algorithmen von fokusiertenAssumption Based Truth Maintenance Systemen”.

1994 - 96 Ph.D. (Dr.techn.) at the Technische Universitat Wien. Ph.D. Thesis: ”ApplyingModel-Based Diagnosis to Software Debugging of Concurrent and Sequential Impera-tive Programming Languages”

2001 Habiliation degree for Angewandte Informatik (Applied Computer Science) from theTechnischen Universitat Wien.

Work Experiences

1984 - 1988 Siemens Austria during summer vacation

1988 - 1993 IBM Austria during summer vacation and Application Programming at OMVAustria (MI-AI Department) with domain databases, information system design andimplementation.

1994 - 1995 Researcher at the Institut fur Informationssysteme, Abteilung Datenbanken undArtificial Intelligence (former Abteilung Datenbanken und Expertensysteme); mainlyinvolved in the DDV project sponsored by Siemens Austria with the aim of applyingmodel-based diagnosis to software debugging

1996-1997: Basic military service at the Austrian Defence Academy (Landesverteidigungs-akademie (LVAK) des osterreichischen Bundesheeres). My task was to write scientificstudies.

2

1.4.1995–22.3.2001 Assistant Professor (Universitatsassistent), Institut fur Informations-systeme, Abteilung fur Datenbanken und Artifical Intelligence, TU Wien.

11.6–18.6.2000 Research visit at the Knowledge Systems Laboratory, University Stanford.California, USA.

22.3.2001–2.12.2001 Associate Professor (Universitasdozent), Institut fur Informations-systeme, Abteilung fur Datenbanken und Artificial Intelligence, TU Wien.

Since 3.12.2001 Professor for Software Engineering at the Institut fur Informationsverar-beitung und Computergestutzte Neue Medien and since 2003 at the Institute for Soft-ware Technology, Technische Universitat Graz.

Since 2001 Treasurer of the Austrian Society for Artificial Intelligence (OGAI, www.oegai.at)

1.11 -30.11.2002 Visiting Professor Jinan University, Guangzhou, China.

2003-2009 Head of the Institute for Software Technology, Technische Universitat Graz. TheInstitute for Software Technology was founded in 2003.

2004-2006 Dean of studies (Studiendekan) for Computer Science, Technische UniversitatGraz and in the year 2007 Vice Dean of studies for Computer Science.

1.6 - 30.6.2005 Visiting Professor University of Girona, Girona, Spain.

Since 2006 Chairman of the non-profit organization Softnet Austria (www.soft-net.at), whichis an industrial competence network for software engineering in Austria.

2009-2010 Vice Dean of the Computer Science Faculty, Technische Universitat Graz

2010- Dean of the Computer Science Faculty, Technische Universitat Graz

Scientific Activities

Projects Project activities comprise problem analysis, design, implementation of proto-types and also leading and organizing projects and writing project proposals and applicationsfor the Austrian Science Fund (FWF), the FFG (Forschungsforderungsgesellschaft) and FIT-IT (Austrian Research Council) together with companies.

DDV (Project member) The “Design Diagnosis of VHDL Specifications (DDV)” project (1994-98) aimed at developing tools for helping hardware designers locating and fixing a bugin very large VHDL programs. VHDL is a hardware description language similar to ADA.The DDV project had been funded by Siemens Austria. Two tools had been developedduring the project. WFCOMP was used for detecting discrepancies between the outputof a program and a specified output. The second tool VHDLDIAG is for locating faultsin VHDL programs. Within the project duration, the problem had been analyzed and aprototype had been developed and validated.

DIKE (Project leader) The goal of the “ Diagnosis Kernel” (DIKE) project (1997) was to de-velop a diagnosis framework that can be used for industrial purposes. The frameworkcomprises a extendible model-based diagnosis engine and a language for describingmodels. The project had been funded by Siemens Austria.

FESTO During the FESTO project (1998-2000) a study for the FESTO company had been

3

written and the development for a diagnosis engine had been supported. The studycompares several AI techniques with respect to their use in diagnosis and maintenanceof technical systems.

MODIS (Project leader) The “Mobile Diagnosis (MODIS)” project (1998-1999) had beenfunded by the Hochschuljubilaumsstiftung der Stadt Wien and aimed at developinga prototype diagnostic system for mobile use. This comprises the improvements ofdiagnosis algorithms and the development of languages for communicating diagnosisknowledge. The diagnostic system was implemented in Java and had been tested us-ing a Personal Digital Assistant (PDAs) under Windows CE, a personal computer underWindows, and a workstations running under Solaris.

JADE (Project leader together with Markus Stumptner) The goal of the “Java Diagnosis Ex-periments (JADE)” project (from 1998 to 2001) was to develop a system for debuggingof Java programs. The project was a basic research project funded by the Austrian Sci-ence Fund. During the project different models of Java programs had been developedand tested using a program library. Although various improvements were still possiblethe first results indicated that model-based diagnosis provides a well founded basis fordebugging. Two PhD students had been funded within the project.

DAIMLERCHRYSLER This project (since 2001) funded by Daimler Chrysler Germanyaimed at improving the performance of constraint solver used for diagnosis and de-sign by using hyper-tree decomposition and optimized diagnosis algorithms.

DEV (Project leader) The goal of the Debugging VHDL Programs project (2001-2004) wasthe development of a system for locating and possible correcting faults in VHDL pro-grams. This project was based on the DDV project and extended the research resultssubstantially. This project was funded by the Austrian Science Fund (FWF). One Post-Doc was funded within DEV.

JADE-X (Project leader)] This project dealt with Debugging of Java programs (since 2002).JADE-X was based on the previous JADE project. Extensions and open problemswere tackled during JADE-X. One PhD student and one Post-Doc were funded withinJADE-X.

RoboCup (Scientific advisor) The objective of this project has been the development ofmobile robots for playing soccer within the RoboCup middle size league. The high-levelcontrol logic which includes a planning and plan execution engine has been developedat our department (Institute for Software Technology). The project started in 2001 andhas been funded by the TU Graz, the Styrian Government as well as a number ofcompanies.

FESTO-II The focus of this project (2004) was to prove the applicability of model-checkingtechniques for verification of control software at FESTO. The project duration was 3month and the project was funded within the FIT-IT “Embedded Systems” program.

VoIP (Project leader) The VoIP project dealt with improving the software quality for commer-cial products in the area of telecommunication industry. An important objective was toprovide support for analyzing software comprising parallel processes and tasks. Theproject was partially funded by the FFG and Kapsch CarrierCom and started 2005 witha duration of 2 years. One PhD student was funded within the project.

TE-DES (Project leader on behalf of the TU Graz) The TE-DES project’s objective was to

4

provide test cases for safety-critical distributed embedded systems to ensure safety-requirements for the IEC 65108 standard on safety integrity levels (SIL). The projectwas funded under the FIT-IT program and started 2005 for a duration of 2 years. Part-ners of TE-DES are: TU Vienna, Magna Steyr, and TTTech. One PhD student at TUGraz was funded within the project.

MoRDAMS (Project leader) The Model-Based Runtime Diagnosis for Autonomous Systems(MoRDAMS) project (2005-2007) dealt with the application of model-based diagnosisand re-configuration techniques for increasing the robustness of autonomous systemswhich comprise hardware and software components. During the project models ofthe hardware and software for runtime diagnosis and re-configuration were developed.Moreover, an empirical analysis using mobile and autonomous robots was carried out.The MoRDAMS project (P17963-N04) was funded by the Austrian Science Fund (FWF)for a duration of 2 years. One PhD and one Post-Doc were funded.

Mistral (Scientific advisor) The Mistral project (2005-2007) focused on the semantic integra-tion of multi-media data, i.e., audio, video and text. The project was carried out by theKnow Center, Hyperwave, SailLab, and a number of institutes at the TU Graz includingthe Institute for Software Technology. The IST was responsible for the high-level dataintegration part during the project. One PhD student was funded on side of the IST.

Discovery (Project member, International cooperation) The “Model-based error location inJava programs” which was funded by the Australian Research Council / DiscoveryProjects under project ID DP0560183 focused on error detection and location in Javaprograms and was headed by Prof. M. Stumptner, University of South Australia. Al-though, the main part of the project was carried out at Univ. South Australia there wasa strong collaboration in order to exchange knowledge. Partners are: M. Stumptner,Univ. Of South Australia, M. Schrefl, Johannes Keppler Univ. Linz, D.R. Corbett, Univ.of South Australia, and F. Wotawa, TU Graz.

SEPIAS (Project leader) The Self Properties in Autonomous Systems (SEPIAS) aimed onthe development process of mobile systems which comprises hardware and software.The goal was to provide tools and techniques for enabling mobile systems to react toenvironmental changes and internal faults in an intelligent way such that they can stillfulfill their tasks. The project was funded by the FFG under project line FIT-IT. Theproject started January 1st, 2006. Two persons were funded during the 2 years fundingperiod. The project was carried out together with Kapsch CarrierCom.

Softnet (Project leader projects P0, P1, P2; Head of the organization) Softnet Austria (firstproject duration: 2006-2010) is a private research association cooperating with busi-ness and university partners to conduct and promote applied research in software en-gineering. Softnet Austria deliberately operates as an intermediary between researchinstitutions and companies. The funded Softnet Austria network was targeted on qualityassurance and improvement, and at the development and deployment of novel tech-niques in software engineering. Besides of conducting applied research in next gener-ation software engineering, Softnet Austria provided an institutionalized access to Aus-tria’s software engineering scene. Softnet Austria was during the first funding periodan industrial competence network within the so called K-net program of the AustrianFederal Ministry of Economics and Labor in terms of private non-profit association.The competence center organized its research and innovation work in terms of work-ing groups under academic supervision. In turn, the working groups were assignedto the competence fields of engineering methodologies and models (SOFT-T&M), and

5

web engineering and user interfaces (SOFT-WEB).

Sofnet II (Project leader) Softnet II (2010-2013) was the successor project of Softnet aimingon bringing software testing into daily industrial practice. Moreover, a larger part wasalso devoted to applying Web 2.0 technology to software engineering.

MoDReMAS (Project leader) The Model-Based Diagnosis and Reconfiguration in MobileAutonomous Systems (MoDReMAS) project was the successor project of MoRDAMSfunded by the Austrian Science Fund (FWF) under contract P20199-N15. The focusof the project was on distributed diagnosis, repair and configuration of mobile systems.Dependent faults and HW/SW faults were of particular interest as well as developingrepair strategies in case of faults.

SIMOA (Project leader) The SImulation and configuration of MObile Networks for M2M Appli-cations (SIMOA) was funded by the FFG as part of the Bridge funding schema. SIMOAstarted in 2009 for a duration of 3 years. The main objective was to provide a simulatorand configurator for mobile networks in order to forecast problems in communicationover mobile networks in case of M2M applications. One subgoal was to compute adap-tions of the network both in structure and behavior, i.e., re-configuration of software, inorder to meet certain goals like timing guarantees for action executions over the mobilenetwork.

DIAMONDS (Taks leader ”active testing”) DIAMONDS was an ITEA 2 project, with the aimof applying automated testing techniques and risk analysis to the domain of securitytesting. Fraunhofer FOCUS in Berlin (Ina Schieferdecker) was the head of the project.The project was funded at the national level by the FFG as part of the Bridge projectMoBSeTIP.

MoBSeTIP (Steering committee member) The MOdel-Based SEcurity Testing In Practice(MoBSeTIP) project (2011-2014) is funded by the FFG. The goal is to provide model-based techniques for automated test case generation to the domain of security testing.Partners are Secure Business Austria and the Security Research SicherheitsforschungGmbH.

Audit4SOAs (Co-project leader) The Augmented Diagnosis and Testing for SOAs - Audit4 SOAs project (2011-2014) is funded by the Austrian Science Fund (FWF). The aimis to provide model-based techniques for testing and debugging of service-orientedarchitectures.

AMOR (Project leader) The Applied MOdel-based Reasoning (AMOR) project started inJanuary 2014 for a duration of 3 years. AMOR has been funded by the FFG EarlyBridge funding scheme. The AMOR project aims at bringing model-based reasoning(MBR) into industrial practice. For this purpose we are working together with UptimeEngineering Graz. The application area of AMOR is primarily wind turbines used forproviding electricity.

eDAS (Project member) Within the Holistic Energy Management for third and fourth gen-eration of EVs: eDAS = efficiency powered by smart Design meaningful Architectureconnected Systems (eDAS) project our main task is to provide a testing methodologyto be used for verification and validation purposes of 2nd level diagnostic support in thedomain of electric cars. The eDAS project is funded by the EU within FP7.

6

Since the beginnings of the Institute for Software Technology (IST) in the year 2003 thenumber of externally funded researchers has increased substantially. Currently the institutecomprises 30 researchers and 9 faculty positions as well as 4 people working in the adminis-tration. The following table summarizes Franz Wotawa’s projects that has been carried out atthe IST and its predecessor research group at the IICM since the December 2001. Projectswith no externally funded researcher are not included. The given costs are the roundedfunded costs.

Project Date Funding Researchers Costsorganization funded EURO

VoIP 1.1.2005-31.12.2006 FFG 1 150.000,-Te-DES 1.3.2005-28.2.2007 FIT-IT 1 122,000.-Mistral 1.2.2005-31.12.2006 FIT-IT 1 91,000.-JADE-X 1.12.2002-2005 FWF 2 236,000.-DEV 22.10.2001-31.8.2004 FWF 1 94,000.-MoRDAMS 1.7.2005-30.11.2007 FWF 2 176,000.-SEPIAS 1.1.2006-31.12.2007 FIT-IT 2 293,000.-SOFTNET P0,P1,P2 2007-2010 K-NET 5 1,739,000.-MoDreMAS 2007-2010 FWF 2 263.000,-SIMOA 2009-2012 FFG 1 278,000.-AUDIT4SOAS 2011-2014 FWF 2 183,000.-MoBSeTIP 2011-2014 FFG 1 220,000.-SOFTNET II 2010-2013 FFG 2.5 405,000.-AMOR 2014-2016 FFG 1 282,000.-eDAS 2013-2016 EU FP7 1 421,000.-Sum 25.5 4,953,000.-

Teaching Experience My teaching experience comprises several courses (Software Main-tenance, Software Paradigms, Compiler Construction, Logic and Logic Programming,Knowledge-based Systems, Qualitative Reasoning, Automatic Software Debugging, Foun-dations of Data and Knowledge-based Systems, Concepts of AI), seminars (AI Applications,Software Agents, Qualitative Reasoning, Truth Maintenance Systems, Intelligent User Inter-faces), and the support of student projects (“Informatikpraktika”), diploma theses and PhDtheses.

Supervised diploma theses

1. Thomas Pawlin Implementierung eines C-Ubersetzers und Anwendung der Modell-basierten Diagnose zum Software-Debugging von C-Programmen.

2. Michael Schaffler-Gloßl Visualisierung von modellbasierten Diagnosesystemen.

3. Christian Piccardi AD2L An Abstract Modeling Language for Diagnosis Systems.

4. Dominik Wieland Prognose lokale Ozonmaxima unter Verwendung neuronaler Netze.

5. Christian Krajasits Langfristige Strompreisprognose mittels Neuraler Netze.

6. Markus Oberegelsbacher Modellbasierte Diagnose unter Verwendung temporalerModelle.

7. Martin Ilkerl Expertensysteme in der Fernuberwachung.

8. Zeljko Krizek Java Implementierung einer Entwicklungsumgebung zur Beschreibung

7

von Modellen in der Modellbasierten Diagnose.

9. Wolfgang Mayer Modellbasierte Diagnose von Java-Programmen Entwurf und Imple-mentierung eines wertbasierten Modells.

10. Hans-Peter Petek System Analysis and Monitoring.

11. Martin Hutle Constraint Satisfaction Problems – Hyprid Decomposition and Evaluation.

12. Bernhard Schmid Framework fur generische Suche in einem komplexen Objektmodellam Beispiel von See your Client.

13. Franz Bruckner Entwurf und Implementierung eines wertbasierten Diagnose-Modellsfur VHDL-Programme.

14. Daniel Kob Fault Localization in VHDL Programs using Logical Models and ArtificialIntelligence Techniques.

15. Matthias Goldgruber Algebraische Simplifikation mittels Rewriting in ISAC

16. Thomas Furthmayr Methodische Aufwandschatzung in der Softwareentwicklung

17. Stefan Simon Staber Minimierung von Testfallen und Isolation der Ursache-WirkungKette in VHDL Programmen

18. Georg Weissenbacher Model Checking von C Programmen durch Abstraktion und Ver-feinerung

19. Christian Josef Kargl A Sugar Translator

20. Andreas Griesmayer Architecture and Knowledge Representation of the Web-basedMath-Learning System ISAC.

21. Arndt Muhlenfeld A Goalie for RoboCup

22. Gernot Woeber Analyse, Design und Implementierung einer Bibliotheksanwendung.Entwicklung der Datenbankschicht - Objekte versus Tabellen

23. Andreas Leitner Strategien zum automatischen Testen von Eiffel Programmen

24. Gordon Fraser AI-Planning System for Robotic Soccer

25. Jorg Weber Evaluation and Refinement of an AI-Planning System for Robotic Soccer

26. Willibald Krenn Continous Optimization in a CIL Just-In-Time Compiler for AMD64

27. Martin Weiglhofer Eine ultraschall/radiofrequenz Beacon basierte Selbst-lokalisierungsmethode fur mobile autonome Roboter

28. Raimund Hasler JavaCSSystem - Ein Framework fur Constraint Satisfaction Problems

29. Stefan Galler Navigation eines autonomen mobilen Roboters in einem industriellenUmfeld

30. Stephan Gspandl KickOffTUG - eine KI-Lehr- und Forschungsplattform

31. Michael Reip Multiagentensystem KickOffTUG

32. Karin Greimel Offene Implikation - Eine neue Relation fur LTL Synthese

33. Birgit Hofer Design und Entwicklung eines Prototyps von einem Smart Test Monkey fur

8

das Testen von graphischen Benutzeroberflachen

34. Monika Schubert Entscheidungsfindung in einem Multi-Agenten System Planen versusLernen

35. Mehmet Ali Irmak Integration von JML, Programm Slicing und MBD als Debugger-Plugin fur Eclipse

36. Daniel Muschick Unuberwachtes Lernen von Annotation auf XML-Baumen unter Ver-wendung von Namensverzeichnissen und Conditional Random Fields fur XML

37. Seema Jehan JSDiagnosis: Dynamisches Programm Slicing mit Hitting-Set Berech-nung

38. Elisabeth Jobstl Automatisierung der Testfallgenerierung aus Transistionssystemenmittels symbolischer Ausfuhrung und SAT-Solving

39. Andreas Hafellner Automatische Testfallerstellung unter Verwendung Model-BasedTesting

40. Monika Mandl Anwendung von UML zur automatischen Codegenerierung im automo-tiven Bereich

41. Christof Rath Selbstlokalisierung eines zweibeinigen Roboters in der RoboCup Stan-dard Platform League Domane

42. Edwin Taferner Entwicklung einer generischen Verifikationsplattform fur integrierteSchaltungen

43. Christoph Zehentner Planning4ObjectCreation - An AI Planning System for Test DataGeneration

44. Sabine Zarl Spectrum-based Debugging by means of Java Bytecode Manipulation

45. Florian Christoph Jobstl Umsetzung serviceorientierter Architekur fur Anlagenmonitor-ing

46. Tobias Honisch Slowness as a feature extraction principle for Reinforcement Learning

47. Manual Riedl Spectrum Based Diagnosis

48. Thomas Quaritsch Test Data Generation using Static Call Sequence Analysis and De-sign by Contractł Specifications

49. Daniel Detassis Combining relevant Slicing with Constraint Solving for Debugging

50. Martin Schmeisser Mutationsbasierte Fehlerkorrektur auf Basis von objektorientiertenSprachen

51. Gunther Schrottner Domain Engineering einer Service-Organisation

52. Mathias Winder Automatisierung von Regressionstests auf Basis von Benutzungsmod-ellen

53. Mate Wolfram An Integral Mobile Robot Platform for Research and Experiments in theField of Intelligent Autonomous Systems

54. Johannes Maurer Outdoor Localization and Navigation for Mobile Robots

55. Daniel Sebauer Berechtigungsverifizierung mittels automatischer Strukturerkennung

9

56. Philipp Haiden Qualitatssicherung in verteilten Systemen- Testautomatisierung mittelsModellbasiertem Test

57. Roland Klobl Autonomous grasping and path planning for a humanoid robot playingNine Mens Morris

58. Sven Bock Autonomous Nine Men’s Morris Position and Game State Recognition usinga Humanoid Robot Platform

59. Harald Altinger Ultrasonic sensor based self localization for autonomous vehicles withinmapped environments

60. Michaela Ferk Konzeption und Entwicklung einer gelegentlich verbundenen mobilenApplikation fur die Datenerfassung in Gesundheitsorganisationen

61. Dominik Lechner A flexible autonomous order picking robot

62. Alexander Meisel Feature based Sensor Fusion for Victim Detection in the RescueRobotics Domain

63. Philipp Miedl Automatic Smart Key Base Station Pairing for Automotive Keyless GoSystems

64. Stefan Thamerl Data Mining mit Kalibrierdaten aus der Motorenentwicklung

Supervised PhD theses

1. Dominik Wieland Model-Based Debugging of Java Programs Using Dependencies.

2. Bernhard Peischl Automated Source-Level Debugging of Synthesize-able VHDL De-signs.

3. Daniel Kob Extended Modeling for Automated Fault Localization in Object-OrientedSoftware.

4. Gordon Fraser Automated Software Testing with Model Checkers

5. Andreas Griesmayer Debugging Software: From Verification to Repair

6. Barbara Jobstmann Optimierung und Anwendung fur LTL Synthese

7. Stefan Staber Property Based Fault Localization and Correction

8. Arndt Muhlenfeld Runtime Race Detection in Multi-Threaded Programs

9. Safeeullah Soomro Statische Analyse von Java Programmen

10. Naveed Riaz Automated Source-Level Debugging of Synthesizable Verilog Designs

11. Ingo Pill Requirements Engineering and Efficient Verification of PSL Properties

12. Jorg Weber Model-based Runtime Diagnosis of the Control Software of Mobile Au-tonomous Robots

13. Willibald Krenn Self Reasoning in Resource-Constraint Autonomous Systems

14. Martin Weiglhofer Automated Software Conformance Testing

15. Javed Ferzund An Empirical Investigation into Changes and Bugs by Mining Software

10

Development Histories

16. Gerald Steinbauer Intelligent and Robust Control of Autonomous Mobile Robots

17. Rudolf Schlatte Passive Conformance Testing with Concurrent Object-Oriented Soft-ware Models

18. Mihai Nica On the Use of Constraints in Automated Program Debugging – From Foun-dations to Empirical Results

19. Syed Nadeem Ahsan Using Machine Learning for Automatic Software Fault Predictionand Multi-label Classification of Software Change requests

20. Stefan Josef Galler Automatic Object Type Test Input Data Generation for Java Pro-grams based on Design by Contract Specification

21. Harald Brandl Testing Hybrid Systems using Qualitative Models

22. Christian Schwarzl Symbolic Model-based Test Case Generation for Distributed Sys-tems

23. Simona Nica On the Use of Constraints in Program Mutation and Its Applicability toTesting

24. Birgit Hofer From Fault Localization of Programs written in 3rd Level Languages toSpreadsheets

25. Valentin Chimisliu On Model-based Test Case Generation from Communicating UMLModels

26. Iulia Nica SIMOL - A Modeling Language for Simulation and Reconfiguration

27. Thomas Quaritsch Diagnosis of LTL Specifications using Consistency-oriented Model-based Reasoning

Currently, I’m supervising 7 PhD students.

List of lectures and seminars:

• VU 3.0 Software Paradigmen (Software Paradigms) [SS2004, SS2005, SS2006,SS2007]

• VU 3.0 Software Maintenance [WS2004, WS2005, WS2006, WS2007, WS2008,WS2009, WS2010, WS2011, WS2012, WS2013]

• VO 4.0 Einfuhrung in die Informatik (Introduction to Computer Science) [WS2002,WS2003]

• VU 2.0 Logic and Logic Programming together with B. Aichernig [WS2008,WS2009]

• VO 2.0 AK Softwaretechnologie 1 [WS2009, WS2010, WS2011, WS2012] (Content:Automated Software Debugging)

• SE 2.0 Scientific Methods (for PhD students) together with Prof. Bischof, Bloem, Posch,and Schmalstieg [WS2008,WS2009, WS2010, WS2011, WS2012,WS2013]

• VO 2.0 + KU 1.0 Compilerbau (Compilers) [SS2002,SS2003,SS2009,SS2010,SS2011, SS2012, SS2013,SS2014]

11

• VO 2.0 + KU 1.0 Wissensverarbeitung (Expert and Knowledge-based Systems)[SS2002,SS2003,SS2004,SS2005,SS2006,SS2007]

• VO 3.0 + KU 1.0 Klassische Themen der Computerwissenschaften (Classical Themesof Computer Science) together with Prof. Slany, Aichholzer, Aichernig, Bloem, Stein-bauer[WS2006,WS2007,WS2008, WS2009, WS2010, WS2011,WS2012, WS2013]

• VO 2.0 + KU 1.0 Modellierung Technischer Systeme (Modeling Technical Systems)[SS2011,SS2012, SS2013, SS2014]

• Softwaretechnologie SE (Software Technology Seminar) [WS2006]

• VO 1.0 Konzepte der AI (AI Concepts) together with Prof. Gottlob, Dorn, Slany,Stumptner, Baumgartner, and Veith. [SS2000, WS2000/2001, SS2001]

• VO 2.0 Daten- und Wissensbasierte Systeme (Foundations of Data and Knowledge-based Systems) [WS1999/2000, WS2000/2001]

• VU 2.0 Ausgewahlte Kapitel der AI 2

– Automatic and Model-based Software Debugging [SS2001]

• VU 2.0 Ausgewahlte Kapitel der AI 3

– Qualitative Reasoning [WS1998/1999]

• VU 2.0 Ausgewahlte Kapitel der AI 4

– Real World Modeling and Software Debugging [SS1997]

– Automatic Software Debugging [SS1998]

• VU 2.0 Ausgewahlte Kapitel der AI 5

– Automatic Software Debugging [SS1999, SS2000]

• SE 2.0 Seminar aus Informatik

– Qualitative Reasoning [SS1996]

– Software Agents [SS1998]

– Intelligent User Interfaces [SS2000]

• PS 2.0 Wissenschaftliches Arbeiten

– Design Automation [WS1994/1995]

– Truth Maintainance Systems [WS1995/1996]

– Intelligent Agents I [SS1999]

– Artificial Intelligence [WS2001/2002]

• PS 2.0 Grundlagen wissenschaftlichen Arbeitens

– Was ist Wissenschaft? [WS2001/2002]

• SE 2.0 Seminar aus AI

– AI-Anwendungen, Projekte und deren Grundlagen [WS1997/1998]

12

– Software Agents [SS1998]

– Intelligent Agents II [SS1999]

– Intelligent User Interfaces II [SS2000]

• Lecture Artificial Intelligence at the Zhongshan University, Guangzhou, China (Nov.2002) in English.

• Seminar on Model-based Debugging at the Jinan University, Guangzhou, China (Nov.2002) in English.

• Lecture on Model-based and Abductive Reasoning at the University of Girona, Spain(2009).

Guest Editor for the European AI journal AI Communications ( (Special Issue on Model-based Reasoning (1999), Special Issue on Industrial Applications of Model-based Reasoning(2000, together with Markus Stumptner), Special Issue on Binding Environmental Sciencesand Artificial Intelligence (2003, together with Ulises Cortes and Miquel Sanchez-Marre and2005, together with Mihaela Oprea and Miquel Sanchez-Marre), Special Issue on Model-based Systems (2006, together with Claudia Picardi and Paolo Salles)). Guest Editor for theOGAI Journal on Model-based Diagnosis (Vol. 21, No 3,2002). Guest Editor for the SoftwareQuality Journal together with Paul Ammann and G. Fraser (2009).

Editorial Board Journal of Applied Logic (JAL), Elsevier. Journal of Universal ComputerScience (JUCS).

Reviewer for several conferences ( DEXA-96, European Conference on Artificial Intelli-gence (ECAI-96, ECAI-98, ECAI-00, ECAI-02, ECAI-04, ECAI-06 (PC Member)), JELIA-96, International Conference on Knowledge Representation and Reasoning (KR-97, KR-00), SOFSEM-98, Workshop on Non-Monotonic Reasoning 1998, International Workshopon Qualitative Reasoning (from QR-99 to QR-11 as a PC Member), International JointConference on Artificial Intelligence (IJCAI-95, IJCAI-99, IJCAI-01, IJCAI-03 (PC Member),IJCAI-07), Prestigious Applications of Intelligent Systems (PAIS-2000, PAIS-2002, PAIS-2004, PAIS-2006 (always PC Member)), International Workshop on Principles of Diagno-sis (DX-00 (PC Member), DX-01 (PC Member), DX-02 (PC Chair), DX-04 to DX-10 (PCMember)), Abstract State Machines Conference (ASM-00), Design Automation Conference(DAC-00, DAC-01), German Conference on Artificial Intelligence (KI-2001), Seventh Inter-national Conference on Principles and Practice of Constraint Programming (CP-2001), Aus-tralien Joint Conference on Artificial Intelligence (AI-01),Workshop on Intelligent Solutionsin Embedded Systems (WISES04, WISES05, WISES06,WISES10, WISES11), InternationalConference on Industrial and Engineering Applications of Artificial Intelligence and Expert-systems (IEA/AIE 2005), International Conference and Software Engineering and KnowledgeEngineering (SEKE 2010, 2011 as PC member), International Conference On Quality Soft-ware (QSIC 2010, 2011 as PC member), RoboCup Symposium (2009,2010,2011 as PCmember), Workshop on Advances in Model Based Testing (A-MOST 2008, 2009 (Co-Chair),2010, 2011 as PC member), Workshop on Constraints in Software Testing, Verification, andAnalysis (CSTVA 2010, 2011 as PC member)) and journals (Artificial Intelligence, Applied In-telligence Journal, Ai Communications, Computer-Aided Civil and Infrastructure Engineering

13

Journal, Discrete Applied Mathematics, Information Processing Letters, International Jour-nal of System Science, Applied Artificial Intelligence, IEEE Transactions on EngineeringManagement, Journal of Artificial Intelligence Research (JAIR), Advances in Software En-gineering, Software Testing, Verification and Reliability, Transactions on Systems, Man, andCybernetics–Part C: Applications and Reviews, Software: Practice and Experience, NeuralNetwork World, IEEE Transactions on Industrial Electronics, The Computer Journal, Trans-actions on Automation Science and Engineering ).

Program Chair Program Co-Chair of the 13th International Workshop on Principles of Di-agnosis (DX-02), Member of the organizing committee of the ECAI 2002, ECAI 2004, ECAI2006 Workshop on Binding Environmental Science and Artificial Intelligence (BESAI-2002,BESAI-2004, BESAI-2006), the IJCAI 2003 workshop on Environmental Decision SupportSystems (EDSS-2003), and the ECAI 2004 IJCAI 2005, and ECAI 2006 MONET workshopon Model-Based systems. Program Co-Chair of the 19th International Workshop on Qualita-tive Reasoning (QR-05), General Co-Chair of RoboCup 2009, Co-Chair of the 5th Workshopo Advances of Model-Based Testing (A-MOST 2009), Co-Chair of the 1st International Work-shop on Testing and Debugging (TeBug 2010), Co-Chair of the ECAI 2010 Workshop on In-telligent Engineering Techniques for Knowledge Bases (IKBET), Co-Chair of the ICST 2011Workshop on Testing and Debugging (TeBug), Co-Chair of the ICRA Automated Diagnosis,Repair and Re-Configuration of Robot Systems Workshop 2011.

Member of Program Committee for several workshops (Qualitative Reasoning Work-shops QR-99, QR-00, QR-01, QR-02, QR-03, QR-04,QR-05 (Chair),QR-06, QR-07, QR-08,QR-09, QR-10, QR-11) Workshop on Principles of Diagnosis DX-00, DX-01, DX-02(Chair),DX-04, DX-05, DX-06, DX-07, DX-08, DX-09, DX-10, DX-11), ECAI Workshop on Bind-ing Environmental Science and Artificial Intelligence (BESAI-2002,2004, 2006) (OrganisingCommittee), Environmental Decision Support Systems (EDSS-03) (Organising Committee),CP03-WS on Immediate Applications of Constraint Programming (ACP-03)) and Confer-ences (International Joint Conference on Artificial Intelligence (IJCAI-03), Prestigious Ap-plications of Intelligent Systems (PAIS-00, PAIS-02, PAIS-04), Mexican International Con-ference on Artificial Intelligence (MICAI-2002,MICAI-2004, MICAI-2005, MICAI-2006), Inter-national Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-2002)), 9th Ibero-American Conference on AI (IBERAMIA 2004), Workshop on IntelligentSolutions in Embedded Systems (WISES04, WISES05, WISES06, WISES10, WISES11,WISES12), International Conference on Industrial and Engineering Applications of ArtificialIntelligence and Expertsystems (IEA/AIE 2005), European Simulation and Modelling Con-ference (ESM2005, ESM2006), Modellierung 2006, Symposium on Automated and Algorith-mic Debugging (AADEBUG-2005), International Conference on Computing (CIC-08,09,10),First International Conference on Neural Networks and Associative Memories (NNAM 2006),Intl. Conference on Quality Software (QSIC-2009, QSIC-2010,QSIC-2011,2012), Third In-ternational Symposium on Multimedia Applications and Processing (MMAP 2010), 4th In-ternational Symposium on Intelligent Distributed Computing (IDC 2008, 2010, 2011), Intl.Conf. Software Engineering and Knowledge Engineering (SEKE-2009, 2010,2011,2012),12th International Congress of the Catalan Association for Artificial Intelligence (CCIA-09), RoboCup Symposium (2009,2010,2011), International Conference on Prognostics andHealth Management (PHM08), International Conference and Software Engineering andKnowledge Engineering (SEKE 2010, 2011,2012), International Conference On Quality Soft-ware (QSIC 2010, 2011,2012), Workshop on Advances in Model Based Testing (A-MOST

14

2008, 2009, 2010, 2011), Workshop on Constraints in Software Testing, Verification, andAnalysis (CSTVA 2010, 2011,2012), Conference on Knoweldge Representation and Rea-soning (KR-2011). European Conference on Artificial Intelligence (ECAI-2012).

Visiting Professorship

• Invited visiting Professor at the Jinan University, Guangzhou, China, November 2002

• Invited visiting Professor at the University of Girona, Girona, Spain, June 2005

• Visiting researcher at the University of Girona, Girona, Spain, March 2008.

• Invited visiting Professor at the Tomsk State University, Tomsk, Russia, 2012.

Awards

• Member of the Academia Europea – The European Academy of Humanities, Lettersand Sciences – since 2012

• Best paper award: “Using Multiple Models for Debugging VHDL Designs” Proceedingsof the International Conference on Industrial and Engineering Applications of ArtificialIntelligence and Expertsystems (IEA/AIE-2001) [200].

• KI-2001 one of the outstanding papers: “DiKe - A Model-based Diagnosis Kernel andits Application” Proceedings of the Joint German/Austrian Conference on Artificial In-telligence (KI) [198].

• RoboCup Engineering Award (together with G. Steinbauer and M. Moerth) for our pa-per: “Real-Time Diagnosis and Repair of Faults of Robot Control Software”, 2005.

• Best paper award: ”Using Model-Checkers for Mutation-Based Test-Case Generation,Coverage Analysis and Specification Analysis”, International Conference on SoftwareEngineering Advances (ICSEA), 2006

• Best paper award: ”Diagnosing Dependent Failures in the Hardware and Software ofMobile Autonomous Robots”, International Conference on Industrial and EngineeringApplications of Artificial Intelligence and Expertsystems (IEA/AIE), 2007.

• Best paper award: ”Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning”, International Conference on Intelligent Robotics and Applications(ICIRA), 2008.

• Best paper award: ”Mutation-based spreadsheet debugging”, The Fourth IEEE Inter-national Workshop on Program Debugging (IWPD), 2013.

Memberships: Academia Europea – The European Academy of Humanities, Letters andSciences – since 2012, ACM (Association of Computing Machinery), IEEE Computer Society(Institute of Electrical and Electronics Engineers, Computer Society), OGAI (OsterreichischeGesellschaft fur Artificial Intelligence, Austrian Society for Artificial Intelligence, since May,2001 Treasurer), AAAI (American Association for Artificial Intelligence), OCG (Austrian Com-puter Society).

15

Talks and Presentations

1. Design Diagnose von VHDL-Spezifikationen (DDV). Presentation of a study writtenduring the DDV project. Siemens Austria EZE. Vienna. 1994.

2. Model-based Program Debugging and Repair. International Conference on Industrialand Engineering Applications of Artificial Intelligence and Expert Systems (IEAAIE-96).Fukuoka Japan. 1996.

3. Model-Based Diagnosis of Hardware Description Languages. Computational Engi-neering in Systems Applications (CESA’96) IMACS Multiconference, Invited Sessionon Model-Based Systems. Lille France. 1996.

4. DLZ Verkurzung bei der ASIC-Entwicklung. Presentation at the SIEMENS/PSE TOPConference. Baden. Austria. 1995.

5. VHDLDIAG: Overview. Short presentation of the outcome of the DDV project. SiemensAustria. Vienna. 1996

6. Modellbasierte Diagnose von VHDL-Programmen. Presentation of the DDV project forthe Siemens research department (Zentralabteilung Technik (ZT)). Siemens Germany.Munich. 1997

7. Knowledge Based Systems. Talk given for the department of Meteorologie und Physik/ Universitat fur Bodenkultur Wien. Vienna. 1998.

8. Model-based debugging of functional programs. Poster Presentation. Ninth Interna-tional Workshop on Principles of Diagnosis (DX-98). Cape Cod USA. 1998.

9. MBD Research Activities at Vienna University of Technology. ECAI-98 Workshop W5’Model-based systems and qualitative reasoning’. Brighton England. 1998.

10. Jade – Java Diagnosis Experiments – Status and Outlook. IJCAI–99 Workshop onQualitative and Model Based Reasoning for Complex Systems and their Control. Stock-holm, Sweden. 1999.

11. Detecting and Locating Faults in Hardware Designs. AAAI 99 Workshop on IntelligentSoftware Engineering. Orlando, Florida. 1999.

12. Local Maximum Ozone Concentration Prediction Using Neural Networks. AAAI-99Workshop on Environmental Decision Support Systems and Artificial Intelligence (W7).Orlando, Florida. 1999.

13. Debugging synthesizeable VHDL Programs. Tenth International Workshop on Princi-ples of Diagnosis (DX-99). Loch Awe, Scotland. 1999

14. New Directions in Debugging Hardware Designs, International Conference on Indus-trial and Engineering Applications of Artificial Intelligence and Expert Systems. Cairo,Egypt. 1999.

15. Model-based Diagnosis – Model-based Debugging. Talk at the Masarik Universitat.Brno, Czech Republic. 2000

16. Model-based Debugging of Hardware Designs. Talk at the Knowledge Systems Labo-ratory (KSL) Stanford University. California, USA. 2000.

16

17. Model-based Debugging of Hardware Designs. Talk at the Nasa Ames Research Cen-ter. California, USA. 2000.

18. Locating Bugs in Java Programs – First Results of the Java Diagnosis Experiments(Jade) Project. International Conference on Industrial and Engineering Applications ofArtificial Intelligence and Expert Systems. New Orleans, USA. 2000

19. A Value-Based Diagnosis Model for Java Programs. Eleventh International Workshopon Principles of Diagnosis (DX-00). Morelia, Mexico. 2000.

20. AD2L- A Programming Language for Model-Based Systems (Preliminary Report).Poster Presentation. Eleventh International Workshop on Principles of Diagnosis (DX-00). Morelia, Mexico. 2000.

21. An environment and language for industrial use of model-based diagnosis. ECAI 2000Workshop on Knowledge-Based Engineering. Berlin, Germany. 2000.

22. Deriving Qualitative Rules from Neural Networks in Environmental Science – Prelim-inary Report. ECAI’2000 Workshop on Binding Environmental Science and ArtificialIntelligence (BESAI’2000). Berlin, Germany. 2000.

23. Modeling Java Programs for Diagnosis. European Conference on Artificial Intelligence(ECAI). Berlin, Germany. August 2000.

24. Analysing models for software debugging. Twelfth International Workshop on Principlesof Diagnosis, Sansicario, Italy. 2001.

25. On the Relationship between Model-based Debugging and Program Mutation. PosterPresentation. Twelfth International Workshop on Principles of Diagnosis, Sansicario,Italy. 2001.

26. Automatic Software Debugging – A Model-based Approach. Habilitation lecture. Tech-nische Universitat Wien. March 22., 2001.

27. Model-based Debugging. Technische Universitat Graz. Mai 8., 2001.

28. Using Multiple Models for Debugging VHDL Designs. International Conference on In-dustrial and Engineering Applications of Artificial Intelligence and Expertsystems, Bu-dapest, Hungary, 2001.

29. DiKe – A Model-Based Diagnosis Kernel and its Application. Joint German/AustrianConference on Artificial Intelligence (KI), Vienna, Austria, 2001.

30. Model-based Reasoning in Mathematical Tutoring Systems – Preliminary Report.Model-Based Educational Systems and Qualitative Reasoning Workshop, 6th Inter-national Conference on Intelligent Tutoring Systems (ITS), San Sebastian, Spain, June2002.

31. Combining hypertree, bicomp, and hinge decomposition. European Conference onArtificial Intelligence (ECAI), Lyon, France, July 2002.

32. Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. European Conference on Artificial Intelligence (ECAI), Lyon, France,July 2002.

33. On the Relationship between Slicing and Model-based Debugging. The United NationsUniversity, International Institute for Software Technology, Macau, Nov. 2002.

17

34. On the Relationship between Slicing and Model-based Debugging. Universitat Klagen-furt, Austria, Dec. 2002.

35. Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-StructuredSystems. International Joint Conference on Artificial Intelligence (IJCAI), Acapulco,Mexico, August 2003.

36. Modeling State in Software Debugging of VHDL-RTL Designs –A Model-Based Diagno-sis Approach. Fifth International Workshop on Automated Debugging (AADEBUG-03),Ghent, Belgium, 2003.

37. Model-Based Debugging - Basic Ideas and Relationships, Dagstuhl, Germany, 2003.

38. Towards a Model for Automated Fault Localization in VHDL Designs: Exploring Coun-terexamples Using a Model-Based Diagnosis Approach. Poster presentation. FifteenthInternational Workshop on Principles of Diagnosis, Carcassonne, France, 2004.

39. Introducing Alias Information into Model-based Debugging. Fifteenth InternationalWorkshop on Principles of Diagnosis, Carcassonne, France, 2004.

40. Application of Qualitative Reasoning to Robotic Soccer. Poster presentation. Interna-tional Workshop on Qualitative Reasoning (QR-2004),Evanston, Illinois, 2004.

41. Static and Dynamic Analysis in Automated Debugging. MONET Workshop on Model-based Systems (ECAI 2004), Valencia, Spain, 2004.

42. Towards a Unified Modeling Language for Diagnosis. MONET Workshop on Model-based Systems (ECAI 2004), Valencia, Spain, 2004.

43. Formal Aspects in Software Engineering. Invited talk (keynote) at ASQT 2004 (Arbeit-skonferenz Softwarequalitat und Test), Klagenfurt, Austria, September 2004.

44. Error Traces in Model-Based Debugging of Hardware Description Languages,AADEBUG-2005 6th ACM International Symposium on Automated and Analysis-DrivenDebugging, Monterey, CA, USA, 2005.

45. Lightweight debugging techniques. IJCAI-05 Workshop on Model-Based Systems, Ed-inburgh, Scotland, 2005.

46. Automated Debugging – Stand der Technik und Ausblick auf zukunftige Entwicklungen.Siemens Austria, Programm- und Systementwicklung, Support Center Test, Nov. 24th,2005.

47. Fundamentals of debugging using a resolution calculus, FASE-06, Vienna, 2006.

48. Abstract Dependence Models in Software Debugging Poster Presentation DX-06,Spain, 2006.

49. Runtime Fault Detection and Localization in Component-oriented Software SystemsDX-06, Spain, 2006.

50. Qualitat und Software – Ein Widerspruch? Fa. Anecon Software Design und Beratung,im Rahmen des Expertenfruhstucks, 23. Mai 2006, Vienna.

51. Improving Robustness of mobile Robots using Model-Based Reasoning Guangzhou,China, 2006.

18

52. Redundancy Based Test-Suite Reduction, European Joint Conferences on Theory andPractice of Software (ETAPS) / Fundamental Approaches to Software Engineering.Braga, Portugal, 2007.

53. AI for Diagnosis and Explanation, Institutsseminar. Medizinische Universitat Graz, In-stitut fur Medizinische Informatik, Statistik und Dokumentation, Graz, Austria, 2007.

54. Diagnosing Dependent Failures an Extension of Consistency-based Diagnosis, Inter-national Workshop on Principles of Diagnosis DX-07. Nashville, TN, USA, 2007.

55. Gradient-based Diagnosis, International Workshop on Principles of Diagnosis DX-07.Nashville, TN, USA, 2007.

56. On the use of AI for improving robustness, 3rd ENGAGE European Union - SoutheastAsia ICT Research Collaboration Conference . Bangkok, Thailand, 2007

57. Model-based debugging - Principles and state of the art, Invited Speaker, 3rd Interna-tional School on Fault Detection and Diagnosis of Complex Systems. Sevilla, Spain,2008.

58. Bridging the gap between slicing and model-based diagnosis, 20th International Con-ference on Software Engineering and Knowledge Engineering, San Francisco, USA,2008.

59. Locating Bugs in Programs - Or How to Use a Program’s Constraint Representation forSoftware Debugging?, Proceedings of the International Conference on Software andData Technologies, Porto, Portugal, 2008.

60. Coverage Based Testing with Test Purposes, 8th International Conference on QualitySoftware, Oxford, UK, 2008.

61. QR-Model Based Testing, 3rd International Workshop on Automation of Software Test,Leipzig, Germany, 2008.

62. Podiumsdiskussion. - in: FITCE Austria Fachtagung ”Jede Krise hat ihre Gewinner”,Invited Speaker, Rust, Austria, 2009.

63. Wie Affen zur Steigerung der Softwarequalitat beitrage konnen, Invited Speaker, LSZKonferenz Softwareentwicklung/Softwaretesting. Wien, Austria, 2009.

64. On the use of abduction as an alternative to decision trees in environmental decisionsupport systems, Workshop on Intelligent Systems for Environmental (Knoweldge) En-gineering and EcoInformatics. Fukuoka, Japan,2009.

65. Testen und Testautomatisierung, Invited Speaker, IIR Konferenz ”Software Testing”,Vienna, Austria, 2009.

66. The current State of Automated Debugging, Invited Speaker, 21st Nordic Workshop onProgramming Theory. Lyngby, Denmark, 2009.

67. Increasing Diversity in Coverage Test Suites using Model Checking, 9th InternationalConference on Quality Software, Jeju, South Korea, 2009.

68. GUI Savvy End-to-End Testing with Smart Monkeys, 4th International Workshop onAutomation of Software Test, Vancouver , Canada, 2009.

19

69. Does testing help to reduce the number of potentially faulty statement in debugging?,TAIC PART, Windsor, UK, 2010.

70. Fault Localization Based On Dynamic Slicing and Hitting-Set Computation, 10th Inter-national Conference on Quality Software, China, 2010.

71. Generating Distinguishing Tests using the MINION Constraint Solver, 2nd Workshop onConstraints in Software Testing, Verification and Analysis (CSTVA’10), Paris, France,2010.

72. On Classification and Modeling Issues in Distributed Model?based Diagnosis, ECAI2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET) ,Lisbon, Portogal, 2010.

73. Debugging and diagnosis at runtime for improving robustness and dependability,Dagstuhl Seminars. SchloßDagstuhl, Germany, 2010.

74. Constraints als Framework fur Testen und Debugging, Vortrage Informatikfakultat, TUDortmund. TU Dortmund, Germany, 2011.

75. On the use of constraints in dynamic slicing for program debugging, ICST Workshopon Testing and Debugging (TeBug), Berlin, Germany, 2011.

76. (Still) open research questions to be solved in the context of smart autonomous sys-tems, Austrian Robotics Workshop, Hall in Tyrol, Austria, 2011.

77. Smart Systems (not only) in Space, Grazer open:lab: Vom Robert zum Menschen,Graz, Austria, 2011.

78. Model-based Diagnosis – Challenges and Techniques, ICRA Workshop on AutomatedDiagnosis, Repair and Re-Configuration of Robot Systems, Shanghai, China, 2011.

79. The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types bymeans of SMT solver based Bounded Model Checking, International Conference onQuality Software, Madrid, Spain, 2011.

80. Automated Debugging! But how?, Tarot Summer School, St. Petersburg, Russia, 2011.

81. Adaptive autonomous systems – From the system’s architecture to testing, ISOLAWorkshop on Software Aspects of Robotics Systems, Vienna, Austria, 2011.

82. Program debugging using constraints – Is it feasible?, QSIC Workshop on Formal Meth-ods in the Development of Software (WS-FMDS), Madrid, Spain, 2011.

83. Open research challenges of localizing faults in programs using constraints, 4th Work-shop on Constraints in Software Testing, Verification, and Validation (CSTVA), Mon-treal, Canada, 2012.

84. Security Testing – Diamonds for testing and risk analysis, 10th Anwenderkonferenz frSoftwarequalitat, Test und Innovation (ASQT), Klagenfurt, Austria, 2012.

85. Spectrum Enhanced Dynamic Slicing for better Fault Localization, 20th European Con-ference on Artificial Intelligence (ECAI), Montpellier, France, 2012.

86. From re-configuration to security testing, M2M Workshop at FTW, Vienna, Austria,2012.

20

87. Debugging of Spreadsheets: A CSP-based Approach, 3rd IEEE Intl. Workshop onProgram Debugging (IWPD), Nov. 2012, Dallas, Texas, USA.

88. Current Research Trends in Software Engineering, Digitaldialog, Infonova, March 5th,2013.

89. Fifty Shades of Grey in SOA Testing, 9th Workshop on Advances in Model BasedTesting (A-MOST), 2013.

90. (Re-)configuration of Communication Networks in the Context of M2M Applications,Configuration Workshop, 2013.

91. A.I. - Cognitive Computing – A personal view, Tech Natives, Vienna, 2013.

92. Panel discussion: Robotics Challenges for Qualitative Reasoning - or maybe not?, 27thInternational Workshop on Qualitative Reasoning, 2013.

93. Panel discussion: Complexity / Simplicity: Managing the Digital Enterprise, Interna-tional Drucker Forum, Vienna, Austria, 2013.

94. Mutation-based spreadsheet debugging, 4th IEEE International Workshop on ProgramDebugging (IWPD) co-located with the 24th IEEE International Symposium on SoftwareReliability Engineering (ISSRE), Pasadena, California, USA, November, 2013.

95. Test Automation – How Far Shall We Go?, Technische Universitat Wien, 9. January,2014.

96. Model-based Reasoning for Autonomous and Adaptive Systems, Universitat Augsburg,20. January, 2014.

97. SOA Testing Via Random Paths in BPEL Models, The 10th Workshop on Advances inModel Based Testing (A-MOST), Cleveland, Ohio, 2014.

98. Model-Based Testing Theory and Application , Secure Business Austria, IMPACT 2014,22. May, 2014.

99. Retaining Consistency for Knowledge-based Security Testing, The 27th InternationalConference on Industrial, Engineering and Other Applications of Applied IntelligentSystems (IEA-AIE), Kaohsiung, Taiwan, 2014.

100. Distinguishing Test Cases for Better Debugging, 10th International Summer School onTraining And Research On Testing, Porto, Portugal, June 30 – July 4, 2014.

21

Publications

Academic Thesis

[1] Franz Wotawa. Model-Based Debugging. Professorial dissertation (Habilitationss-chrift), Technische Universitat Wien, 2001.

[2] Franz Wotawa. Applying Model-Based Diagnosis to Software Debugging of Concur-rent and Sequential Imperative Programming Languages. PhD thesis, TechnischeUniversitat Wien, 1996.

[3] Franz Wotawa. Analyse und Algorithmen von fokusierten Assumption Based TruthMaintenance Systemen. Master’s thesis, Technische Universitat Wien, 1994.

Journals (refereed)

[1] R. Abreu, B. Hofer, A. Perez, and F. Wotawa. Using Constraints to Diagnose FaultySpreadsheets. Software Quality Journal, pp. 126, 2014.

[2] D. Jannach, T. Schmitz, B. Hofer, and F. Wotawa. Avoiding, Finding and FixingSpreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QA. Jour-nal of of Systems and Software, Elsevier, 2014.

[3] Franz Wotawa and Ingo Pill. On classification and modeling issues in distributedmodel-based diagnosis. AI Communications, Vol. 26, pp. 133-143, 2013, DOI10.3233/AIC-2012-0548.

[4] Bernhard Peischl, Naveed Riaz, and Franz Wotawa. Automated Debuggingof Verilog Designs. Int. J. Soft. Eng. Knowl. Eng. 22, 695 (2012). DOI:10.1142/S0218194012500209

[5] Birgit Hofer and Franz Wotawa. Combining Slicing and Constraint Solving for BetterDebugging: The CONBAS Approach. Advances in Software Engineering, vol. 2012,Article ID 628571, 18 pages, 2012. doi:10.1155/2012/628571.

[6] Wotawa, F.; Nica, M.; Nica, I.-D. Automated debugging based on a constraint modelof the program and a test case. The journal of logic and algebraic programming,81(4), pp. 390 - 407, http://dx.doi.org/10.1016/j.jlap.2012.03.002, 2012.

[7] Nica, M.; Nica, S. A.; Wotawa, F. On the use of mutations and testing for debugging.Software : practice & experience, http://dx.doi.org/10.1002/spe.1142, 2012.

[8] J. Weber and F. Wotawa. Diagnosis and repair of dependent failures in the controlsystem of a mobile autonomous robot. Applied intelligence. 36 (4), pp. 511–528,2012.

[9] Wotawa, F., On the Use of Abduction as an Alternative to Decision Trees in Environ-mental Decision Support Systems. International journal of agricultural and environ-mental information systems, 2(1), pp. 63–82, 2011.

[10] Nica, M.; Peischl, B.; Wotawa, F.: Constraint-based configuration of embedded auto-

22

motive software. International journal of mass customisation, Vol. 3(4):368–388, DOI10.1504/IJMASSC.2010.037651, 2010.

[11] Ahsan, S. N.; Afzal, M. T.; Zaman, S.; Gutl, C.; Wotawa, F. Mining Effort Data fromthe OSS Repository of Developer’s Bug Fix Activity. Journal of IT in Asia, Vol. 3, pp.67–80, 2010.

[12] F. Wotawa, I. Rodriguez-Roda, J. Comas. Environmental Decision Support Sys-tems based on Models and Model-Based Reasoning. Environmental Engineeringand Management Journal, 9 (2):189–195, Febr., 2010.

[13] G. Fraser, F. Wotawa, P. Ammann. Testing with Model Checkers: A Survey. SoftwareTesting, Verification and Reliability, 19 (3), Sept., 2009.

[14] B. Aichernig, H. Brandl, F. Wotawa. Conformance Testing of Hybrid Systems withQualitative Reasoning Models. Electronic Notes in Theoretical Computer Science.253 (2), pp. 53-69, 2009.

[15] M. Weiglhofer, B. Aichernig, F. Wotawa. Fault-Based Conformance Testing in Prac-tice. International journal of software and informatics, 3 (2-3), pp. 375 - 411, 2009.

[16] G. Steinbauer, F. Wotawa. Robust Plan Execution Using Model-Based Reasoning.Advanced robotics, 23 (10), pp. 1315 - 1326, 2009.

[17] M. Weiglhofer, G. Fraser, F. Wotawa. Using Coverage to Automate and Improve TestPurpose Based Testing. Information and software technology, accepted for publica-tion, 2009.

[18] B. Aichernig, M. Weiglhofer, F. Wotawa. Improving Fault-based Conformance Testing.Electronic Notes in Theoretical Computer Science, 220 (1), pp. 63-77, 2008.

[19] F. Wotawa and M. Nica. On the Compilation of Programs into their equivalent Con-straint Representation. Informatica, 32 , pp. 359 - 371, 2008.

[20] G. Fraser and F. Wotawa. Using model-checkers to generate and analyze propertyrelevant test-cases. Software Quality Journal, 16 (2), pp. 161 - 183, 2008.

[21] M. Hofbaur, J. Kob, G. Steinbauer, and F. Wotawa. Improving Robustness of mobileRobots using Model-based Reasoning. Journal of Intelligent and Robotic Systems,Springer, Vol. 48(1), Jan, 2007.

[22] A. Muhlenfeld and F. Wotawa. Fault Detection in Multi-Threaded C++ Server Appli-cations. Electronic Notes in Theoretical Computer Science, 174 (9), pp. 5-22, 2007.

[23] G. Fraser, B. Aichernig, F. Wotawa. Handling Model Changes. Electronic Notes inTheoretical Computer Science, 190 (2), pp. 33-46, 2007.

[24] Bernhard Peischl and Franz Wotawa. Automated Source Level Error Localization inHardware Designs. IEEE Design & Test of Computers, Jan-Feb, 2006

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

[26] G. Fraser and F. Wotawa. Using and Improving Requirement Properties for MutationBased Test-Case Generation. WI-MAW-Rundbrief, 12 (2), pp. 5-23, 2006

[27] Pilar Gomez, Angela Nebot, Sabrine Ribeiro, Rene Alquezar, Francisco Mugica, and

23

Franz Wotawa. Local Maximum Ozone Concentration Prediction Using Soft Com-puting Methodologies. Systems Analysis and Modelling Simulation, 43(8), pp. 1011-1031, Taylor & Francis, 2003. DOI: 10.1080/0232929031000081244.

[28] Franz Wotawa. On the relationship between model-based debugging and programslicing. Artificial Intelligence, 135(1–2):125–143, 2002.

[29] Markus Stumptner, and Franz Wotawa. Diagnosing Tree-Structured Systems. Artifi-cial Intelligence, 127(1):1–29, 2001.1

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

[31] Franz Wotawa. A Variant of Reiter’s Hitting-Set Algorithm. Information ProcessingLetters, 79(1):45–51, 2001.

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

[33] Bernhard Peischl and Franz Wotawa. Model-based Diagnosis Or Reasoning FromFirst Principles. In Intelligent Systems, IEEE, 18(3):32-37, 2003.

[34] Franz Wotawa. Debugging VHDL Designs: Introducing Multiple Models and FirstEmpirical Results. Applied Intelligence, 21:159-172, Kluwer, 2004.

[35] Franz Wotawa. Debugging Hardware Designs using a Value-Based Model. AppliedIntelligence, 16(1):71–92, Kluwer, 2002.

[36] Gerhard Fleischanderl and Thomas Havelka and Herwig Schreiner and MarkusStumptner and Franz Wotawa. DiKe–A Model-Based Diagnosis Kernel and its Appli-cation. Ai Communications, 15(1):17–30, 2002.

[37] Franz Wotawa and Gerhard Wotawa. Deriving Qualitative Rules from Neural Net-works – A Case Study for Ozone Forecasting. Ai Communications, 14(1):23–33,2001.

[38] Markus Stumptner and Franz Wotawa. A Survey of Intelligent Debugging. Ai Com-munications, 11(1):35–51, 1998.

[39] Markus Stumptner and Franz Wotawa. Using Model-Based Reasoning for LocatingFaults in VHDL Designs. Kunstliche Intelligenz, 14(4):62–67, 2000.

[40] Dominik Wieland and Franz Wotawa and Gerhard Wotawa. From Neural Networks toQualitative Models in Environmental Engineering. Computer-Aided Civil and Infras-tructure Engineering, Blackwell Publishers, 17:104–118, 2002.

Book Chapters (refereed)

[1] I. Nica, F. Wotawa, R. Ochenbauer, C. Schober, H. Hofbauer, and S. Boltek. Kapsch:Reconfiguration of Mobile Phone Networks. In A. Felfernig, L. Hotz, C. Bagley, and

1Parts of this paper were published in preliminary form in the Proceedings of the International Joint Conferenceon Artificial Intelligence (IJCAI), 1997, Nagoya, Japan.

24

J. Tiihonen (Eds.), Knowledge-based Configuration – From Research to BusinessCases, Elsevier, 2013.

[2] G. Steinbauer and F. Wotawa. Model-based reasoning for self-adaptive systems –theory and practice. In Assurances for Self-Adaptive Systems, Springer LNCS 7740,2013.

[3] Franz Wotawa. Adaptive Autonomous Systems – From the System’s Architectureto Testing. In Communications in Computer and Information Science, LeveragingApplications of Formal Methods, Verification, and Validation, R. Hanle, J. Knoop, T.Margaria, D. Schreiner, and B. Steffen (Eds.), Vol. 336, pp. 76–90, Springer, ISBN:978-3-642-34780-1, 2012.

[4] G. Steinbauer and F. Wotawa. Combining Quantitative Models with Active Observa-tions to Improve Diagnosis of Complex Systems. In Intelligent Technical Systems,N.M. Madrid and R.E.D. Seepold (Eds), Springer LNEE 38, pp. 203-216, 2009.

[5] W. Krenn and F. Wotawa, Intelligent Fault Adaptive Control of Autonomous Systems.In Intelligent Technical Systems, N.M. Madrid and R.E.D. Seepold (Eds), SpringerLNEE 38, pp. 175-188, 2009.

[6] W. Krenn and F. Wotawa. Rule-Set-Extraction From C-Code. In Intelligent TechnicalSystems, N.M. Madrid and R.E.D. Seepold (Eds), Springer LNEE 38, pp. 75-88,2009.

[7] G. Fraser, G. Steinbauer, J. Weber, F. Wotawa. Robust Intelligent Control of MobileRobots. In Architectural Design of Multi-Agent Systems: Technologies and Tech-niques, Hong Lin (Ed), IGI Global, pp. 335-255, 2007.

[8] Franz Wotawa. Constraint Satisfaction Problems for Modeling and Explanation inSustainability Science. In Advanced methods for decision making and risk manage-ment in sustainability science, J. Kropp and J. Scheffran (Eds), Nova Publishers, pp.143-159, 2007.

Conferences and Workshops (refereed)

[1] Franz Wotawa Failure Mode and Effect Analysis for Abductive Diagnosis. Interna-tional Workshop on Defeasible and Ampliative Reasoning, Prag, Czech Republic,August 19, 2014.

[2] Harald Altinger, Franz Wotawa, and Markus Schurius. Testing Methods Used inthe Automotive Industry: Results from a Survey. The second workshop on JoiningAcadeMiA and Industry Contributions to Test Automation and Model-based Testing(JAMAICA 14), July 21, 2014, San Jose, CA, USA.

[3] Josip Bozic, Dimitris E. Simos, and Franz Wotawa. Attack Pattern-Based Combina-torial Testing. 9th International Workshop on Automation of Software Test (AST) inconjunction with the 36th International Conference on Software Engineering (ICSE),Hyderabad, India, 2014.

[4] Franz Wotawa and Ingo Pill. Testing Configuration Knowledge-Bases. ConfigurationWorkshop, September, 2014. Novi Sad, Serbia.

25

[5] Josip Bozic, and Franz Wotawa. Plan It! Automated Security Testing Based onPlanning. The 26th IFIP International Conference on Testing Software and Systems,September 23–25, 2014, Madrid, Spain.

[6] Andreas Bernauer, Josip Bozic,Dimitris E. Simos, Servin Winkler, and Franz Wotawa.Retaining Consistency for Knowledge-based Security Testing. The 27th InternationalConference on Industrial, Engineering and Other Applications of Applied IntelligentSystems (IEA-AIE), Kaohsiung, Taiwan, 2014.

[7] Josip Bozic, and Franz Wotawa. Security Testing Based on Attack Patterns. The 5thInternational Workshop on Security Testing (SECTEST), Cleveland, Ohio, 2014.

[8] Seema Jehan, Ingo Pill, and Franz Wotawa. SOA Testing Via Random Paths inBPEL Models. The 10th Workshop on Advances in Model Based Testing (A-MOST),Cleveland, Ohio, 2014.

[9] Birgit Hofer, Rui Abreu, Alexandre Perez, and Franz Wotawa. Efficient Generationof Spreadsheet Repair Candidates. European Conference on Artificial Intelligence(ECAI), Prag, Czech Republik, August 18–22th, 2014.

[10] Birgit Hofer, and Franz Wotawa. Comparing Models for Spreadsheet Fault Localiza-tion. European Conference on Artificial Intelligence (ECAI), Prag, Czech Republik,August, 18–22th, 2014.

[11] Birgit Hofer, Dieter Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin, and FranzWotawa. Tool-supported fault localization in spreadsheets: Limitations of currentresearch practice. First International Workshop on Software Engineering Methodsin Spreadsheets (SEMS), Co-located with EuSpRiG 2014, Delft, The Netherlands, 2July 2014.

[12] . Birgit Hofer, and Franz Wotawa On the Usage of Dependency-based Modelsfor Spreadsheet Debugging. First International Workshop on Software Engineer-ing Methods in Spreadsheets (SEMS), Co-located with EuSpRiG 2014, Delft, TheNetherlands, 2 July 2014.

[13] Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz Wotawa. An Abduc-tive Diagnosis and Modeling Concept for Wind Power Plants. The 25th Intl. Workshopon Principles of Diagnosis (DX), September, 2014.

[14] Brigit Hofer, and Franz Wotawa Comparing and improving dependency-based mod-els for fault localization in spreadsheets. The 25th Intl. Workshop on Principles ofDiagnosis (DX), September, 2014.

[15] Birgit Hofer, Seema Jehan, Ingo Pill and Franz Wotawa. Functional Diagnosis of aSOA?s BPEL Processes. The 25th Intl. Workshop on Principles of Diagnosis (DX),September, 2014.

[16] Birgit Hofer and Franz Wotawa. Mutation-based spreadsheet debugging. 4th IEEE In-ternational Workshop on Program Debugging (IWPD) co-located with the 24th IEEEInternational Symposium on Software Reliability Engineering (ISSRE), Pasadena,California, USA, November, 2013.

[17] Iluia Nica and Franz Wotawa. (Re-)configuration of Communication Networks in theContext of M2M Applications. Configuration Workshop, August 29-30, 2013. Vienna,Austria.

26

[18] Simon Auerlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, RaphaelSpork, Clemens Muhlbacher and Franz Wotawa. The right choice matters! SMTsolving substantially improves model-based debugging of spreadsheets. 13th Inter-national Conference on Quality Software, July 29-30, 2013, Nanjing, China.

[19] Valentin Chimisliu and Franz Wotawa. Improving Test Case Generation from UMLStatecharts by using Control, Data and Communication Dependences. 13th Interna-tional Conference on Quality Software, July 29-30, 2013, Nanjing, China.

[20] Valentin Chimisliu and Franz Wotawa. Using Dependency Relations to Improve TestCase Generation from UML Statecharts. Fifth IEEE International Workshop on Soft-ware Test Automation (STA), Kyoto, Japan, 2013.

[21] Josip Bozic and Franz Wotawa. XSS Pattern for Attack Modeling in Testing. 8thInternational Workshop on Automation of Software Test (AST) in conjunction with the35th International Conference on Software Engineering (ICSE), 2013.

[22] Birgit Hofer, Andre Riboira, Franz Wotawa, Rui Abreu and Elisabeth Getzner. On theEmpirical Evaluation of Fault Localization Techniques for Spreadsheets. 16th Inter-national Conference on Fundamental Approaches to Software Engineering (FASE),2013.

[23] I. Nica, I. Pill, T. Quaritsch, and Franz Wotawa. The Route to Success - A Perfor-mance Comparison of Diagnosis Algorithms. 23rd International Joint Conference onArtificial Intelligence (IJCAI), 2013.

[24] P. Leitner, S. Schulte, S, Dustdar, I. Pill, M. Schulz and F. Wotawa. The Dark Side ofSOA Testing – Towards Testing Contemporary SOAs Based on Criticality Metrics. 5thInternational Workshop on Principles of Engineering Service-Oriented Systems (PE-SOS) in conjunction with the 35th International Conference on Software Engineering(ICSE), 2013.

[25] S. Jehan, I. Pill and F. Wotawa Functional SOA Testing Based on Constraints. 8thInternational Workshop on Automation of Software Test (AST) in conjunction with the35th International Conference on Software Engineering (ICSE), 2013.

[26] S. Jehan, I. Pill and F. Wotawa SOA grey box testing - a constraint-based approach.5th International Workshop on Constraints in Software Testing, Verification and Anal-ysis (CSTVA), 2013.

[27] F. Wotawa, M. Schulz, I. Pill, S. Jehan, P. Leitner, W. Hummer, S. Schulte, P. Hoenischand S. Dustdar. Fifty Shades of Grey in SOA Testing. 9th Workshop on Advances inModel Based Testing (A-MOST), 2013.

[28] Josip Bozic and Franz Wotawa. Model-based Testing - From Safety to Security. 9thWorkshop on System Testing and Validation (STV), Oct. 24th, 2012, Paris, France.

[29] Iulia Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauerand Sanja Boltek. Model-based simulation and configuration of mobile phone net-works – The SIMOA Approach. In Proc. of the ECAI 2012 Workshop on ArtificialIntelligence for Telecommunications & Sensor Networks, Aug. 28th, 2012, Montpel-lier, France.

[30] Rui Abreu, Andre Riboira, and Franz Wotawa. Debugging of Spreadsheets: A CSP-based Approach. In Proc. of the 3rd IEEE Intl. Workshop on Program Debugging

27

(IWPD), Nov. 2012, Dallas, Texas, USA.

[31] S. Podesser, G. Steinbauer, and F. Wotawa. Selective Belief Management for High-Level Robot Programs. In Proc. of the International Workshop on Principles of Diag-nosis, 2012.

[32] Birgit Hofer, Franz Wotawa, and Rui Abreu. AI for the Win: Improving Spectrum-based Fault Localization. In 9th International Workshop on Software Quality, NorthCarolina, USA, 2012.

[33] Hofer, B. G.; Wotawa, F.: Spectrum Enhanced Dynamic Slicing for better Fault Lo-calization. In Proc. of the 20th European Conference on Artificial Intelligence (ECAI),pp 420– 425, 2012.

[34] Hofer, B. G.; Wotawa, F.: Reducing the size of dynamic slicing with constraint solving.In Proc. of the 12th International Conference on Quality Software (QSIC), pp. 41-47,Xi’an, Shaanxi, China, August 27-29, 2012.

[35] Nica, S. A.; Wotawa, F.: EqMutDetect A Tool for Equivalent Mutant Detection in Em-bedded Systems. In 10th Workshop on Intelligent Solutions in Embedded Systems(WISES), pp. 57-62, 2012, Klagenfurt, Austria.

[36] Nica, S. A.; Wotawa, F.: Using Constraints for Equivalent Mutant Detection. In Proc.of the 2nd Workshop on Formal Methods in the Development of Software, Paris,France, Aug. 28th, 2012.

[37] I. Nica and F. Wotawa, The SiMoL Modeling Language for Simulation and (Re-)Configuration. Proceedings of the 38th International Conference on Current Trendsin Theory and Practice of Computer Science, Czech Republic, January, 2012.

[38] Chimisliu, V. C.; Wotawa, F. Category Partition Method and Satisfiability ModuloTheories for Test Case Generation. Proceedings of the 7th International Workshopon Automation of Software Test (AST), 2012, Zurich, Switzerland.

[39] Abreu, R.; Riboira, A.; Wotawa, F. Constraint-based Debugging of Spreadsheets.Proceedings of the 15th Ibero-American Conference on Software Engineering, 2012.

[40] Chimisliu, V. C.; Wotawa, F. Model Based Test Case Generation for Distributed Em-bedded Systems. Proceedings of the International Conference on Industrial Tech-nology. 2012.

[41] Wotawa, F. Open research challenges of localizing faults in programs using con-straints. Proceedings of the 4th Workshop on Constraints in Software Testing, Verifi-cation, and Analysis, Montreal, Canada, 2012.

[42] Wotawa, F. On the use of constraints in dynamic slicing for program debugging,Proceedings of the 1st ICST Workshop on Testing and Debugging (TeBug), Berlin,2011.

[43] Peischl, B; Wotawa, F. An Abstract Operational Framework for Dependence Mod-els in Software Debugging, Proceedings of the 1st ICST Workshop on Testing andDebugging (TeBug), Berlin, 2011.

[44] Chimisliu, V. C.; Wotawa, F. Abstracting Timing Information in UML Statecharts viaTemporal Ordering and LOTOS. Proc. of the 6th International Workshop on Automa-tion of Software Test (2011), pp. 8 - 14

28

[45] Wotawa, F. Adaptive autonomous systems - From the system’s architecture to test-ing. Proceedings of the 1st International ISOLA Workshop on Software Aspects ofRobotics Systems. (2011)

[46] Schwarzl, C.; Aichernig, B.; Wotawa, F. Compositional Random Testing Using Ex-tended Symbolic Transition Systems. Testing Software and Systems - 23rd IFIP WG6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, pp. 179 -194, 2011.

[47] Wotawa, F.; Nica, S. A.; Nica, M. Constraint-Based Debugging Combining Mutationsand Distinguishing Test Cases. Proceedings of the Ninth Workshop on IntelligentSolutions in Embedded Systems (WISES), 2011.

[48] Nica, S. A.; Nica, M.; Wotawa, F. Detecting Equivalent Mutants by Means of Con-straint Systems. The Third International Conference on Advances in System Testingand Validation Lifecycle (VALID), 2011.

[49] Steinbauer, G.; Wotawa, F. Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots. ICAR Workshop on Performance Measuresfor Quantifying Safe and Reliable Operation of Professional Service Robots in Un-structured, Dynamic Environments. 2011.

[50] Pill, I. H.; Quaritsch, T.; Wotawa, F. From Conflicts to Diagnoses: An Empirical Eval-uation of Minimal Hitting Set Algorithms. 22nd International Workshop on Principlesof Diagnosis (2011), pp. 203 - 210.

[51] Hofer, B. G.; Wotawa, F. How to combine slicing-hitting-set-computation withspectrum-based fault localization. 22nd International Workshop on Principles of Di-agnosis (2011), pp. 114 - 12.

[52] Nica, S. A.; Ramler , R.; Wotawa, F. Is Mutation Testing Scalable for Real-World Soft-ware Projects?. The Third International Conference on Advances in System Testingand Validation Lifecycle. 2011.

[53] Steinbauer, G.; Wotawa, F. On the Evaluation and Certification of the Robustness ofAutonomous Intelligent Systems. International Workshop on Principles of Diagnosis,2011. pp. 167 - 170.

[54] Wotawa, F.; Nica, M. Program debugging using constraints Is it feasible?. Proceed-ings of the 11th International Conference on Quality Software (QSIC). 2011, pp. 236- 243.

[55] Nica, I.-D.; Wotawa, F. SiMoL A Modeling Language for Simulation and (Re-) Config-uration. Workshop on Configuration, 2011. pp. 40 - 43.

[56] Wotawa, F. (Still) open research questions to be solved in the context of smart au-tonomous systems Extended abstract. Proceedings of the Austrian Robotics Work-shop. 2011. pp. 9 - 11.

[57] Galler, S.; Quaritsch, T.; Weiglhofer, M.; Wotawa, F. The IntiSa approach: TestInput Data Generation for Non-Primitive Data Types by means of SMT solver basedBounded Model Checking. 11th International Conference On Quality Software, 2011.

[58] Galler, S.; Zehentner, C.; Wotawa, F.: AIana: An AI Planning System for Test DataGeneration. Proceedings of the 1st ECOOP Workshop on Testing Object-Oriented

29

Systems. 2010

[59] Galler, S.; Maller, A.; Wotawa, F.: Automatically Extracting Mock Object Behaviorfrom Design by Contract Specification for Test Data Generation. Proceedings of theInternational Workshop on Automation of Software Test. 2010

[60] Weber, J.; Wotawa, F.: Combining Runtime Diagnosis and AI-Planning in a MobileAutonomous Robot to Achieve a Graceful Degradation after Software Failures. Pro-ceedings of the International Conference on Agents and Artificial Intelligence. 2010

[61] Nica, M.; Nica, S. A.; Wotawa, F.: Does testing help to reduce the number of poten-tially faulty statement in debugging?. Proceedings of TAIC PART. 2010

[62] Wotawa, F.: Fault Localization Based On Dynamic Slicing and Hitting-Set Computa-tion. Proceedings of the 10th International Conference on Quality Software. 2010

[63] Gspandl, S.; Reip, M.; Steinbauer, G.; Wotawa, F.: From Sketch to Plan. Proceedingsof the International Workshop on Qualitative Reasoning. 2010

[64] Wotawa, F.; Nica, M.; Aichernig, B.: Generating Distinguishing Tests using the MIN-ION Constraint Solver. Proc. of the 2nd Workshop on Constraints in Software Testing,Verification and Analysis (CSTVA’10). 2010

[65] Ahsan, S. N.; Wotawa, F.: Impact Analysis of SCRs Using Single and Multi-LabelMachine Learning Classification. Proceedings of the International Symposium onEmpirical Software Engineering and Measurement. 2010

[66] Wotawa, F.; Pill, I. H.: On Classification and Modeling Issues in DistributedModel?based Diagnosis. Proceedings of the ECAI 2010 Workshop on IntelligentEngineering Techniques for Knowledge Bases (IKBET). 2010, pp. 27 - 32

[67] Galler, S.; Weiglhofer, M.; Wotawa, F.: Synthesize it: from Design by ContractłtoMeaningful Test Input Data. Software Engineering and Formal Methods 2010.

[68] Jobstl, E.; Weiglhofer, M.; Aichernig, B.; Wotawa, F.: When BDDs Fail: ConformanceTesting with Symbolic Execution and SMT Solving. Proceedings of the Third Interna-tional Conference on Software Testing, Verification and Validation (ICST). 2010, pp.479 - 488

[69] I. Pill, G. Steinbauer, F. Wotawa. A Practical Approach for the Online Diagnosis ofIndustrial Transportation Systems. IFAC Symposium on Fault Detection, Supervisionand Safety for Technical Processes, pp. 1318 - 1323, 2009.

[70] F. Wotawa, I. Rodriquez-Roda, J. Comas. Abductive Reasoning in EnvironmentalDecision Support Systems. Proceedings of the Workshop on Artificial IntelligenceApplications in Environmental Protection. 2009.

[71] M. Weiglhofer and F. Wotawa. Asynchronous Input-Output Conformance Testing.Proceedings of the 33rd Annual IEEE International Computer Software and Applica-tions Conference. pp. 154 - 159. 2009.

[72] H. Altinger, S. Galler, S. Muhlbacher-Karrer, G. Steinbauer, F. Wotawa, H. Zangl.Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous SoccerRobots. Proc. International RoboCup Symposium. 2009.

[73] H. Brandl, B. Aichernig, F. Wotawa. Conformance Testing of Hybrid Systems with

30

Qualitative Reasoning Models. Proc. Intl. Workshop on Model-Based Testing, pp. 45- 59, 2009.

[74] M.D. Bloice, F. Wotawa, A. Holzinger. Javas Alternatives and the Limitations of Javawhen Writing Cross-Platform Applications for Mobile Devices in the Medical Domain.Proceedings of the 31st International Conference on Information Technology Inter-faces (ITI 2009), pp. 47 - 54, 2009.

[75] M. Weiglhofer and F. Wotawa. Improving Coverage Based Test Purposes. Proceed-ings of the 9th International Conference on Quality Software. 2009.

[76] G. Fraser and F. Wotawa. Increasing Diversity in Coverage Test Suites using ModelChecking. Proceedings of the 9th International Conference on Quality Software.2009.

[77] G. Fraser and F. Wotawa. Complementary Criteria for Testing Temporal Logic Proper-ties. Proc. Third International Conference on Tests And Proofs (TAP), Zurich, Switzer-land, 2009.

[78] S. Galler, H. Altinger, B. Bergler, A. Hieden, C. Hoppe, T. Joham, T. Magnet, M. Maier,S. Muhlbacher-Karrer, D. Muschick, C. Preschern, G. Steinbauer, R. Unterberger,F. Wotawa. Mostly Harmless: Team Description Paper 2009 Proceeding of theInternational RoboCup Symposium. 2009.

[79] F. Wotawa. On the use of abduction as an alternative to decision trees in environ-mental decision support systems. Proceedings of the International Conference onComplex, Intelligent and Software Intensive Systems (CISIS). pp. 1160 - 1165, 2009.

[80] G. Steinbauer and F. Wotawa. Towards Automated Generation of Repair Actions forthe Belief of Autonomous Agents. Proc. 4th Austrian RoboCup Workshop. 2009.

[81] A. Kleiner, G. Steinbauer, F. Wotawa. Using Qualitative and Model-Based Reasoningfor Sensor Validation of Autonomous Mobile Robots. Proc. International Workshopon Principles of Diagnosis. 2009.

[82] M. Weiglhofer, G. Fraser, F. Wotawa. Using Spectrum-based Fault Localization forTest Case Grouping. Proceedings of the 24th IEEE/ACM International Conferenceon Automated Software Engineering. 2009.

[83] J. Ferzund, S. N. Ahsan, F. Wotawa. Bug-Inducing Language Constructs. Proc. 16thWorking Conference on Reverse Engineering, Antwerp, Belgium, October, 2009.

[84] J. Ferzund, S. N. Ahsan, F. Wotawa. Are there language specific bug patterns?Results obtained from a case study using Mozilla. Proc. 4th Intl. Conference onSoftware Engineering Advances, Porto, Portugal, 2009.

[85] J. Ferzund, S. N. Ahsan, F. Wotawa. Automatic Software Bug Triage Sysem (BTS)Based on Latent Semantic Indexing and Support Vector Machine. Proc. 4th Intl.Conference on Software Engineering Advances, Porto, Portugal, 2009.

[86] J. Ferzund, S. N. Ahsan, F. Wotawa. Software Change Classification using Hunk Met-rics. Proc. Intl. Conference on Software Maintenance (ICSM), Edmonton, Canada,2009.

[87] J. Ferzund, S. N. Ahsan, F. Wotawa. Program File Bug Fix Effort Estimation UsingMachine Learning Methods for OSS. Proc. Intl. Conference on Software Engineering

31

and Knowledge Engineering (SEKE), Boston, MA, USA, 2009.

[88] B. Peischl, N. Riaz, F. Wotawa. Test Patterns for Verilog Design Error Localization.Proc. Testing: Academic & Industrial Conference Practice & Research Techniques(TAIC-PART), Windsor, UK, 2009.

[89] Jorg Weber and Franz Wotawa. Utilizing Diagnostic Results to Adapt the AI-Planningin a Mobile Autonomous Robot to Degrade Software Capabilities. IJCAI Workshopon Self-* and Autonomous Systems (SAS): Reasoning and Integration Challenges,Pasadena, CA, USA, 2009.

[90] S. Soomro and F. Wotawa. Detect and Localize Faults in Alias-free Programs usingSpecification Knowledge. 22nd International Conference on Industrial Engineering &Other Applications of Applied Intelligent Systems. Taiwan, 2009.

[91] B. Hofer, B. Peischl, F. Wotawa. GUI Savvy End-to-End Testing with Smart Monkeys.4th Intl. Workshop on the Automation of Software Test (AST), Vancouver, Canada,2009.

[92] B. Peischl, N. Riaz, F. Wotawa. Employing Test Suites for Verilog Fault Localiza-tion. 13th Conference of the Spanish Association for Artificial Intelligence (CAEPIA),Seville, Spain, 2009

[93] R. Ceballos, M. Nica, J. Weber, F. Wotawa. On the complexity of program debuggingusing constraints for modeling the program’s syntax and semantics. 13th Conferenceof the Spanish Association for Artificial Intelligence (CAEPIA), Seville, Spain, 2009

[94] M. Nica, I. Moraru, F. Wotawa. Representing Program Debugging as ConstraintSatisfaction Problem. Proc. of the 21st Nordic Workshop on Programming Theory,Lyngby, Denmark, Oct. 2009.

[95] M. Nica, B. Peischl, F. Wotawa. A Constraint Model for Automated Deployment ofAutomotive Control Software. Proceedings of 2008 International Conference on Soft-ware Engineering and Knowledge Engineering, 2008.

[96] S.N. Ahsan, J. Ferzund, F. Wotawa. A Database for the Analysis of Program ChangePatterns. 4th International Conference on Networked Computing and Advanced In-formation Management. 2008.

[97] S.N. Ahsan, J. Ferzund, F. Wotawa. Analysing Bug Prediction Capabilities of StaticCode Metrics in Open Source Software. Proceedings of the International Conferenceof Software Process and Product Management. 2008.

[98] S.N. Ahsan, J. Ferzund, F. Wotawa. Automated Classification of Faults in Programsusing Machine Learning Techniques. Proceedings of the ECAI-2008 Workshop onArtificial Intelligence Techniques in Software Engineering. pp. 31 - 35, 2008.

[99] M. Nica, B. Peischl, F. Wotawa. A Generative Constraint Model for Optimizing Soft-ware Deployment. ECAI 2008 Workshop on Configuration Systems. 2008.

[100] H. Brandl, G. Fraser, F. Wotawa. A report on QR-based testing. 22nd InternationalWorkshop on Qualitative Reasoning. 2008.

[101] W. Krenn and F. Wotawa. Adding Fault Adaptive Control To Embedded Systems.Proceedings of the 19th International Workshop on Principles of Diagnosis (DX-08),pp. 283 - 290, 2008.

32

[102] A. Kleiner, G. Steinbauer, F. Wotawa. Automated Learning of Communication Modelsfor Robot Control Software. - ECAI 2008 - Workshop on Model-Based Systems. pp.19 - 24, 2008

[103] A. Kleiner, G. Steinbauer, F. Wotawa. Automated Learning of Diagnosis Models forComponent-Oriented Robot Control Software. Proc. of the 19th International Work-shop on Principles of Diagnosis. pp. 275 - 282, 2008.

[104] F. Wotawa. Bridging the gap between slicing and model-based diagnosis. Proceed-ings of the 20th International Conference on Software Engineering and KnowledgeEngineering pp. 836 - 841, 2009.

[105] M. Nica and F. Wotawa. Converting Programs into Constraint Satisfaction Prob-lems. Proc. 1st Intl. Symposium on Intelligent and Distributed Computing (IDC),Craiova, Romania, Springer Studies in Computational Intelligence Vol. 78, pp. 227 -236, 2008.

[106] G. Fraser, M. Weiglhofer, F. Wotawa. Coverage Based Testing with Test Purposes.Proceedings of the 8th International Conference on Quality Software. pp. 199 - 208,2008.

[107] H. Brandl, G. Fraser, F. Wotawa. Coverage-based Testing Using Qualitative Reason-ing Models. Proceedings of the 20th International Conference on Software Engineer-ing and Knowledge Engineering. pp. 393 - 398, 2008.

[108] J. Weber and F. Wotawa. Dependent failures in consistency-based diagnosis. Proc.18th European Conference on Artificial Intelligence. 2008.

[109] J. Weber and F. Wotawa. Diagnosing dependent failures in the context ofconsistency-based diagnosis. Proc. International Workshop on Principles of Diag-nosis (DX-08). 2008.

[110] G. Steinbauer and F. Wotawa. Enhancing Plan Execution in Dynamic Domains Us-ing Model-Based Reasoning. Proc. 1st Intl. Conference on Intelligent Robotics andApplications. pp. 510 - 519. 2008.

[111] M. Nica and F. Wotawa. From constraint representations of sequential code andprogram annotations to their use in debugging. Proc. 18th European Conference onArtificial Intelligence. 2008.

[112] M. Nica, J. Weber, F. Wotawa. How to debug sequential code by means of constraintrepresentation. Proc. International Workshop on Principles of Diagnosis (DX-08).2008.

[113] F. Wotawa. Locating Bugs in Programs - Or How to Use a Program’s Constraint Rep-resentation for Software Debugging? Proceedings of the International Conferenceon Software and Data Technologies. 2008.

[114] M. Weiglhofer, F. Wotawa. ’On the Fly’ Input Output Conformance Verification. Pro-ceedings of the IASTED International Conference on Software Engineering. pp. 286- 291, 2008.

[115] H. Brandl, G. Fraser, F. Wotawa. Qr-model based testing. Proceedings of the 3rdinternational workshop on Automation of software test. pp. 17 - 20. 2008.

[116] M. Weiglhofer, F. Wotawa. Random vs. Scenario-Based vs. Fault-Based Testing: An

33

Industrial Evaluation of Formal Black-Box Testing Methods. Proceedings of the 3rdInternational Conference on Evaluation of Novel Approaches to Software Engineer-ing. pp. 115 - 122, 2008.

[117] H. Brandl, F. Wotawa. Test Case Generation from QR Models. Proc. 21st Inter-national Conference on Industrial, Engineering and Other Applications of AppliedIntelligent Systems, pp. 235-244, Wroclaw, Poland, June 18-20, 2008

[118] A. Kleiner, G. Steinbauer, F. Wotawa. Towards Automated Online Diagnosis ofRobot Navigation Software. Simulation, Modeling and Programming for AutonomousRobots. pp. 159 - 170, 2008.

[119] G. Fraser, M. Weiglhofer, F. Wotawa. Using Observer Automata to Select Test Casesfor Test Purposes. Proceedings of the 20th International Conference on SoftwareEngineering and Knowledge Engineering. pp. 709 - 714, 2008.

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

[121] J. Weber and F. Wotawa. AI-planning in a mobile autonomous robot with degradedsoftware capabilities. International Workshop on Moving Planning and SchedulingSystems into the Real World. 2007.

[122] W. Krenn and F. Wotawa. Collaboration of Intelligent, Autonomous Systems: Sit-uation Aware Behavior Change. In Proc. Advances in Intelligent and DistributedComputing. pp. 283 - 288, 2007.

[123] G. Steinbauer and F. Wotawa. Combining Quantitative and Qualitative Models withActive Observations for better Diagnoses of Autonomous Mobile Robots. Proceed-ings of the 5th Workshop on Intelligent Solutions in Embedded Systems. 2007.

[124] W. Krenn and F. Wotawa. Configuring Collaboration of Software Modules at Runtime.AAAI Workshop on Configuration. pp. 19 - 24, 2007.

[125] G. Fraser and F. Wotawa. Creating Test-Cases Incrementally with Model-Checkers.Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik. pp. 415- 420, 2007.

[126] J. Weber and F. Wotawa. Diagnosing dependent failures - an extension ofconsistency-based diagnosis. Proc. 18th International Workshop on Principles ofDiagnosis (DX-07). 2007.

[127] J. Weber and F. Wotawa. Diagnosing dependent failures in the hardware and soft-ware of mobile autonomous robots. Proc. 20th International Conference on Industrial,Engineering & Other Applications of Applied Intelligent Systems. 2007.

[128] B. Peischl, M. Weiglhofer, F. Wotawa. Executing Abstract Test Cases. Proceedingsof the 37th Annual Congress of the Gesellschaft fuer Informatik. pp. 421 - 426, 2007.

[129] A. Muhlenfeld and F. Wotawa. Fault Detection in Multi-Threaded C++ Server Applica-tions. PPoPP ’07: Proceedings of the 12th ACM SIGPLAN Symposium on Principlesand Practice of Parallel Programming. pp. 142 - 143, 2007.

34

[130] Franz Wotawa. Generating test-cases from qualitative knowledge - Preliminary re-port. Proceedings of the 21st annual workshop on qualitative reasoning. 2007.

[131] W. Krenn and F. Wotawa. Gradient-based Diagnosis. Proc.18th International Work-shop on Principles of Diagnosis. pp. 314 - 321, 2007.

[132] G. Fraser and F. Wotawa. Improving Model-Checkers for Software Testing. Proc. Intl.Conference on Quality Software, pp. 25 - 31, 2007.

[133] W. Krenn and F. Wotawa. Intelligent, Fault Tolerant Control for Autonomous Systems.Proc. 5th Intl. Workshop on Intelligent Solutions in Embedded Systems. pp. 194 -205, 2007.

[134] W. Krenn and F. Wotawa. Knowledge Extraction from C-Code. Proc. 5th Intl. Work-shop on Intelligent Solutions in Embedded Systems. pp. 49 - 61, 2007.

[135] B. Angerer, A. Griesmayer, F. Wotawa. Maintaining Temporal Consistency in a Multi-media Knowledge Base. IJCAI Workshop on Semantic Web for Collaborative Knowl-edge Acquisition (SWeCKa ’07), Hyderabad, India, January 2007.

[136] M. Brandstotter, M. Hofbaur, G. Steinbauer, F. Wotawa. Model-Based Fault Diagnosisand Reconfiguration of Robot Drives. International Conference on Intelligent Robotsand Systems. 2007.

[137] M. Hofbaur, G. Steinbauer, F. Wotawa. Model-Based Reasoning for Fault-TolerantRobot Hardware and Software. Proceedings of the 16th International Workshop onRobotics in Alpe-Adria-Danube Region. 2007.

[138] G. Fraser and F. Wotawa. Mutant Minimization for Model-Checker Based Test-CaseGeneration. Testing: Academic and Industrial Conference Practice and ResearchTechniques - MUTATION, pp. 161-168, 2007.

[139] G. Fraser and F. Wotawa. Nondeterministic Testing with Linear Model-Checker Coun-terexamples. Proc. Intl. Conference on Quality Software, pp. 107-116, 2007.

[140] B. Aichernig, B. Peischl, M. Weiglhofer, F. Wotawa. Protocol Conformance Testinga SIP Registrar: An Industrial Application of Formal Methods. Proceedings of the5th International Conference on Software Engineering and Formal Methods. pp. 215- 224, 2007.

[141] G. Fraser and F. Wotawa. Redundancy Based Test-Suite Reduction. Proceedingsof the 10th International Conference on Fundamental Approaches to Software Engi-neering (FASE 2007), pp. 291 - 305, 2007.

[142] A. Muhlenfeld and F. Wotawa. Runtime Race Detection for Multi-Threaded C++Server Applications. Proceedings of the 25th IASTED International Multi-ConferenceSoftware Engineering. 2007.

[143] B. Aichernig, B. Peischl, M. Weiglhofer, F. Wotawa. Test Purpose Generation in anIndustrial Application. Proceedings of the 3rd international workshop on Advances inmodel-based testing. pp. 115 - 125, 2007.

[144] G. Fraser and F. Wotawa. Test-Case Generation and Coverage Analysis for Nonde-terministic Systems Using Model-Checkers. Proceedings of the International Confer-ence on Software Engineering Advances (ICSEA 2007). pp. 45 - 51, 2007.

35

[145] G. Fraser and F. Wotawa. Test-case prioritization with model-checkers. IASTEDInternational Conference on Software Engineering. 2007.

[146] G. Fraser and F. Wotawa. Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation. Proceedings of the 3rd international work-shop on Advances in model-based testing. pp. 64 - 74, 2007

[147] Daniel Kob and Franz Wotawa. Fundamentals of debugging using a resolution calcu-lus. In Proceedings Fundamental Approaches to Software Engineering (FASE), pp278-292, Vienna, 2006, Springer, LNCS 3922.

[148] Michael W. Hofbaur and Franz Wotawa. A Causal Analysis Method for ConcurrentHybrid Automata. In Proceedings of the National Conference on Artificial Intelligence(AAAI), USA, 2006.

[149] Rong Chen and Franz Wotawa Diagnosing Program Errors with Light-WeightedSpecifications In 19th International Conference on Industrial and Engineering Ap-plications of Artificial Intelligence and Expert Systems, France, 2006. Springer.

[150] Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa Towards Lightweight FaultLocalization in Procedural Programs. In 19th International Conference on Industrialand Engineering Applications of Artificial Intelligence and Expert Systems, France,2006. Springer.

[151] Franz Wotawa and Bibiane Angerer Retaining Consistency in Temporal KnowledgeBases In 19th International Conference on Industrial and Engineering Applicationsof Artificial Intelligence and Expert Systems, France, 2006. Springer.

[152] Bernhard Peischl, Safeeullah Soomro and Franz Wotawa Lightweight fault local-ization with abstract dependencies. In Proceedings of the IEEE International Con-ference on Engineering of Intelligent Systems (ICEIS), Islamabad, Pakistan, April,2006.

[153] Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa. Abstract DependenceModels in Software Debugging. In Proceedings of the 17th Workshop on Principlesof Diagnosis (DX-06), Spain, 2006.

[154] Bernhard Peischl, Joerg Weber, and Franz Wotawa. Runtime Fault Detection andLocalization in Component-oriented Software In Proceedings of the 17th Workshopon Principles of Diagnosis (DX-06), Spain, 2006.

[155] Gordon Fraser and Franz Wotawa. Property Relevant Software Testing with Model-Checkers. In 2nd Workshop on Advances in Model-based Software Testing (A-MOST’06), Raleigh, NC, USA, 2006

[156] Jorg Weber, Bernhard Peischl, and Franz Wotawa. Runtime Fault Detection and Lo-calization in Component-oriented Software Systems. In Working Notes of the ECAI-06 Workshop on Model-Based Systems, Riva del Garda, Italy, 2006.

[157] M. Hofbaur, J. Kob, G. Steinbauer, F. Wotawa. Improving robustness of mobile robotsusing model-based reasoning. In Working Notes of the ECAI-06 Workshop on Model-Based Systems, Riva del Garda, Italy, 2006.

[158] Gerald Steinbauer and Franz Wotawa Detecting and locating faults in the controlsoftware of autonomous mobile robots. In Proceedings of the International Joint

36

Conference on Artificial Intelligence (IJCAI) – Poster, Edinburgh, Scotland, 2005.

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

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

[161] Rong Chen, Daniel Kob, and Franz Wotawa Exploring object relations for automatedfault localization In 16th International Workshop on Principles of Diagnosis, pages49-54, Monterey, California, USA, June 2005.

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

[163] Daniel Kob, 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.

[164] Daniel Kob and Franz Wotawa A comparison of fault explanation and localization In16th International Workshop on Principles of Diagnosis, pages 157-162, Monterey,California, USA, June 2005. Poster.

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

[166] Gerald Steinbauer, Martin Morth, and Franz Wotawa Real-time diagnosis and re-pair of faults of robot control software. In Proceedings of the International RoboCupSymposium., Osaka, Japan, 2005.

[167] Bert Bredeweg, Michael Neuman, Tim Nuttle, Chris Price, Iain Russel, JanetThomas, and Franz Wotawa Vision for the future of education systems based onqualitative reasoning In Proceedings of the 19th International Workshop on Qualita-tive Reasoning (QR-05), Graz, Austria, pages 38-46, May 2005.

[168] Gerald Steinbauer, Jorg Weber, and Franz Wotawa From the real-world to its quali-tative representation – practical lessons learned In Proceedings of the 19th Interna-tional Workshop on Qualitative Reasoning (QR-05), Graz, Austria, pages 186-191,May 2005.

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

[170] Bernhard Peischl and Franz Wotawa. Error Traces in Model-Based Debugging ofHardware Description Languages. In Proceedings of the 6th ACM International Sym-posion on Automated and Analysis-Driven Debugging (AADEBUG-05), Monterey,CA, USA, 2005.

37

[171] Bernhard Peischl, Safeeullah Soomro, and Franz Wotawa. Lightweight debuggingtechniques In Working Notes of the IJCAI-05 Workshop on Model-Based Systems,Edinburgh, Scotland, 2005.

[172] Gerald Steinbauer and Franz Wotawa Challenges in runtime detecting and locatingfaults in autonomous mobile robots In Working Notes of the IJCAI-05 Workshop onModel-Based Systems, Edinburgh, Scotland, 2005.

[173] Daniel Kob and Franz Wotawa. Introducing Alias Information into Model-based De-bugging. In Proceedings of the European Conference on Artificial Intelligence (ECAI),Valencia, Spain, August 2004.

[174] Rong Chen, Daniel Kob, and Franz Wotawa. Improving Fault Localization of Pro-grams by Using Labeled Dependencies. KI 2004: Advances in Artificial Intelligence,LNAI 3238, Springer, 2004

[175] Bernhard Peischl and Franz Wotawa. Towards a Model for Automated Fault Localiza-tion in VHDL Designs: Exploring Counterexamples Using a Model-Based DiagnosisApproach. In Proceedings of the Fifteenth International Workshop on Principles ofDiagnosis, Carcassonne, France, 2004.

[176] Daniel Kob and Franz Wotawa. Introducing Alias Information into Model-based De-bugging. In Proceedings of the Fifteenth International Workshop on Principles ofDiagnosis, Carcassonne, France, 2004.

[177] Gordon Fraser and Franz Wotawa. Cooperative Planning and Plan Execution in Par-tially Observable Dynamic Domains. RoboCup 2004 Symposium, Lisboa, Portugal,2004.

[178] Bernhard Peischl and Franz Wotawa. Are Error Traces Enough for Automated FaultLocalization in VHDL Designs ? Workshop on Intelligent Solutions in EmbeddedSystems (WISES), Graz, Austria, 2004.

[179] Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. Application of QualitativeReasoning to Robotic Soccer. In Proceedings of the International Workshop on Qual-itative Reasoning (QR-2004),Evanston, Illinois, 2004.

[180] Rong Chen, Daniel Kob, Bernhard Peischl, and Franz Wotawa. Static and DynamicAnalysis in Automated Debugging. In MONET Workshop on Model-based Systems(ECAI 2004), Valencia, Spain, 2004.

[181] Rong Chen, Daniel Kob, and Franz Wotawa. Exploiting Static Abstraction of DataStructures for Debugging. In MONET Workshop on Model-based Systems (ECAI2004), Valencia, Spain, 2004.

[182] Franz Wotawa. Towards a Unified Modeling Language for Diagnosis. In MONETWorkshop on Model-based Systems (ECAI 2004), Valencia, Spain, 2004.

[183] Markus Stumptner and Franz Wotawa. Coupling CSP Decomposition Methods andDiagnosis Algorithms for Tree-Structured Systems. In Proceedings of the Interna-tional Joint Conference on Artificial Intelligence (IJCAI), Acapulco, Mexico, August2003.

[184] Daniel Kob and Bernhard Peischl and Franz Wotawa. Debugging VHDL Designs Us-ing Temporal Process Instances. In Proceedings of the International Conference on

38

Industrial and Engineering Applications of Artificial Intelligence and Expertsystems,2003. Springer-Verlag.

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

[186] Markus Stumptner and Franz Wotawa. Coupling CSP Decomposition Methods andDiagnosis Algorithms for Tree-Structured Systems. In Proceedings of the FourteenthInternational Workshop on Principles of Diagnosis, Washington D.C., U.S.A., 2003.Also appears in [183].

[187] Bernhard Peischl and Franz Wotawa. Towards a Framework for Automated Debug-ging: Abstracting the Temporal Behavior of VHDL-RTL Programs. In Proceedings ofthe Fourteenth International Workshop on Principles of Diagnosis, Washington D.C.,U.S.A., 2003.

[188] Bernhard Peischl and Franz Wotawa. Computing Diagnosis efficiently: A Fast Theo-rem Prover for Propositional Horn Theories. In Proceedings of the Fourteenth Inter-national Workshop on Principles of Diagnosis, Washington D.C., U.S.A., 2003.

[189] Rong Chen and Franz Wotawa. Debugging With an Enriched Dependency-basedModel or How to Distinguish Between Aliasing and Value Assignment. In Proceed-ings of the International Workshop on Qualitative Reasoning (QR-2003), Brasilia,Brazil, 2003.

[190] Bernhard Peischl and Franz Wotawa. Modeling State in Software Debugging ofVHDL-RTL Designs –A Model-Based Diagnosis Approach. In Proceedings of theFifth International Workshop on Automated Debugging (AADEBUG-03), Ghent, Bel-gium, 2003.

[191] Georg Gottlob, Martin Hutle, and Franz Wotawa. Combining hypertree, bicomp, andhinge decomposition. In Proceedings of the European Conference on Artificial Intel-ligence (ECAI), Lyon, France, July 2002.

[192] Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Can AIhelp to improve debugging substantially? Debugging Experiences with Value-BasedModels. In Proceedings of the European Conference on Artificial Intelligence (ECAI),Lyon, France, July 2002.

[193] Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Towardsand Integrated Debugging Environment. In Proceedings of the European Conferenceon Artificial Intelligence (ECAI), Lyon, France, July 2002.

[194] Franz Wotawa and Markus Stumptner and Wolfgang Mayer. Model-Based Debug-ging or How to Diagnose Programs Automatically. In Proceedings of the InternationalConference on Industrial and Engineering Applications of Artificial Intelligence andExpertsystems, Australia, 2002. Springer-Verlag.

[195] Wolfgang Mayer and Markus Stumptner and Dominik Wieland and Franz Wotawa.Observations and Results Gained from the Jade Project. In Proceedings of the Thir-teenth International Workshop on Principles of Diagnosis, Semmering, Austria, 2002.

[196] Walther Neuper and Franz Wotawa. Model-based Reasoning in Mathematical Tutor-ing Systems – Preliminary Report. In Proc. of the Model-Based Educational Systems

39

and Qualitative Reasoning Workshop, 6th International Conference on Intelligent Tu-toring Systems (ITS), pp 53–62, San Sebastian, Spain, June 2002.

[197] Pilar Gomez and Angela Nebot and Francisco Mugica and Franz Wotawa. FuzzyInductive Reasoning for the Prediction of Maximum Ozone Concentration. In Pro-ceedings 13th European Simulation Symposium (ESS-2001) – Special Session onModelling and Simulation in Ecology, Biology, and Environment, Marseilles, France,Oct. 18-20, 2001.

[198] Gerhard Fleischanderl and Herwig Schreiner and Thomas Havelka and MarkusStumptner and Franz Wotawa. DiKe – A Model-Based Diagnosis Kernel and itsApplication”. In Proceedings of the Joint German/Austrian Conference on ArtificialIntelligence (KI), Vienna, Austria, 2001.

[199] Markus Stumptner and Dominik Wieland and Franz Wotawa. Comparing Two Modelsfor Software Debugging. In Proceedings of the Joint German/Austrian Conferenceon Artificial Intelligence (KI), Vienna, Austria, 2001.

[200] Franz Wotawa. Using Multiple Models for Debugging VHDL Designs. In Proceedingsof the International Conference on Industrial and Engineering Applications of ArtificialIntelligence and Expertsystems, Budapest, Hungary, 2001. Springer-Verlag.

[201] Markus Stumptner and Dominik Wieland and Franz Wotawa. Analysing models forsoftware debugging. In Proceedings of the Twelfth International Workshop on Princi-ples of Diagnosis, Sansicario, Italy, 2001.

[202] Franz Wotawa On the Relationship between Model-based Debugging and ProgramMutation. In Proceedings of the Twelfth International Workshop on Principles of Di-agnosis, Sansicario, Italy, 2001.

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

[204] Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Locating bugs in Java pro-grams – first results of the Java Diagnosis Experiments (Jade) project. In Proceed-ings of the International Conference on Industrial and Engineering Applications ofArtificial Intelligence and Expert Systems, New Orleans, 2000. Springer-Verlag.

[205] Cristinel Mateis and Markus Stumptner and Dominik Wieland and Franz Wotawa.JADE - AI Support for Debugging Java Programs. In Proceedings of the 12th In-ternational Conference on Tools with Artificial Intelligence, Canada, Nov. 2000. Alsoappears in [211].

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

[207] Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE - AStep towards an Intelligent Debugger. In Proceedings on the Eleventh InternationalWorkshop on Principles of Diagnosis, Morelia, Mexico, June 2000.

[208] Thomas Havelka, Markus Stumptner, and Franz Wotawa. AD2L- A ProgrammingLanguage for Model-Based Systems (Preliminary Report). In Proceedings on theEleventh International Workshop on Principles of Diagnosis, Morelia, Mexico, June

40

2000.

[209] Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. Model-Based Debugging of Java Programs. In Proceedings of the Fourth InternationalWorkshop on Automated Debugging (AADEBUG-00), Munich, Germany, 2000.

[210] Franz Wotawa and Gerhard Wotawa. Deriving Qualitative Rules from Neural Net-works in Environmental Science – Preliminary Report. In ECAI’2000 Workshop onBinding Environmental Science and Artificial Intelligence (BESAI’2000), Berlin, Ger-many, 2000.

[211] Cristinel Mateis, Markus Stumptner, Dominik Wieland, and Franz Wotawa. JADE -AI Support for Debugging Java Programs. In Proceedings of the 3rd Workshop onIntelligent Software Engineering, Limerick, Ireland, June 2000.

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

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

[214] Markus Stumptner and Franz Wotawa. Debugging Functional Programs. In Proceed-ings of the International Joint Conference on Artificial Intelligence (IJCAI), Stockholm,Sweden, August 1999.

[215] Franz Wotawa. New Directions in Debugging Hardware Designs. In Proceedings ofthe International Conference on Industrial and Engineering Applications of ArtificialIntelligence and Expert Systems, Cairo, Egypt, 1999. Springer-Verlag.

[216] Christian Piccardi and Franz Wotawa. Towards a framework for mobile diagnosisagents. In Proceedings of the International Conference on Industrial and Engineer-ing Applications of Artificial Intelligence and Expert Systems, Cairo, Egypt, 1999.Springer-Verlag.

[217] Cristinel Mateis, Markus Stumptner, and Franz Wotawa. Debugging of Java Pro-grams using a Model-Based Approach. In Proceedings on the Tenth InternationalWorkshop on Principles of Diagnosis, Loch Awe, Scotland, 1999.

[218] Franz Wotawa. Debugging synthesizeable VHDL Programs. In Proceedings on theTenth International Workshop on Principles of Diagnosis, Loch Awe, Scotland, 1999.

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

[220] Dominik Wieland and Franz Wotawa. Local Maximum Ozone Concentration Pre-diction Using Neural Networks. In AAAI-99 Workshop on Environmental DecisionSupport Systems and Artificial Intelligence (W7), Orlando, Florida, 1999.

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

41

[222] Markus Stumptner and Franz Wotawa. Jade – java diagnosis experiments – statusand outlook. In IJCAI ’99 Workshop on Qualitative and Model Based Reasoning forComplex Systems and their Control, Stockholm, Sweden, 1999.

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

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

[225] Markus Stumptner and Franz Wotawa. Model-based debugging of functional pro-grams. In Proceedings on the Ninth International Workshop on Principles of Diagno-sis, Cape Cod, May 1998.

[226] Markus Stumptner and Franz Wotawa. Mbd research activities at vienna universityof technology. In Proceedings of the ECAI-98 Workshop W5 ’Model-based systemsand qualitative reasoning’, Brighton, UK, August 1998.

[227] Markus Stumptner and Franz Wotawa. Diagnosing Tree-Structured Systems. InProceedings of the International Joint Conference on Artificial Intelligence (IJCAI),Nagoya, 1997.

[228] Markus Stumptner and Franz Wotawa. Diagnosing Tree-Structured Systems. InProceedings on the Eighth International Workshop on Principles of Diagnosis, LeMont-Saint-Michel, France, 1997.

[229] Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosisof hardware designs. In Proceedings of the European Conference on Artifical Intelli-gence (ECAI), Budapest, August 1996.

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

[231] Markus Stumptner and Franz Wotawa. Model-based program debugging and repair.In Proceedings of the International Conference on Industrial and Engineering Appli-cations of Artificial Intelligence and Expert Systems, Fukuoka, 1996.

[232] Markus Stumptner and Franz Wotawa. Model-based diagnosis of hardware de-scription languages. In Proc. Computational Engineering in Systems ApplicationsCESA’96 IMACS Multiconference, Invited Session on Model-Based Systems, Lille,1996.

[233] Markus Stumptner and Franz Wotawa. A model-based approach to software de-bugging. In Proceedings on the Seventh International Workshop on Principles ofDiagnosis, Val Morin, Canada, 1996.

[234] Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis ofhardware designs. In Proceedings on the Sixth International Workshop on Principlesof Diagnosis, Goslar, October 1995.

42

Other publications

[1] Alexander Felfernig and Franz Wotawa. Guest Editorial Special Issue: IntelligentEngineering Techniques for Knowledge Basess. AI Communications, to be pub-lished, 2013.

[2] Birgit Hofer and Franz Wotawa. Fallstudien zum Einsatz modellbasierter Testtech-niken in der industriellen Praxis. ObjectSpektrum, Online-Themenspecial Test-ing 2012. http://www.sigs-datacom.de/fachzeitschriften/objektspektrum/

online-themenspecials/artikelansicht.html?show=2925

[3] G. Fraser and F. Wotawa. Using Formal Methods for Ensuring Quality Require-ments of Systems. E & I Elektrotechnik und Informationstechnik, 124 (1), pp. 13-16,2007.

[4] F. Wotawa, C. Picardi, P. Salles. Guest Editorial: An Introduction to Model-basedSystems. AI Communications, 20 (1), pp. 1-6. 2007.

[5] F. Wotawa. Foreword for the book Mass Customization Information Systems inBusiness, T. Blecker and G. Friedrich (eds). Information Science Reference. 2007.

[6] Mihaela Oprea, Miquel Sanchez-Marre and Franz Wotawa Guest-Editorial SpecialIssue on Binding Environmental Sciences and Artificial Intelligence. Ai Communi-cations, 18(4), pp 243-245, 2005

[7] G. Fraser, G. Steinbauer, F. Wotawa. Autonome mobile Roboter – Anwendung vonAI zur Intelligenten Kontrolle. E & I Elektrotechnik und Informationstechnik, 122(7-8), pp. 243-246, 2005.

[8] Ulises Cortes and Miquel Sanchez-Marre and Franz Wotawa. Guest-Editorial Spe-cial Issue on Binding Environmental Sciences and Artificial Intelligence. Ai Com-munications, 16(4), 2003.

[9] Gerald Steinbauer, Arndt Mulenfeld, Roland Koholka, Robert Rohrer, HaraldHartl, and Franz Wotawa. Modulbasiertes Hardware–Design fur Autonome MobileMehrzweckroboter. Informationstagung Mikroelektronik (ME 2003), Vienna Oct. 1–2, 2003.

[10] Roderick Bloem and Franz Wotawa. Verification and Fault Localization in VHDLPrograms. Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes, 8(2):30–33,2002.

[11] Bernhard Peischl and Franz Wotawa. Fixing Faults in VHDL-RTL Programs: AnApplication of Model-based Diagnosis to Digital Circuit Designs. OGAI Journal,21(4):6-17, 2002.

[12] Wolfgang Mayer and Markus Stumptner and Franz Wotawa. Can AI help to im-prove debugging substantially? Automatic Debugging and the Jade Project. OGAIJournal, 21(4):18-22, 2002.

[13] Franz Wotawa. Report - The 13th International Workshop on Principles of Diagno-sis (DX-02). CologNet Newsletter, 2002.

[14] Franz Wotawa. Guest–Editorial Special Issue on Model-Based Diagnosis. OGAI

43

Journal, 21(3):2–4, 2002.

[15] Franz Wotawa and Markus Stumptner Modellbasierte Diagnose – Uberblick undtechnische Anwendung OVE Verbandszeitschrift Elektrotechnik und Information-stechnik (e&i) Heft 7/8, 2001.

[16] Franz Wotawa. Der OGAI Preis. Journal of the Austrian Society for Artificial Intelli-gence, 20(3), 2001.

[17] Markus Stumptner and Franz Wotawa. Guest-Editorial Special Issue on IndustrialApplications of Model-based Reasoning. Ai Communications, 13(2):59–60, 2000.

[18] Franz Wotawa. Guest–Editorial Special Issue on Model-Based Reasoning. Ai Com-munications, 12(1/2):1–3, 1999.

[19] Thomas Albrecht, Gerhard Friedrich, Stefan Rohringer, Markus Stumptner, andFranz Wotawa. The Design Diagnosis of VHDL Specifications Project (DDV) - FaultLocalization in Hardware Designs. Journal of the Austrian Society for Artificial In-telligence, 18(1), 1999.

[20] Georg Gottlob, Nicola Leone, Wolfgang Slany, Hemlut Veith, and Franz Wotawa.Research at DBAI on Logic and Complexity. Journal of the Austrian Society forArtificial Intelligence, 1998.

[21] Franz Wotawa. ECAI–98 Konferenzbericht. Journal of the Austrian Society forArtificial Intelligence, 1998.

Unpublished Papers and Technical Reports

[1] Markus Stumptner and Franz Wotawa. A Graph Representation for Diagnosingthe Execution of Functional Programs. Technical Report DBAI-MBD-TR-95-02,Technische Universitat Wien, January 1995.

[2] Markus Stumptner and Franz Wotawa. Modeling VHDL Programs for Diagnosiswith Linear Computational Complexity. Technical Report DBAI-MBD-TR-95-03,Technische Universitat Wien, June 1995.

[3] Thomas Albrecht, Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. WF-COMP and VHDLDIAG: Two Tools for Utilizing the Hardware Design Cycle. Tech-nical Report DBAI-MBD-TR-95-04, Technische Universitat Wien, June 1995.

[4] Markus Stumptner and Franz Wotawa. A Model-Based Approach to Software De-bugging. Technical Report DBAI-MBD-TR-96-05, Technische Universitat Wien,June 1996.

[5] Markus Stumptner and Franz Wotawa. Model-Based Program Debugging andRepair. Technical Report DBAI-MBD-TR-96-06, Technische Universitat Wien,April 1996.

[6] Markus Stumptner and Franz Wotawa. Model-Based Diagnosis of Hardware De-scription Languages. Technical Report DBAI-MBD-TR-96-07, Technische Uni-versitat Wien, May 1996.

[7] Markus Stumptner and Franz Wotawa. Two Algorithms for Model-Based Di-

44

agnosis. Technical Report DBAI-MBD-TR-96-08, Technische Universitat Wien,September 1996.

[8] Thomas Havelka and Franz Wotawa. Design-Diagnose von VHDL-Spezifikationen (DDV) - Machbarkeitsstudie, 1994.

[9] Thomas Havelka and Franz Wotawa. Design-Diagnose von VHDL-Spezifikationen (DDV) - DDV Tools User Handbook and Reference, 1996.

[10] Markus Stumptner and Franz Wotawa. DDV-Tools: Erweiterungen undVerbesserungen von WFCOMP und VHDLDIAG, 1996.

[11] Franz Wotawa. Dike: Interface GUI – Diagnosekern. Technical Report DIKE-1997-01-V1.3, Technische Universitat Wien, September 1997.

[12] Franz Wotawa. Dike: Diagnosekern Verwendung und Implementierung. Techni-cal Report DIKE-1997-02-V1.2, Technische Universitat Wien, September 1997.

[13] Franz Wotawa. Dike: DTalk – Eine Sprache fur Diagnosesysteme. TechnicalReport DIKE-1997-03-V1.3, Technische Universitat Wien, September 1997.

[14] Markus Stumptner and Franz Wotawa. Dike: Modelle. Technical Report DIKE-1997-04-V1.1, Technische Universitat Wien, October 1997.

[15] Franz Wotawa. Dike: Diagnosekern – Dynamische anderung von Diagnosesys-temen. Technical Report DIKE-1997-05-V1.0, Technische Universitat Wien, Oc-tober 1997.

[16] Franz Wotawa. New Directions in Debugging Hardware Designs. Technical Re-port DBAI-TR-99-24, Technische Universitat Wien, 1999.

[17] Cristinel Mateis, Markus Stumptner, and Franz Wotawa. A Functional Depen-dency Model for Java Programs. Technical Report DBAI-TR-99, Technische Uni-versitat Wien, Institut fur Informationssysteme 184/2, Paniglgasse 16, A-1040Wien, Austria, 1999.

[18] Georg Gottlob, Martin Hutle, Stefan Katzenbeisser, and Franz Wotawa. Comput-ing Solutions to Heterogenous Constraint Networks Using Hypertree Decompo-sitions. Technical Report DBAI-TR-01-DC01, Technische Universitat Wien, Insti-tut fur Informationssysteme 184/2, Favoritenstraße 9-11, A-1040 Wien, Austria,2001.

45