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 | 50 | 2010 |
Array folds logic P Daca, TA Henzinger, A Kupriyanov International Conference on Computer Aided Verification, 230-248, 2016 | 22 | 2016 |
Causal termination of multi-threaded programs A Kupriyanov, B Finkbeiner International Conference on Computer Aided Verification, 814-830, 2014 | 18 | 2014 |
Causality-based verification of multi-threaded programs A Kupriyanov, B Finkbeiner International Conference on Concurrency Theory, 257-272, 2013 | 13 | 2013 |
Causality-based verification A Kupriyanov | 4 | 2016 |
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 |