Travelled to:1 × Germany
Collaborated with:E.A.Shatokhin
Talks about:intercept (1) runtim (1) kernel (1) verif (1) modul (1) linux (1) call (1) base (1)
Person: Vladimir V. Rubanov
DBLP: Rubanov:Vladimir_V=
Contributed to:
2011Wrote 1 papers:
- ICST-2011-RubanovS #kernel #linux #runtime #verification
- Runtime Verification of Linux Kernel Modules Based on Call Interception (VVR, EAS), pp. 180–189.