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: Mandrykin:Mikhail_U=
Contributed to:
20142012Wrote 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.