Con McGarvey

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
Formalizing hardware/software interface specifications. ASE (2011)
Juncao Li, Fei Xie, Thomas Ball, Vladimir Levin, Con McGarvey
An Automata-Theoretic Approach to Hardware/Software Co-verification. FASE (2010)
Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner
Thorough static analysis of device drivers. EuroSys (2006)