Searching for authors named "Markus Stumptner" – sorted by Relevance.
48 documents found, showing 1 through 10.
Next 10 →
-
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
-
Reconfiguration Using Model-based Diagnosis
- …Reconfiguration using Model-based Diagnosis Markus Stumptner and Franz Wotawa Institut fur…
- Cited by 2 (0 self) – 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
-
Using Model-Based Reasoning for Locating Faults in VHDL Designs
- …Using Model-Based Reasoning for Locating Faults in VHDL Designs Markus Stumptner and Franz Wotawa…
- Cited by 3 (3 self) – Add To MetaCart
-
Model-Based Diagnosis of Hardware Description Languages
- …Model-Based Diagnosis of Hardware Description Languages Markus STUMPTNER and Franz WOTAWA…
- Cited by 1 (1 self) – Add To MetaCart
-
Approximate Modeling for Debugging of Program Loops
- …-mail: {mayer,mst}@(email omitted);. Phone: +61 8 8302 3965. Fax: +61 8 8302 3381. Wolfgang Mayer and Markus…
- Cited by 7 (1 self) – Add To MetaCart
-
Model-based debugging using multiple abstract models
- … Abstract Models Wolfgang Mayer∗ ∗ 1 , Markus Stumptner ∗ University of South Australia Advanced Computing…
- Cited by 6 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
