dblp.uni-trier.dewww.uni-trier.de

Franz Wotawa Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
98EESafeeullah Soomro, Franz Wotawa: Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge. IEA/AIE 2009: 379-388
97 Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa: Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS. SEKE 2009: 129-134
96EEGordon Fraser, Franz Wotawa: Complementary Criteria for Testing Temporal Logic Properties. TAP 2009: 58-73
95EEGordon Fraser, Franz Wotawa, Paul Ammann: Issues in using model checkers for test case generation. Journal of Systems and Software 82(9): 1403-1418 (2009)
94EEGordon Fraser, Franz Wotawa, Paul Ammann: Testing with model checkers: a survey. Softw. Test., Verif. Reliab. 19(3): 215-261 (2009)
2008
93EEMihai Nica, Franz Wotawa: From constraint representations of sequential code and program annotations to their use in debugging. ECAI 2008: 797-798
92EEJörg Weber, Franz Wotawa: Dependent Failures in Consistency-based Diagnosis. ECAI 2008: 801-802
91EEGerald Steinbauer, Franz Wotawa: Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning. ICIRA (1) 2008: 510-519
90 Franz Wotawa: Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging? ICSOFT (SE/MUSE/GSDCA) 2008: 88-95
89EEHarald Brandl, Franz Wotawa: Test Case Generation from QR Models. IEA/AIE 2008: 235-244
88EEGerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa: A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots. IEA/AIE 2008: 541-550
87EEJaved Ferzund, Syed Nadeem Ahsan, Franz Wotawa: Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software. IWSM/Metrikon/Mensura 2008: 331-343
86EEGordon Fraser, Martin Weiglhofer, Franz Wotawa: Coverage Based Testing with Test Purposes. QSIC 2008: 199-208
85 Harald Brandl, Gordon Fraser, Franz Wotawa: Coverage-based Testing Using Qualitative Reasoning Models. SEKE 2008: 393-398
84 Gordon Fraser, Martin Weiglhofer, Franz Wotawa: Using Observer Automata to Select Test Cases for Test Purposes. SEKE 2008: 709-714
83 Franz Wotawa: Bridging the Gap Between Slicing and Model-based Diagnosis. SEKE 2008: 836-841
82 Mihai Nica, Bernhard Peischl, Franz Wotawa: A Constraint Model for Automated Deployment of Automotive Control Software. SEKE 2008: 899-904
81EEAlexander Kleiner, Gerald Steinbauer, Franz Wotawa: Towards Automated Online Diagnosis of Robot Navigation Software. SIMPAR 2008: 159-170
80EEBernhard Peischl, Naveed Riaz, Franz Wotawa: Advances in Automated Source-Level Debugging of Verilog Designs. New Challenges in Applied Intelligence Technologies 2008: 363-372
79EEBernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa: Improving Fault-based Conformance Testing. Electr. Notes Theor. Comput. Sci. 220(1): 63-77 (2008)
78EEFranz Wotawa, Mihai Nica: On the Compilation of Programs into their Equivalent Constraint Representation. Informatica (Slovenia) 32(4): 359-371 (2008)
77EEGordon Fraser, Franz Wotawa: Using model-checkers to generate and analyze property relevant test-cases. Software Quality Journal 16(2): 161-183 (2008)
2007
76EEBernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa: Test purpose generation in an industrial application. A-MOST 2007: 115-125
75EEGordon Fraser, Franz Wotawa: Using LTL rewriting to improve the performance of model-checker based test-case generation. A-MOST 2007: 64-74
74EEGordon Fraser, Franz Wotawa: Redundancy Based Test-Suite Reduction. FASE 2007: 291-305
73 Gordon Fraser, Franz Wotawa: Creating Test-Cases Incrementally with Model-Checkers. GI Jahrestagung (2) 2007: 381-386
72 Bernhard Peischl, Martin Weiglhofer, Franz Wotawa: Executing Abstract Test Cases. GI Jahrestagung (2) 2007: 416-421
71EEGordon Fraser, Franz Wotawa: Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. ICSEA 2007: 45
70EEJörg Weber, Franz Wotawa: Diagnosing Dependent Failures in the Hardware and Software of Mobile Autonomous Robots. IEA/AIE 2007: 633-643
69EEMathias Brandstötter, Michael W. Hofbaur, Gerald Steinbauer, Franz Wotawa: Model-based fault diagnosis and reconfiguration of robot drives. IROS 2007: 1203-1209
68EEArndt Mühlenfeld, Franz Wotawa: Fault detection in multi-threaded c++ server applications. PPOPP 2007: 142-143
67EEGordon Fraser, Franz Wotawa: Nondeterministic Testing with Linear Model-Checker Counterexamples. QSIC 2007: 107-116
66EEGordon Fraser, Franz Wotawa: Improving Model-Checkers for Software Testing. QSIC 2007: 25-31
65EEBernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa: Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. SEFM 2007: 215-226
64EEMichael W. Hofbaur, Johannes Köb, Gerald Steinbauer, Franz Wotawa: Model-Based Reasoning for Self-Repair of Autonomous Mobile Robots. Model-Based Reasoning in Science, Technology, and Medicine 2007: 431-445
63EEClaudia Picardi, Paulo Salles, Franz Wotawa: An introduction to model-based systems. AI Commun. 20(1): 1-6 (2007)
62EEArndt Mühlenfeld, Franz Wotawa: Fault Detection in Multi-Threaded C++ Server Applications. Electr. Notes Theor. Comput. Sci. 174(9): 5-22 (2007)
61EEGordon Fraser, Bernhard K. Aichernig, Franz Wotawa: Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. Electr. Notes Theor. Comput. Sci. 190(2): 33-46 (2007)
60EEMichael W. Hofbaur, Johannes Köb, Gerald Steinbauer, Franz Wotawa: Improving Robustness of Mobile Robots Using Model-based Reasoning. Journal of Intelligent and Robotic Systems 48(1): 37-54 (2007)
2006
59 Michael W. Hofbaur, Franz Wotawa: A Causal Analysis Method for Concurrent Hybrid Automata. AAAI 2006
58EEDaniel Köb, Franz Wotawa: Fundamentals of Debugging Using a Resolution Calculus. FASE 2006: 278-292
57EEGordon Fraser, Franz Wotawa: Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. ICSEA 2006: 16
56EEFranz Wotawa, Bibiane Angerer: Retaining Consistency in Temporal Knowledge Bases. IEA/AIE 2006: 600-609
55EERong Chen, Franz Wotawa: Diagnosing Program Errors with Light-Weighted Specifications. IEA/AIE 2006: 639-649
54EEBernhard Peischl, Safeeullah Soomro, Franz Wotawa: Towards Lightweight Fault Localization in Procedural Programs. IEA/AIE 2006: 660-667
53EEJörg Weber, Franz Wotawa: Using AI Techniques for Fault Localization in Component-Oriented Software Systems. MICAI 2006: 1139-1149
52EEGordon Fraser, Franz Wotawa: Property relevant software testing with model-checkers. ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006)
51EEBernhard Peischl, Franz Wotawa: Automated Source-Level Error Localization in Hardware Designs. IEEE Design & Test of Computers 23(1): 8-19 (2006)
2005
50EEBernhard Peischl, Franz Wotawa: Error traces in model-based debugging of hardware description languages. AADEBUG 2005: 43-48
49 Rong Chen, Franz Wotawa: Understanding and Isolating Data Structure Errors of Java Programs. Artificial Intelligence and Applications 2005: 680-685
48EERong Chen, Franz Wotawa: An Object Store Model for Diagnosing Java Programs. Australian Conference on Artificial Intelligence 2005: 865-870
47EEGordon Fraser, Gerald Steinbauer, Franz Wotawa: Plan Execution in Dynamic Environments. IEA/AIE 2005: 208-217
46EEFranz Wotawa, Safeeullah Soomro: Fault Localization Based on Abstract Dependencies. IEA/AIE 2005: 357-359
45EEAndreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa: Formal Verification of Control Software: A Case Study. IEA/AIE 2005: 783-788
44EEGerald Steinbauer, Franz Wotawa: Detecting and locating faults in the control software of autonomous mobile robots. IJCAI 2005: 1742-1743
43EEGerald Steinbauer, Martin Mörth, Franz Wotawa: Real-Time Diagnosis and Repair of Faults of Robot Control Software. RoboCup 2005: 13-23
42EEMihaela Oprea, Miquel Sànchez-Marrè, Franz Wotawa: Binding Environmental Sciences and Artificial Intelligence. AI Commun. 18(4): 243-245 (2005)
2004
41 Daniel Köb, Franz Wotawa: Introducing Alias Information into Model-Based Debugging. ECAI 2004: 833-837
40EEGerald Steinbauer, Gordon Fraser, Arndt Mühlenfeld, Franz Wotawa: A Modular Architecture for a Multi-purpose Mobile Robot. IEA/AIE 2004: 1007-1015
39EERong Chen, Daniel Köb, Franz Wotawa: Diagnosing Java Programs with Static Abstractions of Data Structures. Intelligent Information Processing 2004: 369-372
38EERong Chen, Daniel Köb, Franz Wotawa: Improving Fault Localization of Programs by Using Labeled Dependencies. KI 2004: 366-380
37EEGordon Fraser, Franz Wotawa: Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains. RobuCup 2004: 524-531
36 Bernhard Peischl, Franz Wotawa: Are Error Traces Enough for Automated Fault Localization in VHDL Designs? WISES 2004: 49-60
35EEFranz Wotawa: Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results. Appl. Intell. 21(2): 159-172 (2004)
2003
34EEDaniel Köb, Bernhard Peischl, Franz Wotawa: Debugging VHDL Designs Using Temporal Process Instances. IEA/AIE 2003: 402-415
33 Markus Stumptner, Franz Wotawa: Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems. IJCAI 2003: 388-393
32EEUlises Cortés, Miquel Sànchez-Marrè, Franz Wotawa: Guest editorial: Binding Environmental Sciences and Artificial Intelligence. AI Commun. 16(4): 219-220 (2003)
31EEBernhard Peischl, Franz Wotawa: Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach CoRR cs.AI/0311001: (2003)
30EEBernhard Peischl, Franz Wotawa: Model-Based Diagnosis or Reasoning from First Principles. IEEE Intelligent Systems 18(3): 32-37 (2003)
2002
29 Georg Gottlob, Martin Hutle, Franz Wotawa: Combining hypertree, bicomp, and hinge decomposition. ECAI 2002: 161-165
28 Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa: Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. ECAI 2002: 417-421
27 Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa: Towards an Integrated Debugging Environment. ECAI 2002: 422-426
26EEFranz Wotawa, Markus Stumptner, Wolfgang Mayer: Model-Based Debugging or How to Diagnose Programs Automatically. IEA/AIE 2002: 746-757
25EEGerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa: DiKe - a model-based diagnosis kernel and its application. AI Commun. 15(1): 17-30 (2002)
24 Franz Wotawa: Debugging Hardware Designs Using a Value-Based Model. Appl. Intell. 16(1): 71-92 (2002)
23EEFranz Wotawa: On the relationship between model-based debugging and program slicing. Artif. Intell. 135(1-2): 125-143 (2002)
2001
22EEFranz Wotawa: Using Multiple Models for Debugging VHDL Designs. IEA/AIE 2001: 125-134
21EEMarkus Stumptner, Dominik Wieland, Franz Wotawa: Comparing Two Models for Software Debugging. KI/ÖGAI 2001: 351-365
20EEGerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa: DiKe - A Model-Based Diagnosis Kernel and Its Application. KI/ÖGAI 2001: 440-454
19 Franz Wotawa, Gerhard Wotawa: Deriving qualitative rules from neural networks - a case study for ozone forecasting. AI Commun. 14(1): 23-33 (2001)
18EEMarkus Stumptner, Franz Wotawa: Diagnosing tree-structured systems. Artif. Intell. 127(1): 1-29 (2001)
17EEFranz Wotawa: A variant of Reiter's hitting-set algorithm. Inf. Process. Lett. 79(1): 45-51 (2001)
2000
16EECristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa: Model-Based Debugging of Java Programs. AADEBUG 2000
15 Cristinel Mateis, Markus Stumptner, Franz Wotawa: Modeling Java Programs for Diagnosis. ECAI 2000: 171-175
14EECristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa: JADE - AI Support for Debugging Java Programs. ICTAI 2000: 62-
13EECristinel Mateis, Markus Stumptner, Franz Wotawa: Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project. IEA/AIE 2000: 174-183
12 Markus Stumptner, Franz Wotawa: Industrial Applications of Model-based Reasoning - Guest Editorial. AI Commun. 13(2): 59-60 (2000)
11EEFranz Wotawa: Debugging VHDL designs using model-based reasoning. AI in Engineering 14(4): 331-351 (2000)
10 Markus Stumptner, Franz Wotawa: Using Model-Based Reasoning for Locating Faults in VHDL Designs. KI 14(4): 62-67 (2000)
1999
9 Franz Wotawa: New Directions in Debugging Hardware Designs. IEA/AIE 1999: 226-235
8 Christian Piccardi, Franz Wotawa: A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents. IEA/AIE 1999: 420-429
7 Markus Stumptner, Franz Wotawa: Debugging Functional Programs. IJCAI 1999: 1074-1079
6 Franz Wotawa: Model-Based Reasoning (Guest Editor's Introduction). AI Commun. 12(1-2): 1-3 (1999)
5EEGerhard Friedrich, Markus Stumptner, Franz Wotawa: Model-Based Diagnosis of Hardware Designs. Artif. Intell. 111(1-2): 3-39 (1999)
1998
4 Markus Stumptner, Franz Wotawa: A Survey of Intelligent Debugging. AI Commun. 11(1): 35-51 (1998)
1997
3 Markus Stumptner, Franz Wotawa: Diagnosing Tree Structured Systems. IJCAI (1) 1997: 440-445
1996
2 Gerhard Friedrich, Markus Stumptner, Franz Wotawa: Model-Based Diagnosis of Hardware Designs. ECAI 1996: 491-495
1 Markus Stumptner, Franz Wotawa: Model-Based Program Debugging and Repair. IEA/AIE 1996: 155-160

Coauthor Index

1Syed Nadeem Ahsan [87] [97]
2Bernhard K. Aichernig [61] [65] [76] [79]
3Paul Ammann [94] [95]
4Bibiane Angerer [56]
5Roderick Bloem [45]
6Harald Brandl [85] [89]
7Mathias Brandstötter [69]
8Rong Chen [38] [39] [48] [49] [55]
9Ulises Cortés [32]
10Javed Ferzund [87] [97]
11Gerhard Fleischanderl [20] [25]
12Gordon Fraser [37] [40] [47] [52] [57] [61] [66] [67] [71] [73] [74] [75] [77] [84] [85] [86] [94] [95] [96]
13Gerhard Friedrich [2] [5]
14Georg Gottlob [29]
15Andreas Griesmayer [45]
16Gerhard Gubisch [88]
17Martin Hautzendorfer [45]
18Thomas Havelka [20] [25]
19Michael W. Hofbaur [59] [60] [64] [69]
20Martin Hutle [29]
21Alexander Kleiner [81]
22Daniel Köb [34] [38] [39] [41] [58]
23Johannes Köb [60] [64]
24Cristinel Mateis [13] [14] [15] [16]
25Wolfgang Mayer [26] [27] [28]
26Martin Mörth [43]
27Arndt Mühlenfeld [40] [62] [68]
28Mihai Nica [78] [82] [93]
29Mihaela Oprea [42]
30Bernhard Peischl [30] [31] [34] [36] [50] [51] [54] [65] [72] [76] [80] [82]
31Claudia Picardi [63]
32Christian Piccardi [8]
33Naveed Riaz [80]
34Paulo Salles [63]
35Miquel Sànchez-Marrè [32] [42]
36Herwig Schreiner [20] [25]
37Safeeullah Soomro [46] [54] [98]
38Gerald Steinbauer [40] [43] [44] [47] [60] [64] [69] [81] [88] [91]
39Markus Stumptner [1] [2] [3] [4] [5] [7] [10] [12] [13] [14] [15] [16] [18] [20] [21] [25] [26] [27] [28] [33]
40Jörg Weber [53] [70] [92]
41Martin Weiglhofer [65] [72] [76] [79] [84] [86] [88]
42Dominik Wieland [14] [16] [21] [27] [28]
43Gerhard Wotawa [19]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)