BibTeX records: Vadim S. Mutilin

download as .bib file

@inproceedings{DBLP:conf/tacas/AndrianovMMV18,
  author    = {Pavel Andrianov and
               Vadim S. Mutilin and
               Mikhail U. Mandrykin and
               Anton Vasilyev},
  title     = {CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based
               Dependency Analysis - (Competition Contribution)},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 24th International Conference, {TACAS} 2018, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  pages     = {427--431},
  year      = {2018},
  crossref  = {DBLP:conf/tacas/2018-2},
  url       = {https://doi.org/10.1007/978-3-319-89963-3\_26},
  doi       = {10.1007/978-3-319-89963-3\_26},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/AndrianovMMV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndrianovFMMV17,
  author    = {Pavel Andrianov and
               Karlheinz Friedberger and
               Mikhail U. Mandrykin and
               Vadim S. Mutilin and
               Anton Volkov},
  title     = {CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory
               Models for Predicate Abstractions - (Competition Contribution)},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 23rd International Conference, {TACAS} 2017, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
  pages     = {355--359},
  year      = {2017},
  crossref  = {DBLP:conf/tacas/2017-2},
  url       = {https://doi.org/10.1007/978-3-662-54580-5\_22},
  doi       = {10.1007/978-3-662-54580-5\_22},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/AndrianovFMMV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/MordanM16,
  author    = {Vitaly O. Mordan and
               Vadim S. Mutilin},
  title     = {Checking several requirements at once by {CEGAR}},
  journal   = {Programming and Computer Software},
  volume    = {42},
  number    = {4},
  pages     = {225--238},
  year      = {2016},
  url       = {https://doi.org/10.1134/S0361768816040058},
  doi       = {10.1134/S0361768816040058},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pcs/MordanM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Apel0MMS16,
  author    = {Sven Apel and
               Dirk Beyer and
               Vitaly O. Mordan and
               Vadim S. Mutilin and
               Andreas Stahlbauer},
  title     = {On-the-fly decomposition of specifications in software model checking},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  pages     = {349--361},
  year      = {2016},
  crossref  = {DBLP:conf/sigsoft/2016},
  url       = {https://doi.org/10.1145/2950290.2950349},
  doi       = {10.1145/2950290.2950349},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/Apel0MMS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/ZakharovMMNPK15,
  author    = {Ilja S. Zakharov and
               Mikhail U. Mandrykin and
               Vadim S. Mutilin and
               Evgeny Novikov and
               Alexander K. Petrenko and
               Alexey V. Khoroshilov},
  title     = {Configurable toolset for static verification of operating systems
               kernel modules},
  journal   = {Programming and Computer Software},
  volume    = {41},
  number    = {1},
  pages     = {49--64},
  year      = {2015},
  url       = {https://doi.org/10.1134/S0361768815010065},
  doi       = {10.1134/S0361768815010065},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pcs/ZakharovMMNPK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/ZakharovMK15,
  author    = {Ilja S. Zakharov and
               Vadim S. Mutilin and
               Alexey V. Khoroshilov},
  title     = {Pattern-based environment modeling for static verification of Linux
               kernel modules},
  journal   = {Programming and Computer Software},
  volume    = {41},
  number    = {3},
  pages     = {183--195},
  year      = {2015},
  url       = {https://doi.org/10.1134/S036176881503007X},
  doi       = {10.1134/S036176881503007X},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pcs/ZakharovMK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/MordanM15,
  author    = {Vitaly O. Mordan and
               Vadim S. Mutilin},
  title     = {Checking Several Requirements at once by {CEGAR}},
  booktitle = {Perspectives of System Informatics - 10th International Andrei Ershov
               Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
               and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
  pages     = {218--232},
  year      = {2015},
  crossref  = {DBLP:conf/ershov/2015},
  url       = {https://doi.org/10.1007/978-3-319-41579-6\_17},
  doi       = {10.1007/978-3-319-41579-6\_17},
  timestamp = {Thu, 15 Jun 2017 21:35:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/MordanM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/KhoroshilovMNZ14,
  author    = {Alexey V. Khoroshilov and
               Vadim S. Mutilin and
               Evgeny Novikov and
               Ilja S. Zakharov},
  title     = {Modeling Environment for Static Verification of Linux Kernel Modules},
  booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
               Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
               Revised Selected Papers},
  pages     = {400--414},
  year      = {2014},
  crossref  = {DBLP:conf/ershov/2014},
  url       = {https://doi.org/10.1007/978-3-662-46823-4\_32},
  doi       = {10.1007/978-3-662-46823-4\_32},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/KhoroshilovMNZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/ShvedMM12,
  author    = {Pavel Shved and
               Vadim S. Mutilin and
               Mikhail U. Mandrykin},
  title     = {Experience of improving the blast static verification tool},
  journal   = {Programming and Computer Software},
  volume    = {38},
  number    = {3},
  pages     = {134--142},
  year      = {2012},
  url       = {https://doi.org/10.1134/S0361768812030061},
  doi       = {10.1134/S0361768812030061},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pcs/ShvedMM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/MandrykinMNKS12,
  author    = {Mikhail U. Mandrykin and
               Vadim S. Mutilin and
               Evgeny Novikov and
               Alexey V. Khoroshilov and
               Pavel Shved},
  title     = {Using linux device drivers for static verification tools benchmarking},
  journal   = {Programming and Computer Software},
  volume    = {38},
  number    = {5},
  pages     = {245--256},
  year      = {2012},
  url       = {https://doi.org/10.1134/S0361768812050039},
  doi       = {10.1134/S0361768812050039},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pcs/MandrykinMNKS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ShvedMM12,
  author    = {Pavel Shved and
               Mikhail U. Mandrykin and
               Vadim S. Mutilin},
  title     = {Predicate Analysis with {BLAST} 2.7 - (Competition Contribution)},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  pages     = {525--527},
  year      = {2012},
  crossref  = {DBLP:conf/tacas/2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5\_39},
  doi       = {10.1007/978-3-642-28756-5\_39},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/ShvedMM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/KhoroshilovMNSS11,
  author    = {Alexey V. Khoroshilov and
               Vadim S. Mutilin and
               Evgeny Novikov and
               Pavel Shved and
               Alexander Strakh},
  title     = {Towards an Open Framework for {C} Verification Tools Benchmarking},
  booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov
               Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
               1, 2011, Revised Selected Papers},
  pages     = {179--192},
  year      = {2011},
  crossref  = {DBLP:conf/ershov/2011},
  url       = {https://doi.org/10.1007/978-3-642-29709-0\_17},
  doi       = {10.1007/978-3-642-29709-0\_17},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/KhoroshilovMNSS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Mutilin09,
  author    = {Vadim S. Mutilin},
  title     = {Multithreaded testing of program interfaces},
  journal   = {Programming and Computer Software},
  volume    = {35},
  number    = {6},
  pages     = {314--320},
  year      = {2009},
  url       = {https://doi.org/10.1134/S0361768809060024},
  doi       = {10.1134/S0361768809060024},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pcs/Mutilin09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/KhoroshilovMPZ09,
  author    = {Alexey V. Khoroshilov and
               Vadim S. Mutilin and
               Alexandre Petrenko and
               Vladimir Zakharov},
  title     = {Establishing Linux Driver Verification Process},
  booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
               Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
               2009. Revised Papers},
  pages     = {165--176},
  year      = {2009},
  crossref  = {DBLP:conf/ershov/2009},
  url       = {https://doi.org/10.1007/978-3-642-11486-1\_14},
  doi       = {10.1007/978-3-642-11486-1\_14},
  timestamp = {Wed, 14 Nov 2018 10:57:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/KhoroshilovMPZ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Mutilin06,
  author    = {Vadim S. Mutilin},
  title     = {Concurrent Testing of Java Components Using Java PathFinder},
  booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages     = {53--59},
  year      = {2006},
  crossref  = {DBLP:conf/isola/2006},
  url       = {https://doi.org/10.1109/ISoLA.2006.53},
  doi       = {10.1109/ISoLA.2006.53},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/Mutilin06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2018-2,
  editor    = {Dirk Beyer and
               Marieke Huisman},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 24th International Conference, {TACAS} 2018, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10806},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89963-3},
  doi       = {10.1007/978-3-319-89963-3},
  isbn      = {978-3-319-89962-6},
  timestamp = {Tue, 17 Apr 2018 09:53:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2018-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2017-2,
  editor    = {Axel Legay and
               Tiziana Margaria},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 23rd International Conference, {TACAS} 2017, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10206},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54580-5},
  doi       = {10.1007/978-3-662-54580-5},
  isbn      = {978-3-662-54579-9},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2017-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2016,
  editor    = {Thomas Zimmermann and
               Jane Cleland{-}Huang and
               Zhendong Su},
  title     = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2950290},
  doi       = {10.1145/2950290},
  isbn      = {978-1-4503-4218-6},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2015,
  editor    = {Manuel Mazzara and
               Andrei Voronkov},
  title     = {Perspectives of System Informatics - 10th International Andrei Ershov
               Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
               and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9609},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41579-6},
  doi       = {10.1007/978-3-319-41579-6},
  isbn      = {978-3-319-41578-9},
  timestamp = {Thu, 15 Jun 2017 21:35:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2014,
  editor    = {Andrei Voronkov and
               Irina Virbitskaite},
  title     = {Perspectives of System Informatics - 9th International Ershov Informatics
               Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8974},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46823-4},
  doi       = {10.1007/978-3-662-46823-4},
  isbn      = {978-3-662-46822-7},
  timestamp = {Sun, 21 May 2017 00:18:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2012,
  editor    = {Cormac Flanagan and
               Barbara K{\"{o}}nig},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7214},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5},
  doi       = {10.1007/978-3-642-28756-5},
  isbn      = {978-3-642-28755-8},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2011,
  editor    = {Edmund M. Clarke and
               Irina Virbitskaite and
               Andrei Voronkov},
  title     = {Perspectives of Systems Informatics - 8th International Andrei Ershov
               Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
               1, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7162},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29709-0},
  doi       = {10.1007/978-3-642-29709-0},
  isbn      = {978-3-642-29708-3},
  timestamp = {Sun, 21 May 2017 00:18:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2009,
  editor    = {Amir Pnueli and
               Irina Virbitskaite and
               Andrei Voronkov},
  title     = {Perspectives of Systems Informatics, 7th International Andrei Ershov
               Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
               2009. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5947},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11486-1},
  doi       = {10.1007/978-3-642-11486-1},
  isbn      = {978-3-642-11485-4},
  timestamp = {Wed, 14 Nov 2018 10:57:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2006,
  title     = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4463675},
  isbn      = {978-0-7695-3071-0},
  timestamp = {Fri, 23 Dec 2016 12:21:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier