Robert Bellarmine Krug

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Operating System

Computational Complexity

Top Venues

Publications

Michael McCoyd, Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, William D. Young
Building a Hypervisor on a Formally Verifiable Protection Layer. HICSS (2013)
Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young
Toward the Verification of a Simple Hypervisor ACL2 (2011)
Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young
Mechanized Information Flow Analysis through Inductive Assertions. FMCAD (2008)
Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J Strother Moore, Eric Whitman Smith
Meta Reasoning in ACL2. TPHOLs (2005)
Warren A. Hunt Jr., Robert Bellarmine Krug, J Strother Moore
Linear and Nonlinear Arithmetic in ACL2. CHARME (2003)