Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

A. John, I. Konnov, U. Schmid, H. Veith, and J. Widder. CoRR, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Josef Felix Göbel University of Stuttgart

PD Dr. Alois Josef Sieber University of Stuttgart

Other publications of authors with the same name

Parameterized model checking of fault-tolerant distributed algorithms by abstraction.A. John, I. Konnov, U. Schmid, H. Veith, and J. Widder. FMCAD, page 201-209. IEEE, (2013)Synchronous Consensus with Mortal Byzantines.J. Widder, G. Gridling, B. Weiss, and J. Blanquart. DSN, page 102-112. IEEE Computer Society, (2007)Para2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms.I. Konnov, M. Lazic, H. Veith, and J. Widder. Formal Methods in System Design, 51 (2): 270-307 (2017)Communication-Closed Asynchronous Protocols.A. Damian, C. Dragoi, A. Militaru, and J. Widder. CAV (2), volume 11562 of Lecture Notes in Computer Science, page 344-363. Springer, (2019)Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms.A. John, I. Konnov, U. Schmid, H. Veith, and J. Widder. SPIN, volume 7976 of Lecture Notes in Computer Science, page 209-226. Springer, (2013)Synthesis of Distributed Algorithms with Parameterized Threshold Guards.M. Lazic, I. Konnov, J. Widder, and R. Bloem. OPODIS, volume 95 of LIPIcs, page 32:1-32:20. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Wait-Free Stabilizing Dining Using Regular Registers.S. Sastry, J. Welch, and J. Widder. OPODIS, volume 7702 of Lecture Notes in Computer Science, page 284-299. Springer, (2012)Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsA. John, I. Konnov, U. Schmid, H. Veith, and J. Widder. CoRR, (2012)Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms.I. Konnov, J. Widder, F. Spegni, and L. Spalazzi. VMCAI, volume 10145 of Lecture Notes in Computer Science, page 347-366. Springer, (2017)Booting clock synchronization in partially synchronous systems with hybrid process and link failures.J. Widder, and U. Schmid. Distributed Computing, 20 (2): 115-140 (2007)

PUMA

Disambiguation of "Widder, Josef"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

Please choose a person to relate this publication to

Dr. -Ing. Josef Felix Göbel University of Stuttgart

PD Dr. Alois Josef Sieber University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Widder, Josef"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

Please choose a person to relate this publication to

Dr. -Ing. Josef Felix Göbel University of Stuttgart

PD Dr. Alois Josef Sieber University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms