Travelled to:1 × Estonia
Collaborated with:P.Shved M.U.Mandrykin S.Apel D.B.0001 V.O.Mordan A.Stahlbauer
Talks about:decomposit (1) contribut (1) competit (1) softwar (1) analysi (1) specif (1) predic (1) model (1) check (1) blast (1)
Person: Vadim S. Mutilin
DBLP: Mutilin:Vadim_S=
Contributed to:
2012
2016Wrote 2 papers:
- TACAS-2012-ShvedMM #analysis #contest
- Predicate Analysis with BLAST 2.7 — (Competition Contribution) (PS, MUM, VSM), pp. 525–527.
- FSE-2016-Apel0MMS #composition #model checking #on the fly #specification
- On-the-fly decomposition of specifications in software model checking (SA, DB0, VOM, VSM, AS), pp. 349–361.