Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Vadim Mutilin

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pcs/ShvedMM12
- ask others
Pavel Shved, Vadim Mutilin, Mikhail Mandrykin: Experience of improving the blast static verification tool. Programming and Computer Software 38(3): 134-142 (2012)
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/pcs/MandrykinMNKS12
- ask others
Mikhail Mandrykin, Vadim Mutilin, Eugene Novikov, Alexey V. Khoroshilov, Pavel Shved: Using linux device drivers for static verification tools benchmarking. Programming and Computer Software 38(5): 245-256 (2012)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/ShvedMM12
- ask others
Pavel Shved, Mikhail Mandrykin, Vadim Mutilin: Predicate Analysis with BLAST 2.7 - (Competition Contribution). TACAS 2012: 525-527
2011
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ershov/KhoroshilovMNSS11
- ask others
Alexey V. Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved, Alexander Strakh: Towards an Open Framework for C Verification Tools Benchmarking. Ershov Memorial Conference 2011: 179-192

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ershov/KhoroshilovMPZ09
- ask others
Alexey V. Khoroshilov, Vadim Mutilin, Alexandre Petrenko, Vladimir Zakharov: Establishing Linux Driver Verification Process. Ershov Memorial Conference 2009: 165-176
2006
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/isola/Mutilin06
- ask others
Vadim Mutilin: Concurrent Testing of Java Components Using Java PathFinder. ISoLA 2006: 53-59

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?