BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kupriyanov:Andrey

Contributed to:

CAV 20142014
TACAS 20102010
CAV (2) 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.