SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. - Klaus Dräger; Andrey Kupriyanov; Bernd Finkbeiner; Heike Wehrheim (TACAS, 2010)

Causality-Based Verification of Multi-threaded Programs. - Andrey Kupriyanov; Bernd Finkbeiner (CONCUR, 2013)

Causal Termination of Multi-threaded Programs. - Andrey Kupriyanov; Bernd Finkbeiner (CAV, 2014)

Array Folds Logic. - Przemyslaw Daca; Thomas A. Henzinger; Andrey Kupriyanov (CAV (2), 2016)

Causality-based verification. - Andrey Kupriyanov (2016)

Causality-based Model Checking. - Bernd Finkbeiner; Andrey Kupriyanov (CREST@ETAPS, 2017)