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

Demonstration of a medical device integration and coordination framework., , , , , , , , and . ICSE Companion, page 433-434. IEEE, (2009)Medical Software - Issues and Best Practices., , , and . ICDCIT, volume 7753 of Lecture Notes in Computer Science, page 69-91. Springer, (2013)Using Abstraction-driven Slicing for Postmortem Analysis of Software., , and . ICPC, page 107-116. IEEE Computer Society, (2006)Towards Requirements Change Decision Support., , and . APSEC (1), page 148-155. IEEE Computer Society, (2013)978-1-4799-2143-0.A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm., , and . Int. J. Softw. Tools Technol. Transf., 5 (4): 320-330 (2004)An approach for comparison of IEC 61131-3 graphical programs., , , , , and . ETFA, page 1-8. IEEE, (2013)A publish-subscribe architecture and component-based programming model for medical device interoperability., , , , , , , , and . SIGBED Review, 6 (2): 7 (2009)Engineering high confidence medical device software., , and . SIGBED Review, 6 (2): 1 (2009)A Formal Approach to Pre-Market Review for Medical Device Software., , , and . COMPSAC (1), page 169-177. IEEE Computer Society, (2006)Safety-assured development of the GPCA infusion pump software., , , , , , and . EMSOFT, page 155-164. ACM, (2011)