| 2005 |
|---|
| 5 | EE | Bor-Yuh Evan Chang,
Adam J. Chlipala,
George C. Necula,
Robert R. Schneck:
The open verifier framework for foundational verifiers.
TLDI 2005: 1-12 |
| 4 | EE | Bor-Yuh Evan Chang,
Adam J. Chlipala,
George C. Necula,
Robert R. Schneck:
Type-based verification of assembly language for compiler debugging.
TLDI 2005: 91-102 |
| 2003 |
|---|
| 3 | EE | George C. Necula,
Robert R. Schneck:
A Sound Framework for Untrusted Verification-Condition Generators.
LICS 2003: 248-260 |
| 2002 |
|---|
| 2 | EE | Robert R. Schneck,
George C. Necula:
A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code.
CADE 2002: 47-62 |
| 1 | EE | George C. Necula,
Robert R. Schneck:
Proof-Carrying Code with Untrusted Proof Rules.
ISSS 2002: 283-298 |
