( en | de | ru )

 

Disambiguation of "Konnov, Igor"

Author of the publication

copydeleteadd this publication to your clipboard
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.

, , , and . Log. Methods Comput. Sci., (2023)

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 Pribicevic

Igor Yakushev

Igor Pilawski

 

Other publications of authors with the same name

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)Eliminating Message Counters in Threshold Automata., , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 196-212. Springer, (2020)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)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)Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction., , , , and . PODC, page 119-121. ACM, (2013)SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms., , and . CAV (1), volume 9206 of Lecture Notes in Computer Science, page 85-102. Springer, (2015)