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

An Asymptotically Correct Finite Path Semantics for LTL., , und . LPAR, Volume 7180 von Lecture Notes in Computer Science, Seite 304-319. Springer, (2012)Interactive verification of synchronous systems., und . MEMOCODE, Seite 75-84. IEEE, (2012)Safe Automotive Software., , , , , und . KES (4), Volume 6884 von Lecture Notes in Computer Science, Seite 167-176. Springer, (2011)An Interactive Verification Tool for Synchronous/Reactive Systems., und . MBMV, Seite 267-277. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)Interactive Verification of Synchronous Systems.. University of Kaiserslautern, (2015)Lifting Verification Results for Preemption Statements., , und . SEFM, Volume 8137 von Lecture Notes in Computer Science, Seite 91-105. Springer, (2013)A hoare calculus for the verification of synchronous languages., und . PLPV, Seite 37-48. ACM, (2012)Translating synchronous guarded actions to interleaved guarded actions., und . MEMOCODE, Seite 167-176. IEEE, (2013)Targeting different abstraction layers by model-based design methods for embedded systems: A case study., , und . RTCSA, Seite 334-337. IEEE Computer Society, (2013)Modular Verification of Synchronous Programs., und . ACSD, Seite 70-79. IEEE Computer Society, (2013)