Travelled to:1 × Austria
1 × Cyprus
Collaborated with:B.Finkbeiner P.Daca T.A.Henzinger K.Dräger H.Wehrheim
Talks about:program (1) infinit (1) concurr (1) checker (1) certifi (1) thread (1) termin (1) system (1) causal (1) state (1)
Person: Andrey Kupriyanov
DBLP: Kupriyanov:Andrey
Contributed to:
2014
20102016Wrote 3 papers:
- CAV-2014-KupriyanovF #concurrent #multi #source code #termination #thread
- Causal Termination of Multi-threaded Programs (AK, BF), pp. 814–830.
- TACAS-2010-DragerKFW #concurrent #infinity #model checking #named
- SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems (KD, AK, BF, HW), pp. 271–274.
- CAV-2016-DacaHK #array #logic
- Array Folds Logic (PD, TAH, AK), pp. 230–248.