Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dirk Beyer
Linux Driver Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
How to Cook an Automated System for Linux Driver Verification
Runtime Verification of Authorization Hook Placement for the Linux Security Modules Framework
Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel
Proceedings of the Institute for System Programming of RAS
The Driver for the Scull_Open Discovery Function, Read / Write Scull_Read / Scull_Write for a Protected Linux OS
International Journal of Computer Science Engineering and Information Technology Research
Linux
Host Based System C-Tlm2.0 Simulation Model for Memory Device Driver Verification
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Linux en Router Inalámbricos Linksys [Linux in Wireless Router Linksys]
Ventana Informatica
Linux Kernel Vulnerabilities
Let's Verify Linux
