Author of the publication

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

Error traces in model-based debugging of hardware description languages., and . AADEBUG, page 43-48. ACM, (2005)Impact analysis of SCRs using single and multi-label machine learning classification., and . ESEM, ACM, (2010)Model-Based Diagnosis or Reasoning from First Principles., and . IEEE Intelligent Systems, 18 (3): 32-37 (2003)From Ontologies to Input Models for Combinatorial Testing., and . ICTSS, volume 11146 of Lecture Notes in Computer Science, page 155-170. Springer, (2018)Security Testing for Chatbots., and . ICTSS, volume 11146 of Lecture Notes in Computer Science, page 33-38. Springer, (2018)Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems., , and . KI, volume 9904 of Lecture Notes in Computer Science, page 185-191. Springer, (2016)Debugging VHDL Designs Using Temporal Process Instances., , and . IEA/AIE, volume 2718 of Lecture Notes in Computer Science, page 402-415. Springer, (2003)Fault Localization Based on Abstract Dependencies., and . IEA/AIE, volume 3533 of Lecture Notes in Computer Science, page 357-359. Springer, (2005)Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks., , and . IWANN (1), volume 11506 of Lecture Notes in Computer Science, page 766-777. Springer, (2019)Using Model-Based Reasoning for Enhanced Chatbot Communication., and . IEA/AIE, volume 11606 of Lecture Notes in Computer Science, page 791-798. Springer, (2019)