Author of the publication

Error traces in model-based debugging of hardware description languages.

, and . AADEBUG, page 43-48. ACM, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Employing Test Suites for Verilog Fault Localization., , and . CAEPIA, volume 5988 of Lecture Notes in Computer Science, page 1-10. Springer, (2009)A Mobile Information System for Improved Navigation in Public Transport - User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap Application., , and . DCNET/ICE-B/OPTICS, page 217-221. SciTePress, (2012)Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems., and . QSIC, page 122-131. IEEE Computer Society, (2010)Advances in Automated Source-Level Debugging of Verilog Designs., , and . New Challenges in Applied Intelligence Technologies, volume 134 of Studies in Computational Intelligence, Springer, (2008)An Answer to "Who Needs a Stylus?" on Handwriting Recognition on Mobile Devices., , , and . ICETE (Selected Papers), volume 314 of Communications in Computer and Information Science, page 156-167. Springer, (2011)Are Error Traces Enough for Automated Fault Localization in VHDL Designs?, and . WISES, page 49-60. Graz University of Technology, (2004)Integrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health Organisations., , and . DCNET/ICE-B/OPTICS, page 185-195. SciTePress, (2013)A Constraint Model for Automated Deployment of Automotive Control Software., , and . SEKE, page 899-904. Knowledge Systems Institute Graduate School, (2008)On the Role of Defect Taxonomy Types for Testing Requirements: Results of a Controlled Experiment., , and . EUROMICRO-SEAA, page 377-384. IEEE Computer Society, (2014)Testing of Safety-Critical Systems - a Structural Approach to Test Case Design., and . SSS, page 187-211. Springer, (2011)