Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Vadim S. Mutilin
@inproceedings{DBLP:conf/tacas/AndrianovMK21,
author = {Pavel S. Andrianov and
Vadim S. Mutilin and
Alexey V. Khoroshilov},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {cpalockator: Thread-Modular Analysis with Projections - (Competition
Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {423--427},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_25},
doi = {10.1007/978-3-030-72013-1\_25},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AndrianovMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/AndrianovM20,
author = {Pavel Sergeevich Andrianov and
Vadim Sergeevich Mutilin},
title = {Data Race Detection in the Linux Kernel with CPALockator},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {79},
year = {2020},
url = {https://doi.org/10.14279/tuj.eceasst.79.1115},
doi = {10.14279/TUJ.ECEASST.79.1115},
timestamp = {Wed, 26 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/AndrianovM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/VasilyevM20,
author = {Anton A. Vasilyev and
Vadim S. Mutilin},
title = {Predicate Extension of Symbolic Memory Graphs for the Analysis of
Memory Safety Correctness},
journal = {Program. Comput. Softw.},
volume = {46},
number = {8},
pages = {747--754},
year = {2020},
url = {https://doi.org/10.1134/S0361768820080071},
doi = {10.1134/S0361768820080071},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pcs/VasilyevM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fisee/AndrianovM19,
author = {Pavel S. Andrianov and
Vadim S. Mutilin},
editor = {Jean{-}Michel Bruel and
Alfredo Capozucca and
Manuel Mazzara and
Bertrand Meyer and
Alexandr Naumchev and
Andrey Sadovykh},
title = {Scalable Thread-Modular Approach for Data Race Detection},
booktitle = {Frontiers in Software Engineering Education - First International
Workshop, {FISEE} 2019, Villebrumier, France, November 11-13, 2019,
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {12271},
pages = {371--385},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-57663-9\_24},
doi = {10.1007/978-3-030-57663-9\_24},
timestamp = {Mon, 05 Feb 2024 20:35:26 +0100},
biburl = {https://dblp.org/rec/conf/fisee/AndrianovM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndrianovMMV18,
author = {Pavel S. Andrianov and
Vadim S. Mutilin and
Mikhail U. Mandrykin and
Anton A. Vasilyev},
editor = {Dirk Beyer and
Marieke Huisman},
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}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {427--431},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_26},
doi = {10.1007/978-3-319-89963-3\_26},
timestamp = {Fri, 09 Apr 2021 18:45:36 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AndrianovMMV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndrianovFMMV17,
author = {Pavel S. Andrianov and
Karlheinz Friedberger and
Mikhail U. Mandrykin and
Vadim S. Mutilin and
Anton Volkov},
editor = {Axel Legay and
Tiziana Margaria},
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}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {355--359},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_22},
doi = {10.1007/978-3-662-54580-5\_22},
timestamp = {Mon, 11 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AndrianovFMMV17.bib},
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 = {Program. Comput. Softw.},
volume = {42},
number = {4},
pages = {225--238},
year = {2016},
url = {https://doi.org/10.1134/S0361768816040058},
doi = {10.1134/S0361768816040058},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pcs/MordanM16.bib},
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},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
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},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950349},
doi = {10.1145/2950290.2950349},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Apel0MMS16.bib},
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 = {Program. Comput. Softw.},
volume = {41},
number = {1},
pages = {49--64},
year = {2015},
url = {https://doi.org/10.1134/S0361768815010065},
doi = {10.1134/S0361768815010065},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pcs/ZakharovMMNPK15.bib},
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 = {Program. Comput. Softw.},
volume = {41},
number = {3},
pages = {183--195},
year = {2015},
url = {https://doi.org/10.1134/S036176881503007X},
doi = {10.1134/S036176881503007X},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/ZakharovMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/MordanM15,
author = {Vitaly O. Mordan and
Vadim S. Mutilin},
editor = {Manuel Mazzara and
Andrei Voronkov},
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},
series = {Lecture Notes in Computer Science},
volume = {9609},
pages = {218--232},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-41579-6\_17},
doi = {10.1007/978-3-319-41579-6\_17},
timestamp = {Sun, 02 Jun 2019 21:19:59 +0200},
biburl = {https://dblp.org/rec/conf/ershov/MordanM15.bib},
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},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
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},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {400--414},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_32},
doi = {10.1007/978-3-662-46823-4\_32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/KhoroshilovMNZ14.bib},
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 = {Program. Comput. Softw.},
volume = {38},
number = {3},
pages = {134--142},
year = {2012},
url = {https://doi.org/10.1134/S0361768812030061},
doi = {10.1134/S0361768812030061},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/ShvedMM12.bib},
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 = {Program. Comput. Softw.},
volume = {38},
number = {5},
pages = {245--256},
year = {2012},
url = {https://doi.org/10.1134/S0361768812050039},
doi = {10.1134/S0361768812050039},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/MandrykinMNKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ShvedMM12,
author = {Pavel Shved and
Mikhail U. Mandrykin and
Vadim S. Mutilin},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
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},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {525--527},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_39},
doi = {10.1007/978-3-642-28756-5\_39},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ShvedMM12.bib},
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},
editor = {Edmund M. Clarke and
Irina B. Virbitskaite and
Andrei Voronkov},
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},
series = {Lecture Notes in Computer Science},
volume = {7162},
pages = {179--192},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29709-0\_17},
doi = {10.1007/978-3-642-29709-0\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/KhoroshilovMNSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pcs/Mutilin09,
author = {Vadim S. Mutilin},
title = {Multithreaded testing of program interfaces},
journal = {Program. Comput. Softw.},
volume = {35},
number = {6},
pages = {314--320},
year = {2009},
url = {https://doi.org/10.1134/S0361768809060024},
doi = {10.1134/S0361768809060024},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pcs/Mutilin09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/KhoroshilovMPZ09,
author = {Alexey V. Khoroshilov and
Vadim S. Mutilin and
Alexander K. Petrenko and
Vladimir Zakharov},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
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},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {165--176},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_14},
doi = {10.1007/978-3-642-11486-1\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/KhoroshilovMPZ09.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.53},
doi = {10.1109/ISOLA.2006.53},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/Mutilin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
