![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Igor Konnov 0001
Person information
- affiliation: Informal Systems, Vinna, Austria
- affiliation (former): INRIA Nancy, France
- affiliation (former): TU Wien, Vienna, Austria
- affiliation (PhD 2008): Lomonosov Moscow State University, Russia
Other persons with the same name
- Igor Konnov 0002
(aka: Igor V. Konnov 0002, Igor Vasilyevich Konnov) — Kazan Federal University, Russia
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j16]Igor Konnov, Marijana Lazic, Ilina Stoilkovska
, Josef Widder:
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. Log. Methods Comput. Sci. 19(1) (2023) - [j15]Thanh-Hai Tran, Igor Konnov, Josef Widder:
A case study on parametric verification of failure detectors. Log. Methods Comput. Sci. 19(1) (2023) - [c28]Rodrigo Otoni, Igor Konnov, Jure Kukovec, Patrick Eugster, Natasha Sharygina:
Symbolic Model Checking for TLA+ Made Faster. TACAS (1) 2023: 126-144 - 2022
- [j14]Ilina Stoilkovska
, Igor Konnov, Josef Widder, Florian Zuleger
:
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking. Int. J. Softw. Tools Technol. Transf. 24(1): 33-48 (2022) - [c27]Igor Konnov, Markus Kuppe
, Stephan Merz:
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. ISoLA (1) 2022: 88-105 - [c26]Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder:
Brief Announcement: Holistic Verification of Blockchain Consensus. PODC 2022: 424-426 - [c25]Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder:
Holistic Verification of Blockchain Consensus. DISC 2022: 10:1-10:24 - [i8]Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder:
Holistic Verification of Blockchain Consensus. CoRR abs/2206.04489 (2022) - [i7]Igor Konnov, Markus Kuppe, Stephan Merz:
Specification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPS. CoRR abs/2211.07216 (2022) - 2021
- [j13]Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder:
Verification of randomized consensus algorithms under round-rigid adversaries. Int. J. Softw. Tools Technol. Transf. 23(5): 797-821 (2021) - [j12]Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder:
Correction to: Verification of randomized consensus algorithms under round-rigid adversaries. Int. J. Softw. Tools Technol. Transf. 23(5): 823 (2021) - [c24]Thanh-Hai Tran, Igor Konnov, Josef Widder:
A Case Study on Parametric Verification of Failure Detectors. FORTE 2021: 138-156 - [c23]Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger:
Eliminating Message Counters in Synchronous Threshold Automata. VMCAI 2021: 196-218 - [i6]Thanh-Hai Tran, Igor Konnov, Josef Widder:
A case study on parametric verification of failure detectors. CoRR abs/2112.08826 (2021) - 2020
- [j11]Jure Kukovec, Thanh-Hai Tran, Igor Konnov
:
Extracting symbolic transitions from TLA+ specifications. Sci. Comput. Program. 187: 102361 (2020) - [c22]Ilina Stoilkovska, Igor Konnov, Josef Widder, Florian Zuleger:
Eliminating Message Counters in Threshold Automata. ATVA 2020: 196-212 - [c21]Sean Braithwaite, Ethan Buchman, Igor Konnov
, Zarko Milosevic
, Ilina Stoilkovska
, Josef Widder
, Anca Zamfir:
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). FMBC@CAV 2020: 10:1-10:8 - [c20]Igor Konnov
, Marijana Lazic, Ilina Stoilkovska, Josef Widder:
Tutorial: Parameterized Verification with Byzantine Model Checker. FORTE 2020: 189-207 - [c19]Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir:
Tendermint Blockchain Synchronization: Formal Specification and Model Checking. ISoLA (1) 2020: 471-488 - [c18]Thanh-Hai Tran, Igor Konnov, Josef Widder:
Cutoffs for Symmetric Point-to-Point Distributed Algorithms. NETYS 2020: 329-346 - [e1]Igor Konnov
, Laura Kovács
:
31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). LIPIcs 171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-160-3 [contents] - [i5]Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder:
A Tendermint Light Client. CoRR abs/2010.07031 (2020) - [i4]Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder:
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. CoRR abs/2011.14789 (2020)
2010 – 2019
- 2019
- [j10]Igor Konnov:
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) - [j9]Igor Konnov
, Jure Kukovec, Thanh-Hai Tran:
TLA+ model checking made symbolic. Proc. ACM Program. Lang. 3(OOPSLA): 123:1-123:30 (2019) - [c17]Nathalie Bertrand
, Igor Konnov
, Marijana Lazic
, Josef Widder
:
Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. CONCUR 2019: 33:1-33:15 - [c16]Ilina Stoilkovska, Igor Konnov
, Josef Widder, Florian Zuleger:
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking. TACAS (2) 2019: 357-374 - 2018
- [c15]Jure Kukovec, Thanh-Hai Tran, Igor Konnov
:
Extracting Symbolic Transitions from TLA+ Specifications. ABZ 2018: 89-104 - [c14]Jure Kukovec, Igor Konnov
, Josef Widder:
Reachability in Parameterized Systems: All Flavors of Threshold Automata. CONCUR 2018: 19:1-19:17 - [c13]Igor Konnov
, Josef Widder:
ByMC: Byzantine Model Checker. ISoLA (3) 2018: 327-342 - 2017
- [j8]Igor Konnov
, Marijana Lazic
, Helmut Veith, Josef Widder
:
Para2: parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Formal Methods Syst. Des. 51(2): 270-307 (2017) - [j7]Igor V. Konnov
, Helmut Veith, Josef Widder
:
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability. Inf. Comput. 252: 95-109 (2017) - [c12]Marijana Lazic, Igor Konnov
, Josef Widder, Roderick Bloem
:
Synthesis of Distributed Algorithms with Parameterized Threshold Guards. OPODIS 2017: 32:1-32:20 - [c11]Igor V. Konnov
, Marijana Lazic, Helmut Veith, Josef Widder
:
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. POPL 2017: 719-734 - [c10]Igor V. Konnov
, Josef Widder
, Francesco Spegni
, Luca Spalazzi
:
Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. VMCAI 2017: 347-366 - 2016
- [j6]Roderick Bloem
, Swen Jacobs
, Ayrat Khalimov, Igor Konnov
, Sasha Rubin, Helmut Veith, Josef Widder:
Decidability in Parameterized Verification. SIGACT News 47(2): 53-64 (2016) - [c9]Igor V. Konnov
, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis:
Parameterized Systems in BIP: Design and Model Checking. CONCUR 2016: 30:1-30:16 - [i3]Igor Konnov
, Marijana Lazic, Helmut Veith, Josef Widder:
A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms. CoRR abs/1608.05327 (2016) - 2015
- [b1]Roderick Bloem
, Swen Jacobs
, Ayrat Khalimov, Igor Konnov
, Sasha Rubin
, Helmut Veith, Josef Widder:
Decidability of Parameterized Verification. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2015, ISBN 978-3-031-00883-2 - [j5]Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin, Vladislav V. Podymov, Igor V. Konnov
:
A combined toolset for the verification of real-time distributed systems. Program. Comput. Softw. 41(6): 325-335 (2015) - [c8]Igor Konnov
, Helmut Veith, Josef Widder
:
SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms. CAV (1) 2015: 85-102 - [c7]Igor V. Konnov
, Helmut Veith, Josef Widder
:
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. Ershov Memorial Conference 2015: 6-21 - 2014
- [j4]Igor V. Konnov
, Vladislav V. Podymov, Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin:
How to make a simple tool for verification of real-time systems. Autom. Control. Comput. Sci. 48(7): 534-542 (2014) - [c6]Igor Konnov
, Helmut Veith, Josef Widder
:
On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability. CONCUR 2014: 125-140 - [c5]Annu Gmeiner, Igor Konnov
, Ulrich Schmid, Helmut Veith, Josef Widder
:
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms. SFM 2014: 122-171 - 2013
- [c4]Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder:
Parameterized model checking of fault-tolerant distributed algorithms by abstraction. FMCAD 2013: 201-209 - [c3]Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder:
Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction. PODC 2013: 119-121 - [c2]Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder:
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. SPIN 2013: 209-226 - 2012
- [i2]Annu John, Igor Konnov
, Ulrich Schmid, Helmut Veith, Josef Widder:
Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms. CoRR abs/1210.3839 (2012) - [i1]Annu John, Igor Konnov
, Ulrich Schmid, Helmut Veith, Josef Widder:
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms. CoRR abs/1210.3846 (2012) - 2010
- [j3]Igor V. Konnov
:
On application of weaker simulations to parameterized model checking by network invariants technique. Autom. Control. Comput. Sci. 44(7): 378-386 (2010) - [j2]Igor V. Konnov
, Vladimir A. Zakharov:
An invariant-based approach to the verification of asynchronous parameterized networks. J. Symb. Comput. 45(11): 1144-1162 (2010) - [c1]Igor Konnov:
CheAPS: a Checker of Asynchronous Parameterized Systems. WING@ETAPS/IJCAR 2010: 128-129
2000 – 2009
- 2005
- [j1]Igor V. Konnov
, Vladimir A. Zakharov:
An Approach to the Verification of Symmetric Parameterized Distributed Systems. Program. Comput. Softw. 31(5): 225-236 (2005)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-08 22:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint