2003 |
5 | EE | Dmitri Chkliaev,
Jozef Hooman,
Erik P. de Vink:
Verification and Improvement of the Sliding Window Protocol.
TACAS 2003: 113-127 |
2000 |
4 | | 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: E96-E103 |
3 | EE | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Mechanical Verification of Transaction Processing Systems.
ICFEM 2000: 89- |
2 | EE | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Formal Modeling and Analysis of Atomic Commitment Protocols.
ICPADS 2000: 151-158 |
1999 |
1 | EE | Dmitri Chkliaev,
Jozef Hooman,
Peter van der Stok:
Serializability Preserving Extensions of Concurrency Control Protocols.
Ershov Memorial Conference 1999: 180-193 |