Dmitri Chkliaev

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

Dmitri Chkliaev, Jozef Hooman, Erik P. de Vink
Verification and Improvement of the Sliding Window Protocol. TACAS (2003)
Dmitri Chkliaev, Jozef Hooman, Peter van der Stok
Formal Modeling and Analysis of Atomic Commitment Protocols. ICPADS (2000)
Dmitri Chkliaev, Jozef Hooman, Peter van der Stok
Mechanical Verification of Transaction Processing Systems. ICFEM (2000)
Dmitri Chkliaev, Peter van der Stok, Jozef Hooman
Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol. ICDCS Workshop on Distributed System Validation and Verification (2000)
Dmitri Chkliaev, Jozef Hooman, Peter van der Stok
Serializability Preserving Extensions of Concurrency Control Protocols. Ershov Memorial Conference (1999)