Searching for authors named "Franz Wotawa" – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
On the Relationship between Model-based Debugging and Program Mutation
- …On the Relationship between Model-based Debugging and Program Mutation Franz Wotawa Technische…
- Cited by 17 (3 self) – Add To MetaCart
-
New Directions in Debugging Hardware Designs
- …New Directions in Debugging Hardware Designs ? Franz Wotawa Technische Universitat Wien, Institut…
- Cited by 1 (1 self) – Add To MetaCart
-
Debugging synthesizeable VHDL Programs
- … Franz Wotawa Technische Universitat Wien Institut fur Informationssysteme Paniglgasse 16, A-1040 Wien…
- Cited by 4 (4 self) – Add To MetaCart
-
Debugging VHDL Designs using Model-Based Reasoning
- …Debugging VHDL Designs using Model-Based Reasoning Franz Wotawa Technische Universitat Wien…
- Cited by 5 (3 self) – Add To MetaCart
-
MBD Research Activities at Vienna University of Technology
- …MBD Research Activities at Vienna University of Technology Markus Stumptner and Franz Wotawa 1 1…
- Add To MetaCart
-
Industrial Applications of Model-based Reasoning
- …1 Guest Editorial Industrial Applications of Model-based Reasoning Markus Stumptner and Franz…
- Add To MetaCart
-
Introducing Alias Information into Model-Based Debugging
- …}@(email omitted); 2 Authors are listed in alphabetical order. Daniel Köb1 and Franz Wotawa1 2 93 model is not capable…
- Add To MetaCart
-
Detecting and Locating Faults in Hardware Designs
- … in Hardware Designs Markus Stumptner and Franz Wotawa Technische Universitat Wien, Institut fur…
- Cited by 1 (1 self) – Add To MetaCart
-
Model-Based Program Debugging and Repair
- …Model-Based Program Debugging and Repair Markus Stumptner and Franz Wotawa Christian Doppler…
- Cited by 6 (4 self) – Add To MetaCart
-
A Model-Based Tool for Finding Faults in Hardware Designs
- …A Model-Based Tool for Finding Faults in Hardware Designs Markus Stumptner Franz Wotawa Institut…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
