Konnov, Igor
Full name Familienname, Vorname
Konnov, Igor
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian | Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking | Konferenzbeitrag Inproceedings  | 2019 | |
| 2 | Bertrand, Nathalie ; Konnov, Igor ; Lazić, Marijana ; Widder, Josef | Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries | Konferenzbeitrag Inproceedings | 2019 | |
| 3 | Kukovec, Jure ; Konnov, Igor ; Widder, Josef | Reachability in Parameterized Systems: All Flavors of Threshold Automata | Konferenzbeitrag Inproceedings | 2018 | |
| 4 | Konnov, Igor ; Widder, Josef | ByMC: Byzantine Model Checker | Konferenzbeitrag Inproceedings | 2018 |