Igor V. Konnov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2017
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | POPL | A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms. | Igor V. Konnov, Marijana Lazic, Helmut Veith, Josef Widder |
| 2017 | VMCAI | Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms. | Igor V. Konnov, Josef Widder, Francesco Spegni, Luca Spalazzi |
| 2016 | CONCUR | Parameterized Systems in BIP: Design and Model Checking. | Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis |
| 2013 | WiOpt | Vector resource allocation problems in communication networks. | Igor V. Konnov, Olga Kashina, Erkki Laitinen |