• 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
xThu 21 Jan 07:07
using conf.researchr.org (v1.40.2)
Support page
Sign Up