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

Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus.. FORTE, Volume C-2 von IFIP Transactions, Seite 67-82. North-Holland, (1991)A decomposition approach for SMT-based schedule synthesis for time-triggered networks., , , und . ETFA, Seite 1-8. IEEE, (2015)Fault-tolerant Permanent Storage for Container-based Fog Architectures., , und . ICIT, Seite 722-729. IEEE, (2021)Arguing Operational Safety for Mixed Traffic in Underground Mining., , , und . SoSE, Seite 1-7. IEEE, (2023)A Questionnaire Study on the Use of Access Control in Industrial Systems., , , und . ETFA, Seite 1-8. IEEE, (2021)Specification for Verification., , , und . FORTE, Seite 227-244. North-Holland, (1989)Improved Response-Time Analysis Calculations., und . RTSS, Seite 399-408. IEEE Computer Society, (1998)Using measurements to derive the worst-case execution time., , und . RTCSA, Seite 15-22. IEEE Computer Society, (2000)Towards Classification of Concurrency Bugs Based on Observable Properties., , , und . COUFLESS@ICSE, Seite 41-47. IEEE Computer Society, (2015)Message from the CORCS 2008 Workshop Organizers., , und . COMPSAC, Seite 1295. IEEE Computer Society, (2008)