BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
Collaborated with:
S.Löwe P.Wendler P.Shved V.S.Mutilin
Talks about:
contribut (2) competit (2) predic (2) analys (2) sequenti (1) explicit (1) analysi (1) combin (1) acheck (1) blast (1)

Person: Mikhail U. Mandrykin

DBLP DBLP: Mandrykin:Mikhail_U=

Contributed to:

TACAS 20142014
TACAS 20122012

Wrote 2 papers:

TACAS-2014-LoweMW #analysis #contest
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses — (Competition Contribution) (SL, MUM, PW), pp. 392–394.
TACAS-2012-ShvedMM #analysis #contest
Predicate Analysis with BLAST 2.7 — (Competition Contribution) (PS, MUM, VSM), pp. 525–527.

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.