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

Model Checking Techniqes for the Analysis of Reactive Systems.. Synthese, 133 (1-2): 173-201 (2002)Formal Verification of a Consensus Algorithm in the Heard-Of Model., und . Int. J. Software and Informatics, 3 (2-3): 273-303 (2009)A Simple Model of Communication APIs - Application to Dynamic Partial-order Reduction., , und . ECEASST, (2010)Encoding TLA+ set theory into many-sorted first-order logic., und . CoRR, (2015)Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model., und . Archive of Formal Proofs, (2012)A TLA+ Proof System., , , und . LPAR Workshops, Volume 418 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Animating TLA Specifications., und . LPAR, Volume 1705 von Lecture Notes in Computer Science, Seite 92-110. Springer, (1999)Preface., , , und . J. Autom. Reasoning, 41 (3-4): 191-192 (2008)Compression of Propositional Resolution Proofs via Partial Regularization., , und . CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 237-251. Springer, (2011)Model Checking - Timed UML State Machines and Collaborations., , und . FTRTFT, Volume 2469 von Lecture Notes in Computer Science, Seite 395-416. Springer, (2002)