Concepedia

Vadim Mutilin

VM

Statistics

Publications

6

Citations

103

H-Index

6

Active since

2012

Affiliations

Institute for System Programming(Current)

Russian Academy of Sciences

Vadim Mutilin is an author at Institute for System Programming specializing in formal verification, system software, and engineering.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

2012–2016

6

Publications

6

Configurable toolset for static verification of operating systems kernel modules

Ilja Zakharov, Mikhail Mandrykin, Vadim Mutilin et al. · Programming and Computer Software · 2015 · 33 citations

Analysis of typical faults in Linux operating system drivers

Vadim Mutilin, Evgeny Novikov, Alexey Khoroshilov · Proceedings of the Institute for System Programming of RAS · 2012 · 16 citations · Full text

Software Maintenance, Engineering, Verification +22

On-the-fly decomposition of specifications in software model checking

Sven Apel, Dirk Beyer, Vitaly Mordan et al. · 2016 · 15 citations

Software Maintenance, Program Checking, Engineering +22

Using linux device drivers for static verification tools benchmarking

Mikhail Mandrykin, Vadim Mutilin, Evgeny Novikov et al. · Programming and Computer Software · 2012 · 14 citations

Verification and analysis of variable operating systems

E.M. Lavrischeva, Vadim Mutilin, Alexander K. Petrenko · Proceedings of the Institute for System Programming of RAS · 2016 · 14 citations · Full text

Engineering, Compiler Technology, System Programming +21

1–5 of 6