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.

PD Dr. Igor Shevchuk University of Stuttgart

Igor Hörner University of Stuttgart

Dr. phil. Igor Kristic University of Stuttgart

Other publications of authors with the same name

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking - Springer International Publishing AG, Cham, Switzerland, 2018.I. Konnov. Formal Asp. Comput., 31 (4): 455-456 (2019)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.A. Gmeiner, I. Konnov, U. Schmid, H. Veith, and J. Widder. SFM, volume 8483 of Lecture Notes in Computer Science, page 122-171. Springer, (2014)Reachability in Parameterized Systems: All Flavors of Threshold Automata.J. Kukovec, I. Konnov, and J. Widder. CONCUR, volume 118 of LIPIcs, page 19:1-19:17. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Partial Linearization Method for Network Equilibrium Problems with Elastic Demands.I. Konnov, and O. Pinyagina. DOOR, volume 9869 of Lecture Notes in Computer Science, page 418-429. Springer, (2016)Primal-Dual Method for Optimization Problems with Changing Constraints.I. Konnov. CoRR, (2022)Limit vector variational inequality problems via scalarization.M. Bianchi, I. Konnov, and R. Pini. J. Global Optimization, 72 (3): 579-590 (2018)Evaluating the effects of environmental regulations on a closed-loop supply chain network: a variational inequality approach.E. Allevi, A. Gnudi, I. Konnov, and G. Oggioni. Annals OR, 261 (1-2): 1-43 (2018)Decidability in Parameterized Verification.R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, and J. Widder. SIGACT News, 47 (2): 53-64 (2016)Decomposition Descent Method for Limit Optimization Problems.I. Konnov. LION, volume 10556 of Lecture Notes in Computer Science, page 166-179. Springer, (2017)Decidability of Parameterized VerificationR. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin, H. Veith, and J. Widder. Synthesis Lectures on Distributed Computing Theory Morgan & Claypool Publishers, (2015)

PUMA

Disambiguation of "Konnov, Igor"

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

PD Dr. Igor Shevchuk University of Stuttgart

Igor Hörner University of Stuttgart

Dr. phil. Igor Kristic University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Konnov, Igor"

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

PD Dr. Igor Shevchuk University of Stuttgart

Igor Hörner University of Stuttgart

Dr. phil. Igor Kristic 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