( en | de | ru )

 

Disambiguation of "Konnov, Igor"

Author of the publication

copydeleteadd this publication to your clipboard
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms.

, , , , and . SFM, volume 8483 of Lecture Notes in Computer Science, page 122-171. Springer, (2014)

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.

Alexei Konnov

Igor Barabash

Das Bildzitat im Internet. Uni München, (2009)

Igor Smolitsch

Igor Popov

Igor Barsukov

 

Other publications of authors with the same name

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms., , , , and . SFM, volume 8483 of Lecture Notes in Computer Science, page 122-171. Springer, (2014)Eliminating Message Counters in Threshold Automata., , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 196-212. Springer, (2020)Reachability in Parameterized Systems: All Flavors of Threshold Automata., , and . CONCUR, volume 118 of LIPIcs, page 19:1-19:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Primal-Dual Method for Optimization Problems with Changing Constraints.. CoRR, (2022)Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds): Handbook of model checking - Springer International Publishing AG, Cham, Switzerland, 2018.. Formal Aspects Comput., 31 (4): 455-456 (2019)Partial Linearization Method for Network Equilibrium Problems with Elastic Demands., and . DOOR, volume 9869 of Lecture Notes in Computer Science, page 418-429. Springer, (2016)Brief Announcement: Holistic Verification of Blockchain Consensus., , , , , and . PODC, page 424-426. ACM, (2022)Tendermint Blockchain Synchronization: Formal Specification and Model Checking., , , , , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 471-488. Springer, (2020)A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms., , , and . CoRR, (2016)A Tendermint Light Client., , , , , , and . CoRR, (2020)