Travelled to:1 × Italy
1 × USA
Collaborated with:H.Veith J.Widder J.Kukovec Thanh-Hai Tran A.Gmeiner U.Schmid
Talks about:model (3) check (3) parameter (2) distribut (2) algorithm (2) threshold (1) abstract (1) counter (1) tutori (1) symbol (1)
Person: Igor Konnov
DBLP: Konnov:Igor
Contributed to:
2015
2014
2019Wrote 3 papers:
- CAV-2015-KonnovVW #abstraction #algorithm #distributed #model checking #smt
- SMT and POR Beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms (IK, HV, JW), pp. 85–102.
- SFM-2014-GmeinerKSVW #algorithm #distributed #fault tolerance #model checking #tutorial
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (AG, IK, US, HV, JW), pp. 122–171.
- OOPSLA-2019-KonnovKT #model checking
- TLA+ model checking made symbolic (IK, JK, THT), p. 30.