SCEAS

The SCEAS System

Search the dblp DataBase

Title:
Author:

Franz Wotawa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

Michael W. Hofbaur, Franz Wotawa
A Causal Analysis Method for Concurrent Hybrid Automata. [Citation Graph (0, 0)][DBLP]
AAAI, 2006, pp:- [Conf]
Bernhard Peischl, Franz Wotawa
Error traces in model-based debugging of hardware description languages. [Citation Graph (0, 0)][DBLP]
AADEBUG, 2005, pp:43-48 [Conf]
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
Model-Based Debugging of Java Programs. [Citation Graph (0, 0)][DBLP]
AADEBUG, 2000, pp:- [Conf]
Rong Chen, Franz Wotawa
Understanding and Isolating Data Structure Errors of Java Programs. [Citation Graph (0, 0)][DBLP]
Artificial Intelligence and Applications, 2005, pp:680-685 [Conf]
Rong Chen, Franz Wotawa
An Object Store Model for Diagnosing Java Programs. [Citation Graph (0, 0)][DBLP]
Australian Conference on Artificial Intelligence, 2005, pp:865-870 [Conf]
Gerhard Friedrich, Markus Stumptner, Franz Wotawa
Model-Based Diagnosis of Hardware Designs. [Citation Graph (0, 0)][DBLP]
ECAI, 1996, pp:491-495 [Conf]
Georg Gottlob, Martin Hutle, Franz Wotawa
Combining hypertree, bicomp, and hinge decomposition. [Citation Graph (0, 0)][DBLP]
ECAI, 2002, pp:161-165 [Conf]
Daniel Köb, Franz Wotawa
Introducing Alias Information into Model-Based Debugging. [Citation Graph (0, 0)][DBLP]
ECAI, 2004, pp:833-837 [Conf]
Cristinel Mateis, Markus Stumptner, Franz Wotawa
Modeling Java Programs for Diagnosis. [Citation Graph (0, 0)][DBLP]
ECAI, 2000, pp:171-175 [Conf]
Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa
Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. [Citation Graph (0, 0)][DBLP]
ECAI, 2002, pp:417-421 [Conf]
Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa
Towards an Integrated Debugging Environment. [Citation Graph (0, 0)][DBLP]
ECAI, 2002, pp:422-426 [Conf]
Daniel Köb, Franz Wotawa
Fundamentals of Debugging Using a Resolution Calculus. [Citation Graph (0, 0)][DBLP]
FASE, 2006, pp:278-292 [Conf]
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
JADE - AI Support for Debugging Java Programs. [Citation Graph (0, 0)][DBLP]
ICTAI, 2000, pp:62-0 [Conf]
Rong Chen, Franz Wotawa
Diagnosing Program Errors with Light-Weighted Specifications. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2006, pp:639-649 [Conf]
Gordon Fraser, Gerald Steinbauer, Franz Wotawa
Plan Execution in Dynamic Environments. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2005, pp:208-217 [Conf]
Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa
Formal Verification of Control Software: A Case Study. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2005, pp:783-788 [Conf]
Daniel Köb, Bernhard Peischl, Franz Wotawa
Debugging VHDL Designs Using Temporal Process Instances. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2003, pp:402-415 [Conf]
Cristinel Mateis, Markus Stumptner, Franz Wotawa
Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2000, pp:174-183 [Conf]
Bernhard Peischl, Safeeullah Soomro, Franz Wotawa
Towards Lightweight Fault Localization in Procedural Programs. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2006, pp:660-667 [Conf]
Christian Piccardi, Franz Wotawa
A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 1999, pp:420-429 [Conf]
Gerald Steinbauer, Gordon Fraser, Arndt Mühlenfeld, Franz Wotawa
A Modular Architecture for a Multi-purpose Mobile Robot. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2004, pp:1007-1015 [Conf]
Franz Wotawa
Using Multiple Models for Debugging VHDL Designs. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2001, pp:125-134 [Conf]
Franz Wotawa
New Directions in Debugging Hardware Designs. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 1999, pp:226-235 [Conf]
Franz Wotawa, Bibiane Angerer
Retaining Consistency in Temporal Knowledge Bases. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2006, pp:600-609 [Conf]
Franz Wotawa, Safeeullah Soomro
Fault Localization Based on Abstract Dependencies. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2005, pp:357-359 [Conf]
Franz Wotawa, Markus Stumptner, Wolfgang Mayer
Model-Based Debugging or How to Diagnose Programs Automatically. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2002, pp:746-757 [Conf]
Rong Chen, Daniel Köb, Franz Wotawa
Diagnosing Java Programs with Static Abstractions of Data Structures. [Citation Graph (0, 0)][DBLP]
Intelligent Information Processing, 2004, pp:369-372 [Conf]
Gerald Steinbauer, Franz Wotawa
Detecting and locating faults in the control software of autonomous mobile robots. [Citation Graph (0, 0)][DBLP]
IJCAI, 2005, pp:1742-1743 [Conf]
Markus Stumptner, Franz Wotawa
Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems. [Citation Graph (0, 0)][DBLP]
IJCAI, 2003, pp:388-393 [Conf]
Markus Stumptner, Franz Wotawa
Diagnosing Tree Structured Systems. [Citation Graph (0, 0)][DBLP]
IJCAI (1), 1997, pp:440-445 [Conf]
Markus Stumptner, Franz Wotawa
Debugging Functional Programs. [Citation Graph (0, 0)][DBLP]
IJCAI, 1999, pp:1074-1079 [Conf]
Rong Chen, Daniel Köb, Franz Wotawa
Improving Fault Localization of Programs by Using Labeled Dependencies. [Citation Graph (0, 0)][DBLP]
KI, 2004, pp:366-380 [Conf]
Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa
DiKe - A Model-Based Diagnosis Kernel and Its Application. [Citation Graph (0, 0)][DBLP]
KI/ÖGAI, 2001, pp:440-454 [Conf]
Markus Stumptner, Dominik Wieland, Franz Wotawa
Comparing Two Models for Software Debugging. [Citation Graph (0, 0)][DBLP]
KI/ÖGAI, 2001, pp:351-365 [Conf]
Jörg Weber, Franz Wotawa
Using AI Techniques for Fault Localization in Component-Oriented Software Systems. [Citation Graph (0, 0)][DBLP]
MICAI, 2006, pp:1139-1149 [Conf]
Arndt Mühlenfeld, Franz Wotawa
Fault detection in multi-threaded c++ server applications. [Citation Graph (0, 0)][DBLP]
PPOPP, 2007, pp:142-143 [Conf]
Gordon Fraser, Franz Wotawa
Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains. [Citation Graph (0, 0)][DBLP]
RobuCup, 2004, pp:524-531 [Conf]
Gerald Steinbauer, Martin Mörth, Franz Wotawa
Real-Time Diagnosis and Repair of Faults of Robot Control Software. [Citation Graph (0, 0)][DBLP]
RoboCup, 2005, pp:13-23 [Conf]
Bernhard Peischl, Franz Wotawa
Are Error Traces Enough for Automated Fault Localization in VHDL Designs? [Citation Graph (0, 0)][DBLP]
WISES, 2004, pp:49-60 [Conf]
Gordon Fraser, Franz Wotawa
Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. [Citation Graph (0, 0)][DBLP]
ICSEA, 2006, pp:16- [Conf]
Franz Wotawa
Debugging VHDL designs using model-based reasoning. [Citation Graph (0, 0)][DBLP]
AI in Engineering, 2000, v:14, n:4, pp:331-351 [Journal]
Gerhard Friedrich, Markus Stumptner, Franz Wotawa
Model-Based Diagnosis of Hardware Designs. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 1999, v:111, n:1-2, pp:3-39 [Journal]
Markus Stumptner, Franz Wotawa
Diagnosing tree-structured systems. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 2001, v:127, n:1, pp:1-29 [Journal]
Franz Wotawa
On the relationship between model-based debugging and program slicing. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 2002, v:135, n:1-2, pp:125-143 [Journal]
Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa
DiKe - a model-based diagnosis kernel and its application. [Citation Graph (0, 0)][DBLP]
AI Commun., 2002, v:15, n:1, pp:17-30 [Journal]
Ulises Cortés, Miquel Sànchez-Marrè, Franz Wotawa
Guest editorial: Binding Environmental Sciences and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
AI Commun., 2003, v:16, n:4, pp:219-220 [Journal]
Franz Wotawa
Model-Based Reasoning (Guest Editor's Introduction). [Citation Graph (0, 0)][DBLP]
AI Commun., 1999, v:12, n:1-2, pp:1-3 [Journal]
Franz Wotawa, Gerhard Wotawa
Deriving qualitative rules from neural networks - a case study for ozone forecasting. [Citation Graph (0, 0)][DBLP]
AI Commun., 2001, v:14, n:1, pp:23-33 [Journal]
Markus Stumptner, Franz Wotawa
Industrial Applications of Model-based Reasoning - Guest Editorial. [Citation Graph (0, 0)][DBLP]
AI Commun., 2000, v:13, n:2, pp:59-60 [Journal]
Markus Stumptner, Franz Wotawa
A Survey of Intelligent Debugging. [Citation Graph (0, 0)][DBLP]
AI Commun., 1998, v:11, n:1, pp:35-51 [Journal]
Mihaela Oprea, Miquel Sànchez-Marrè, Franz Wotawa
Binding Environmental Sciences and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
AI Commun., 2005, v:18, n:4, pp:243-245 [Journal]
Claudia Picardi, Paulo Salles, Franz Wotawa
An introduction to model-based systems. [Citation Graph (0, 0)][DBLP]
AI Commun., 2007, v:20, n:1, pp:1-6 [Journal]
Franz Wotawa
Debugging Hardware Designs Using a Value-Based Model. [Citation Graph (0, 0)][DBLP]
Appl. Intell., 2002, v:16, n:1, pp:71-92 [Journal]
Franz Wotawa
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results. [Citation Graph (0, 0)][DBLP]
Appl. Intell., 2004, v:21, n:2, pp:159-172 [Journal]
Bernhard Peischl, Franz Wotawa
Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach [Citation Graph (0, 0)][DBLP]
CoRR, 2003, v:0, n:, pp:- [Journal]
Bernhard Peischl, Franz Wotawa
Automated Source-Level Error Localization in Hardware Designs. [Citation Graph (0, 0)][DBLP]
IEEE Design & Test of Computers, 2006, v:23, n:1, pp:8-19 [Journal]
Bernhard Peischl, Franz Wotawa
Model-Based Diagnosis or Reasoning from First Principles. [Citation Graph (0, 0)][DBLP]
IEEE Intelligent Systems, 2003, v:18, n:3, pp:32-37 [Journal]
Franz Wotawa
A variant of Reiter's hitting-set algorithm. [Citation Graph (0, 0)][DBLP]
Inf. Process. Lett., 2001, v:79, n:1, pp:45-51 [Journal]
Markus Stumptner, Franz Wotawa
Using Model-Based Reasoning for Locating Faults in VHDL Designs. [Citation Graph (0, 0)][DBLP]
KI, 2000, v:14, n:4, pp:62-67 [Journal]
Michael W. Hofbaur, Johannes Köb, Gerald Steinbauer, Franz Wotawa
Improving Robustness of Mobile Robots Using Model-based Reasoning. [Citation Graph (0, 0)][DBLP]
Journal of Intelligent and Robotic Systems, 2007, v:48, n:1, pp:37-54 [Journal]
Gordon Fraser, Franz Wotawa
Redundancy Based Test-Suite Reduction. [Citation Graph (0, 0)][DBLP]
FASE, 2007, pp:291-305 [Conf]
Jörg Weber, Franz Wotawa
Diagnosing Dependent Failures in the Hardware and Software of Mobile Autonomous Robots. [Citation Graph (0, 0)][DBLP]
IEA/AIE, 2007, pp:633-643 [Conf]
Arndt Mühlenfeld, Franz Wotawa
Fault Detection in Multi-Threaded C++ Server Applications. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:5-22 [Journal]
Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:33-46 [Journal]
Employing Test Suites for Verilog Fault Localization. [Citation Graph (, )][DBLP]
On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics. [Citation Graph (, )][DBLP]
Asynchronous Input-Output Conformance Testing. [Citation Graph (, )][DBLP]
From constraint representations of sequential code and program annotations to their use in debugging. [Citation Graph (, )][DBLP]
Dependent Failures in Consistency-based Diagnosis. [Citation Graph (, )][DBLP]
Creating Test-Cases Incrementally with Model-Checkers. [Citation Graph (, )][DBLP]
Executing Abstract Test Cases. [Citation Graph (, )][DBLP]
QR-Model Based Testing. [Citation Graph (, )][DBLP]
GUI Savvy End-to-End Testing with Smart Monkeys. [Citation Graph (, )][DBLP]
Software change classification using hunk metrics. [Citation Graph (, )][DBLP]
Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging? [Citation Graph (, )][DBLP]
Test Case Generation from QR Models. [Citation Graph (, )][DBLP]
A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots. [Citation Graph (, )][DBLP]
Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge. [Citation Graph (, )][DBLP]
Model-Based Program Debugging and Repair. [Citation Graph (, )][DBLP]
Abductive Reasoning in Environmental Decision Support Systems. [Citation Graph (, )][DBLP]
Empirical Evaluation of Hunk Metrics as Bug Predictors. [Citation Graph (, )][DBLP]
Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software. [Citation Graph (, )][DBLP]
Using Spectrum-Based Fault Localization for Test Case Grouping. [Citation Graph (, )][DBLP]
Nondeterministic Testing with Linear Model-Checker Counterexamples. [Citation Graph (, )][DBLP]
Improving Model-Checkers for Software Testing. [Citation Graph (, )][DBLP]
Coverage Based Testing with Test Purposes. [Citation Graph (, )][DBLP]
Increasing Diversity in Coverage Test Suites Using Model Checking. [Citation Graph (, )][DBLP]
Improving Coverage Based Test Purposes. [Citation Graph (, )][DBLP]
Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots. [Citation Graph (, )][DBLP]
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. [Citation Graph (, )][DBLP]
Using Observer Automata to Select Test Cases for Test Purposes. [Citation Graph (, )][DBLP]
A Constraint Model for Automated Deployment of Automotive Control Software. [Citation Graph (, )][DBLP]
Bridging the Gap Between Slicing and Model-based Diagnosis. [Citation Graph (, )][DBLP]
Coverage-based Testing Using Qualitative Reasoning Models. [Citation Graph (, )][DBLP]
Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS. [Citation Graph (, )][DBLP]
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? [Citation Graph (, )][DBLP]
Bug-Inducing Language Constructs. [Citation Graph (, )][DBLP]
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. [Citation Graph (, )][DBLP]
Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine. [Citation Graph (, )][DBLP]
Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla. [Citation Graph (, )][DBLP]
Complementary Criteria for Testing Temporal Logic Properties. [Citation Graph (, )][DBLP]
Impact analysis of SCRs using single and multi-label machine learning classification. [Citation Graph (, )][DBLP]
Test purpose generation in an industrial application. [Citation Graph (, )][DBLP]
Using LTL rewriting to improve the performance of model-checker based test-case generation. [Citation Graph (, )][DBLP]
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. [Citation Graph (, )][DBLP]
Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning. [Citation Graph (, )][DBLP]
Model-based fault diagnosis and reconfiguration of robot drives. [Citation Graph (, )][DBLP]
Towards Automated Online Diagnosis of Robot Navigation Software. [Citation Graph (, )][DBLP]
On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems. [Citation Graph (, )][DBLP]
Combining Runtime Diagnosis and AI-planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures. [Citation Graph (, )][DBLP]
A Database for the Analysis of Program Change Patterns. [Citation Graph (, )][DBLP]
Robust Plan Execution Using Model-Based Reasoning. [Citation Graph (, )][DBLP]
Improving Fault-based Conformance Testing. [Citation Graph (, )][DBLP]
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. [Citation Graph (, )][DBLP]

Search in 0.005secs, Finished in 0.461secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP