| 2008 |
|---|
| 8 | EE | Thomas E. Hart,
Kelvin Ku,
Arie Gurfinkel,
Marsha Chechik,
David Lie:
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.
ASE 2008: 387-390 |
| 7 | EE | Thomas E. Hart,
Kelvin Ku,
Arie Gurfinkel,
Marsha Chechik,
David Lie:
PtYasm: Software Model Checking with Proof Templates.
ASE 2008: 479-480 |
| 6 | EE | Thomas E. Hart,
Marsha Chechik,
David Lie:
Security Benchmarking using Partial Verification.
HotSec 2008 |
| 5 | EE | Chenkuan Li,
Thomas E. Hart,
Kevin J. Henry,
Ian A. Neufeld:
Average-Case "messy" Broadcasting.
Journal of Interconnection Networks 9(4): 487-505 (2008) |
| 2007 |
|---|
| 4 | EE | Kelvin Ku,
Thomas E. Hart,
Marsha Chechik,
David Lie:
A buffer overflow benchmark for software model checkers.
ASE 2007: 389-392 |
| 3 | | H. Andrés Lagar-Cavilla,
Gerard Baron,
Thomas E. Hart,
Lionel Litty,
Eyal de Lara:
On the Robustness of Simple Indoor MANET Simulation Models.
Ad Hoc & Sensor Wireless Networks 4(4): 321-354 (2007) |
| 2 | EE | Thomas E. Hart,
Paul E. McKenney,
Angela Demke Brown,
Jonathan Walpole:
Performance of memory reclamation for lockless synchronization.
J. Parallel Distrib. Comput. 67(12): 1270-1285 (2007) |
| 2006 |
|---|
| 1 | EE | Thomas E. Hart,
Paul E. McKenney,
Angela Demke Brown:
Making lockless synchronization fast: performance implications of memory reclamation.
IPDPS 2006 |
