Franz Wotawa

MaRDI QIDQ236278zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Choosing abstraction levels for model-based software debugging: a theoretical and empirical analysis for spreadsheet programs Artificial Intelligence	2025-10-14	Paper
Data and Sourcecode from: Neural Network-based Occupancy Detection on the Edge	2024-06-11	Dataset
Investigating Reproducibility in Deep Learning-Based Software Fault Prediction	2024-05-07	Dataset
Fault detection and localization using Modelica and abductive reasoning Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems	2020-08-20	Paper
Automated debugging based on a constraint model of the program and a test case The Journal of Logic and Algebraic Programming	2012-08-14	Paper
On the order of test goals in specification-based testing The Journal of Logic and Algebraic Programming	2009-07-29	Paper
Complementary Criteria for Testing Temporal Logic Properties Tests and Proofs	2009-07-07	Paper
scientific article; zbMATH DE number 5540316 (Why is no real title available?)	2009-04-03	Paper
scientific article; zbMATH DE number 5510503 (Why is no real title available?)	2009-02-24	Paper
An introduction to model-based systems	2007-09-03	Paper
Debugging VHDL designs: Introducing multiple models and first empirical results Applied Intelligence	2005-03-15	Paper
scientific article; zbMATH DE number 2089877 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2043416 (Why is no real title available?)	2004-02-16	Paper
Debugging hardware designs using a value-based model Applied Intelligence	2003-07-01	Paper
scientific article; zbMATH DE number 1882067 (Why is no real title available?)	2003-03-13	Paper
scientific article; zbMATH DE number 1882062 (Why is no real title available?)	2003-03-13	Paper
scientific article; zbMATH DE number 1836274 (Why is no real title available?)	2003-02-16	Paper
Model-based diagnosis of hardware designs Artificial Intelligence	2002-07-24	Paper
A variant of Reiter's hitting-set algorithm Information Processing Letters	2002-07-14	Paper
On the relationship between model-based debugging and program slicing Artificial Intelligence	2002-03-03	Paper
scientific article; zbMATH DE number 1708082 (Why is no real title available?)	2002-02-19	Paper
Deriving qualitative rules from neural networks -- a case study for ozone forecasting AI Communications	2001-12-10	Paper
Diagnosing tree-structured systems Artificial Intelligence	2001-08-20	Paper
RailwayReq Corpus	N/A	Dataset

Research outcomes over time

This page was built for person: Franz Wotawa