Franz Wotawa

Available identifiers

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q3590849	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/Q4797440	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4797445	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
https://portal.mardi4nfdi.de/entity/Q2758773	2001-12-10	Paper
Diagnosing tree-structured systems	2001-08-20	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Franz Wotawa