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

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)

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

Synchronous Consensus with Mortal Byzantines.J. Widder, G. Gridling, B. Weiss, and J. Blanquart. DSN, page 102-112. IEEE Computer Society, (2007)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)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)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)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)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)A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms.I. Konnov, M. Lazic, H. Veith, and J. Widder. POPL, page 719-734. ACM, (2017)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)

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

Towards Modeling and Model Checking 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 Towards Modeling and Model Checking 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

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms.