Prefix title Titel (vorangestellt)
Privatdoz.
 
Full name Familienname, Vorname
Konnov, Igor
 
Postfix title Titel (nachgestellt)
PhD
 
Main Affiliation Organisations­zuordnung
 

Results 1-20 of 28 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Verifying safety of synchronous fault-tolerant algorithms by bounded model checkingArticle Artikel Feb-2022
2Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Eliminating Message Counters in Synchronous Threshold AutomataKonferenzbeitrag Inproceedings 2021
3main.pdf.jpgStoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian Eliminating Message Counters in Threshold AutomataInproceedings Konferenzbeitrag 12-Oct-2020
4main.pdf.jpgKonnov, Igor ; Lazic, Marijana ; Stoilkovska, Ilina ; Widder, Josef Tutorial: Parameterized Verification with Byzantine Model CheckerInproceedings Konferenzbeitrag 8-Jun-2020
5Konnov, Igor Techniques and tools for automated verification of fault-tolerant and parameterized distributed systemsThesis Hochschulschrift2018
6Konnov, Igor ; Veith, Helmut ; Widder, Josef On the completeness of bounded model checking for threshold-based distributed algorithms: ReachabilityArtikel Article2017
7Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef Para^2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed AlgorithmsArtikel Article2017
8Lazić, Marijana ; Konnov, Igor ; Widder, Josef ; Bloem, Roderick Synthesis of Distributed Algorithms with Parameterized Threshold GuardsKonferenzbeitrag Inproceedings 2017
9Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithmsKonferenzbeitrag Inproceedings 2017
10Konnov, Igor Helmut Veith and the quest for verified distributed algorithmsPräsentation Presentation2016
11Konnov, Igor ; Lazić, Marijana ; Veith, Helmut ; Widder, Josef Parameterized Verification of Liveness of Distributed AlgorithmsPräsentation Presentation2016
12Lazić, Marijana ; Konnov, Igor ; Veith, Helmut ; Widder, Josef Model Checking of Threshold-based Fault-Tolerant Distributed AlgorithmsPräsentation Presentation2016
13Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationArtikel Article2016
14Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Sifakis, Joseph Parameterized Systems in BIP: Design and Model CheckingKonferenzbeitrag Inproceedings 2016
15Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationBuch Book2015
16Konnov, Igor ; Podymov, Vladislav V. ; Volkanov, Dmitry Yu. ; Zakharov, Vladimir A. ; Zorin, Daniil A. A Combined Toolset for the Verification of Real-Time Distributed SystemsArtikel Article2015
17Konnov, Igor ; Veith, Helmut ; Widder, Josef SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed AlgorithmsKonferenzbeitrag Inproceedings 2015
18Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsBuchbeitrag Book Contribution2014
19Konnov, Igor ; Veith, Helmut ; Widder, Josef On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: ReachabilityKonferenzbeitrag Inproceedings 2014
20John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Towards Modeling and Model Checking Fault-Tolerant Distributed AlgorithmsKonferenzbeitrag Inproceedings 2013

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Konnov, Igor ; Kovacs, Laura Proceedings of the 31st International Conference on Concurrency Theory (CONCUR)Konferenzband Proceedings2020