Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Automated Formal Testing of C API Using T2C Framework.

A. Khoroshilov, V. Rubanov, and E. Shatokhin. ISoLA, volume 17 of Communications in Computer and Information Science, page 56-70. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Alexey Lapin University of Stuttgart

V. Vaikuntanathan

V. Zaverkin

Michael P. Voigt Universität Stuttgart

Wolfgang Vogel

Other publications of authors with the same name

Pattern-based environment modeling for static verification of Linux kernel modules.I. Zakharov, V. Mutilin, and A. Khoroshilov. Programming and Computer Software, 41 (3): 183-195 (2015)Region analysis for deductive verification of C programs.M. Mandrykin, and A. Khoroshilov. Programming and Computer Software, 42 (5): 257-278 (2016)Configurable toolset for static verification of operating systems kernel modules.I. Zakharov, M. Mandrykin, V. Mutilin, E. Novikov, A. Petrenko, and A. Khoroshilov. Programming and Computer Software, 41 (1): 49-64 (2015)Deductive Verification of Unmodified Linux Kernel Library Functions.D. Efremov, M. Mandrykin, and A. Khoroshilov. ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 216-234. Springer, (2018)Integrating AADL-Based Tool Chain into Existing Industrial Processes.A. Khoroshilov, I. Koverninskiy, A. Petrenko, and A. Ugnenko. ICECCS, page 367-371. IEEE Computer Society, (2011)Towards an Open Framework for C Verification Tools Benchmarking.A. Khoroshilov, V. Mutilin, E. Novikov, P. Shved, and A. Strakh. Ershov Memorial Conference, volume 7162 of Lecture Notes in Computer Science, page 179-192. Springer, (2011)A Memory Model for Deductively Verifying Linux Kernel Modules.M. Mandrykin, and A. Khoroshilov. Ershov Informatics Conference, volume 10742 of Lecture Notes in Computer Science, page 256-275. Springer, (2017)Using Refinement in Formal Development of OS Security Model.P. Devyanin, A. Khoroshilov, V. Kuliamin, A. Petrenko, and I. Shchepetkov. Ershov Memorial Conference, volume 9609 of Lecture Notes in Computer Science, page 107-115. Springer, (2015)Model-Based Testing of Safety Critical Real-Time Control Logic SoftwareY. Gerlits, and A. Khoroshilov. MBT, volume 80 of EPTCS, page 130-144. (2012)Using linux device drivers for static verification tools benchmarking.M. Mandrykin, V. Mutilin, E. Novikov, A. Khoroshilov, and P. Shved. Programming and Computer Software, 38 (5): 245-256 (2012)