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

Modeling and Analyzing the Interaction of C and C++ Strings., , , , , and . FoVeOOS, volume 7421 of Lecture Notes in Computer Science, page 67-85. Springer, (2011)Cloned Buggy Code Detection in Practice Using Normalized Compression Distance., , , and . ICSME, page 591-594. IEEE Computer Society, (2018)Study on a practical robotic follower to support home oxygen therapy patients - Questionnaire-based concept evaluation by the patients-., , , , , , , , , and . ICORR, page 1-5. IEEE, (2013)Scalable and precise program analysis at NEC., , , , , , , , , and 1 other author(s). FMCAD, page 273-274. IEEE, (2010)Interprocedural Exception Analysis for C++., , , , and . ECOOP, volume 6813 of Lecture Notes in Computer Science, page 583-608. Springer, (2011)ARC++: effective typestate and lifetime dependency analysis., , , , , and . ISSTA, page 116-126. ACM, (2014)Policy-based Cooperation of Services in Ubiquitous Environments., , , , and . Integrated Network Management, volume 246 of IFIP Conference Proceedings, page 139-142. Kluwer, (2003)Policy transition mechanism: a new approach to multi-mode management., , , and . NOMS (2), page 191-204. IEEE, (2004)DC2: A framework for scalable, scope-bounded software verification., , , , , , , and . ASE, page 133-142. IEEE Computer Society, (2011)Feedback-directed unit test generation for C/C++ using concolic execution., , , , and . ICSE, page 132-141. IEEE Computer Society, (2013)