Author of the publication

PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors.

, , , , and . RV, volume 7687 of Lecture Notes in Computer Science, page 42-47. Springer, (2012)

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

Design and manufacturing concept of a postoperative adjustable prosthesis for ossicular chain reconstructions., , , , , , and . BioRob, page 1035-1040. IEEE, (2016)Multi-arm snake-like robot., , , and . ICRA, page 2490-2495. IEEE, (2017)A new physical temporal bone and middle ear model with complete ossicular chain for simulating surgical procedures., , , and . ROBIO, page 1654-1659. IEEE, (2015)Force sensing micro-forceps for robot assisted retinal surgery., , , , , , and . EMBC, page 1401-1404. IEEE, (2012)Verification Tools for Transactional Programs., , , , , , , , and . Transactional Memory, volume 8913 of Lecture Notes in Computer Science, Springer, (2015)Safe Deferred Memory Reclamation with Types., and . CoRR, (2018)A new postoperative adjustable prosthesis for ossicular chain reconstructions., , , , , and . ROBIO, page 385-390. IEEE, (2015)PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors., , , , and . RV, volume 7687 of Lecture Notes in Computer Science, page 42-47. Springer, (2012)Safe Deferred Memory Reclamation with Types., and . ESOP, volume 11423 of Lecture Notes in Computer Science, page 88-116. Springer, (2019)First Approach towards a Manipulator System for Single-Incision Laparoscopic Surgery Using Rapid Manufacturing., , , , and . CURAC, page 111-116. Der Andere Verlag, (2016)