Author of the publication

Using linux device drivers for static verification tools benchmarking.

, , , , and . Programming and Computer Software, 38 (5): 245-256 (2012)

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.

 

Other publications of authors with the same name

Pattern-based environment modeling for static verification of Linux kernel modules., , and . Programming and Computer Software, 41 (3): 183-195 (2015)Region analysis for deductive verification of C programs., and . Programming and Computer Software, 42 (5): 257-278 (2016)Deductive Verification of Unmodified Linux Kernel Library Functions., , and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 216-234. Springer, (2018)Configurable toolset for static verification of operating systems kernel modules., , , , , and . Programming and Computer Software, 41 (1): 49-64 (2015)Integrating AADL-Based Tool Chain into Existing Industrial Processes., , , and . ICECCS, page 367-371. IEEE Computer Society, (2011)Towards an Open Framework for C Verification Tools Benchmarking., , , , and . Ershov Memorial Conference, volume 7162 of Lecture Notes in Computer Science, page 179-192. Springer, (2011)Open Source Certification and Educational Process.. ECEASST, (2009)High-level memory model with low-level pointer cast support for Jessie intermediate language., and . Programming and Computer Software, 41 (4): 197-207 (2015)Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols., and . Programming and Computer Software, 33 (6): 316-335 (2007)Automated Formal Testing of C API Using T2C Framework., , and . ISoLA, volume 17 of Communications in Computer and Information Science, page 56-70. Springer, (2008)