Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Introductory paper., , , , , und . STTT, 5 (4): 299-300 (2004)A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm., , und . STTT, 5 (4): 320-330 (2004)Well-Abstracted Transition Systems., , und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 566-580. Springer, (2000)Well-abstracted transition systems: application to FIFO automata., , und . Inf. Comput., 181 (1): 1-31 (2003)An Improved Type-Inference Algorithm to Expose Parallelism in Object-Oriented Programs., , und . LCR, Seite 283-286. Springer, (1995)Probabilistic Lossy Channel Systems., und . TAPSOFT, Volume 1214 von Lecture Notes in Computer Science, Seite 667-681. Springer, (1997)Optimality in Abstractions of Model Checking, , und . SAS, Volume 983 von Lecture Notes in Computer Science, Seite 51-63. Springer, (1995)Reasoning about Probabilistic Lossy Channel Systems., , , und . CONCUR, Volume 1877 von Lecture Notes in Computer Science, Seite 320-333. Springer, (2000)A Formal Methods Approach to Medical Device Review., , und . IEEE Computer, 39 (4): 61-67 (2006)Using Abstraction-driven Slicing for Postmortem Analysis of Software., , und . ICPC, Seite 107-116. IEEE Computer Society, (2006)