Dr. Andrey Kupriyanov

While being a member of this group or in collaboration with us.

• Causality-based Model Checking
  Bernd Finkbeiner and Andrey Kupriyanov · CREST 2017
• Causal Termination of Multi-threaded Programs
  Andrey Kupriyanov and Bernd Finkbeiner · CAV 2014
• Causality-Based Verification of Multi-threaded Programs
  Andrey Kupriyanov and Bernd Finkbeiner · CONCUR 2013
• SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
  Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner and Heike Wehrheim · TACAS 2010

While being a member of this group or in collaboration with us.

• Causality-based Verification
  Andrey Kupriyanov · UdS