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

12th workshop on challenges for parallel computing., , and . CASCON, page 323. IBM / ACM, (2017)Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking., , and . FMOODS, volume 4468 of Lecture Notes in Computer Science, page 44-58. Springer, (2007)Hands on cooking: towards an attentive kitchen., , and . CHI Extended Abstracts, page 996-997. ACM, (2003)A Review of Serious Games for Programming., and . JCSG, volume 11243 of Lecture Notes in Computer Science, page 204-216. Springer, (2018)Making Serious Programming Games Adaptive., and . JCSG, volume 11243 of Lecture Notes in Computer Science, page 253-259. Springer, (2018)Using clone detection to identify bugs in concurrent software., and . ICSM, page 1-5. IEEE Computer Society, (2010)Predicting mutation score using source code and test suite metrics., and . RAISE@ICSE, page 42-46. IEEE, (2012)Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems., , , and . ICST, page 269-278. IEEE Computer Society, (2011)8th Workshop on Challenges for Parallel Computing., , , and . CASCON, page 363-364. IBM / ACM, (2013)11th Workshop on Challenges for Parallel Computing., , and . CASCON, page 304-306. IBM / ACM, (2016)