Device Driver Models

Device Driver Model is a formal architectural framework that specifies the structure, behavior, and interaction mechanisms of device drivers within an operating system, distinguishing it from other system software components by its dedicated role in enabling hardware abstraction, resource management, and kernel-mediated communication for peripheral devices.

Publications

4.7K

Citations

188

Authors

Institutions

Publications per year

2017–2026

Parents

Device Drivers

Publications

PRIMA: passive reduced-order interconnect macromodeling algorithm

Altan Odabasioglu, M. Celik, Lawrence T. Pileggi · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1998 · 1.5K citations

Engineering, Computer Engineering, Electrical Engineering +16

Thorough static analysis of device drivers

Thomas Ball, Ella Bounimova, Byron Cook et al. · 2006 · 378 citations

Computing, Computer Science, Computer Systems +13

PRIMA: passive reduced-order interconnect macromodeling algorithm

Odabasioglu, Celik, Pileggi · 1997 · 302 citations

Engineering, Computer Engineering, Electrical Engineering +16

Bridging the gap between software and hardware techniques for I/O virtualization

José Renato Santos, Yoshio Turner, Ganesh Janakiraman et al. · USENIX Annual Technical Conference · 2008 · 211 citations

Computing, Computer Science, Computer Systems +14

Documenting and automating collateral evolutions in linux device drivers

Yoann Padioleau, Julia Lawall, René Rydhof Hansen et al. · 2008 · 192 citations

Computing, Computer Science, Computer Systems +15

1–5 of 67

Authors

188

LR
Luigi Rizzo
University of Pisa, Italy
4 publications · 110 citations
4
h-index
SW
Shaojie Wang
Beihang University, China
3 publications · 78 citations
3
h-index
GP
Graziano Pravadelli
University of Verona, Italy
3 publications · 39 citations
3
h-index
FF
Franco Fummi
University of Verona, Italy
3 publications · 39 citations
3
h-index
MB
Markus Becker
Paderborn University, Germany
2 publications · 26 citations
2
h-index

1–5 of 188

Institutions

1–8 of 67

Venues

ACM SIGOPS Operating Systems Review
3 publications · 152 citations
3
h-index
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
2 publications · 1.5K citations
2
h-index
Disability and Rehabilitation Assistive Technology
2 publications · 40 citations
2
h-index
PORTO Publications Open Repository TOrino (Politecnico di Torino)
Repository · 1 publications · 13 citations
1
h-index
ACM SIGPLAN Notices
1 publications · 10 citations
1
h-index

1–5