Robert Bellarmine Krug

According to our database, Robert Bellarmine Krug authored at least 5 papers between 2003 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

Building a Hypervisor on a Formally Verifiable Protection Layer.

Michael McCoyd, Robert Bellarmine Krug, Deepak Goel, Mike Dahlin, William D. Young

Proceedings of the 46th Hawaii International Conference on System Sciences, 2013

2011

Toward the Verification of a Simple Hypervisor

Mike Dahlin, Ryan Johnson, Robert Bellarmine Krug, Michael McCoyd, William D. Young

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

2008

Mechanized Information Flow Analysis through Inductive Assertions.

Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip Ray, William D. Young

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2005

Meta Reasoning in ACL2.

Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmine Krug, J Strother Moore, Eric Whitman Smith

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2003

Linear and Nonlinear Arithmetic in ACL2.

Warren A. Hunt Jr., Robert Bellarmine Krug, J Strother Moore

Proceedings of the Correct Hardware Design and Verification Methods, 2003