Andrey Kupriyanov
Title
Cited by
Cited by
Year
SLAB: A certifying model checker for infinite-state concurrent systems
K Dräger, A Kupriyanov, B Finkbeiner, H Wehrheim
International Conference on Tools and Algorithms for the Construction and …, 2010
432010
Causal termination of multi-threaded programs
A Kupriyanov, B Finkbeiner
International Conference on Computer Aided Verification, 814-830, 2014
142014
Causality-based verification of multi-threaded programs
A Kupriyanov, B Finkbeiner
International Conference on Concurrency Theory, 257-272, 2013
112013
Array folds logic
P Daca, TA Henzinger, A Kupriyanov
International Conference on Computer Aided Verification, 230-248, 2016
102016
Causality-based verification
A Kupriyanov
42016
Causality-based Model Checking
B Finkbeiner, A Kupriyanov
arXiv preprint arXiv:1710.03391, 2017
2017
Array Folds Logic
P law Daca, TA Henzinger, A Kupriyanov
arXiv preprint arXiv:1603.06850, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–7