Andrey Kupriyanov

According to our database, Andrey Kupriyanov authored at least 6 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Causality-based Model Checking.

Bernd Finkbeiner, Andrey Kupriyanov

Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

2016

Causality-based verification.

Andrey Kupriyanov

PhD thesis, 2016

Array Folds Logic.

Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2014

Causal Termination of Multi-threaded Programs.

Andrey Kupriyanov, Bernd Finkbeiner

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Causality-Based Verification of Multi-threaded Programs.

Andrey Kupriyanov, Bernd Finkbeiner

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2010

SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.

Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010