HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Alexei Lisitsa

Publications
VPT 2014. Second International Workshop on Verification and Program Transformation
Alexei Lisitsa and Andrei Nemytykh (editors)
EPiC Series in Computing, volume 28
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
Alexei Lisitsa and Andrei Nemytykh
In:VPT 2014. Second International Workshop on Verification and Program Transformation
VPT 2013. First International Workshop on Verification and Program Transformation
Alexei Lisitsa and Andrei Nemytykh (editors)
EPiC Series in Computing, volume 16
Cryptographic Protocol Verification via Supercompilation (A Case Study)
Abdulbasit Ahmed, Alexei Lisitsa and Andrei Nemytykh
In:VPT 2013. First International Workshop on Verification and Program Transformation
Finite countermodels as invariants. A case study in verification of parameterized mutual exclusion protocol
Alexei Lisitsa
In:WING 2010. Workshop on Invariant Generation 2010

Keyphrases

cryptographic protocols, finite model finders, first-order predicate logic, infinite-state systems, parameterized systems, program analysis2, program specialization2, program transformation2, program verification, supercompilation2, verification.

Copyright © 2012-2023 easychair.org. All rights reserved.