Andrey Kupriyanov

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 3

Top Topics

Logical Framework

Abductive Reasoning

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Bernd Finkbeiner, Andrey Kupriyanov
Causality-based Model Checking. CREST@ETAPS (2017)
Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov
Array Folds Logic. CAV (2) (2016)
Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov
Array Folds Logic. CoRR (2016)
Andrey Kupriyanov, Bernd Finkbeiner
Causal Termination of Multi-threaded Programs. CAV (2014)
Andrey Kupriyanov, Bernd Finkbeiner
Causality-Based Verification of Multi-threaded Programs. CONCUR (2013)
Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. TACAS (2010)