Franz Wotawa

Available identifiers

zbMath Open wotawa.franzDBLPw/FranzWotawaWikidataQ61048147 ScholiaQ61048147MaRDI QIDQ236278

List of research outcomes

Publication	Date of Publication	Type
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	2020-08-20	Paper
Automated debugging based on a constraint model of the program and a test case	2012-08-14	Paper
On the order of test goals in specification-based testing	2009-07-29	Paper
Complementary Criteria for Testing Temporal Logic Properties	2009-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q3619268	2009-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q3605733	2009-02-24	Paper
An introduction to model-based systems	2007-09-03	Paper
Debugging VHDL designs: Introducing multiple models and first empirical results	2005-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4808499	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4450892	2004-02-16	Paper
Debugging hardware designs using a value-based model	2003-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4797445	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4797440	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4781953	2003-02-16	Paper
Model-based diagnosis of hardware designs	2002-07-24	Paper
A variant of Reiter's hitting-set algorithm	2002-07-14	Paper
On the relationship between model-based debugging and program slicing	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2772512	2002-02-19	Paper
Deriving qualitative rules from neural networks -- a case study for ozone forecasting	2001-12-10	Paper
Diagnosing tree-structured systems	2001-08-20	Paper
RailwayReq Corpus	N/A	Dataset

Research outcomes over time

This page was built for person: Franz Wotawa