Home Research-feed Channel Rankings GCT THU AI TR Open Data Must Reading

views: 4

Peter Chubb

Sign in to view more

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers3 papers

Sort

By YearBy Citation

Automatic verification of active device drivers

Sidney Amani,Peter Chubb,Alastair F. Donaldson,Alexander Legg,Keng Chai Ong,Leonid Ryzhyk,Yanjin Zhu

Operating Systems Review, no. 1 (2014): 106-118

Cited by5EIBibtex

Automatic Verification of Message-Based Device Drivers

Sidney Amani,Peter Chubb,Alastair F. Donaldson,Alexander Legg,Leonid Ryzhyk,Yanjin Zhu

SSV, (2012): 4-17

Cited by3EIBibtex

Active device drivers

Sidney Amani,Peter Chubb,Alastair F Donaldson,Alexander Legg,Leonid Ryzhyk,Yanjin Zhu

(2012)

Cited by1Bibtex

View All

Base Info Papers Patents Projects