Autor der Publikation

Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support.

, , , und . ICFEM, Volume 5885 von Lecture Notes in Computer Science, Seite 147-166. Springer, (2009)

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

User-Centric Security Assessment of Software Configurations: A Case Study., , , und . ESSoS, Volume 8364 von Lecture Notes in Computer Science, Seite 196-212. Springer, (2014)On the Detection of Side-Channel Attacks., und . PRDC, Seite 185-186. IEEE, (2018)A Lease Based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking., , , , und . IEEE Trans. Parallel Distributed Syst., 26 (10): 2630-2642 (2015)Inferring Performance Bug Patterns from Developer Commits., , und . ISSRE, Seite 70-81. IEEE, (2019)Gyro: A Modular Scale-Out Layer for Single-Server DBMSs., , und . SRDS, Seite 71-82. IEEE, (2019)Practical Aspects of IP Take-Over Mechanisms., und . WORDS Fall, Seite 250-254. IEEE Computer Society, (2003)BDG-torus union graph-an efficient algorithmically specializedparallel interconnect., , und . SPDP, Seite 407-414. IEEE Computer Society, (1991)Designing High-Performance & Reliable Superscalar Architectures: The out of Order Reliable Superscalar (O3RS) Approach., und . DSN, Seite 473-481. IEEE Computer Society, (2000)On the Use of Formal Techniques for Validation., und . FTCS, Seite 390-399. IEEE Computer Society, (1998)Monitoring Path Discovery for Supporting Indirect Monitoring of Cloud Services., , und . IC2E, Seite 274-277. IEEE Computer Society, (2018)