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

You keep using that word.. ACM SIGLOG News, 2 (4): 17-25 (2015)Model-Checking Complex Software - A Memory Perspective., und . RISSEF, Volume 2941 von Lecture Notes in Computer Science, Seite 283-296. Springer, (2002)Towards Realizability Checking of Contracts Using Theories., , , , und . NFM, Volume 9058 von Lecture Notes in Computer Science, Seite 173-187. Springer, (2015)Cyberassured Systems Engineering at Scale., , , , , , , , , und 2 andere Autor(en). IEEE Secur. Priv., 20 (3): 52-64 (2022)Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report., , , , und . ICSE, Seite 304-313. IEEE Computer Society, (2004)Composition of Fault Forests., , , , und . SAFECOMP, Volume 12852 von Lecture Notes in Computer Science, Seite 258-275. Springer, (2021)A Formal Architecture Pattern for Real-Time Distributed Systems., , , , , und . RTSS, Seite 161-170. IEEE Computer Society, (2009)Integration of Formal Analysis into a Model-Based Software Development Process., , , , und . FMICS, Volume 4916 von Lecture Notes in Computer Science, Seite 68-84. Springer, (2007)Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study., und . SPIN, Volume 1885 von Lecture Notes in Computer Science, Seite 93-112. Springer, (2000)Formal Verification of an Avionics Sensor Voter Using SCADE., , und . FORMATS/FTRTFT, Volume 3253 von Lecture Notes in Computer Science, Seite 5-20. Springer, (2004)