• Sign in
  • Sign up
conf.researchr.org / Igor Konnov
  • ECOOP and ISSTA 2021 profile
  • ETAPS 2019 profile
  • POPL 2017 profile
  • POPL 2021 profile
  • SPLASH 2019 profile
Igor Konnov

Registered user since Fri 28 Oct 2016

Name:Igor Konnov
Country:Austria
Affiliation:Informal Systems Inc
Personal website:https://konnov.github.io/
Research interests:Verification, Model Checking, Distributed Algorithms

Contributions

SPIN 2021 Informal Systems Inc in Programming Committee within the SPIN-track
VMCAI 2021 Author of Eliminating Message Counters in Synchronous Threshold Automata within the VMCAI-track
CPP 2021 Author of Specification and model checking of Tendermint consensus in TLA+ within the Lightning Talks-track
SPLASH 2019 Author of TLA+ model checking made symbolic within the Posters-track
Author of TLA+ model checking made symbolic within the OOPSLA Artifacts-track
Author of TLA+ Model Checking Made Symbolic within the OOPSLA-track
MeTRiD 2019 Author of Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries within the MeTRiD-track
Committee Member in Program Committee within the MeTRiD-track
TACAS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the TACAS 2019-track
ETAPS 2019 Author of Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking within the Posters-track
VMCAI 2017 Author of Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms within the VMCAI-track
POPL 2017 Author of A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms within the POPL-track

Share
xTue 17 May 10:33
using conf.researchr.org (v1.55.6)
Support page
Sign Up