Thomas E. Hart

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE (2008)
Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie
PtYasm: Software Model Checking with Proof Templates. ASE (2008)
Chenkuan Li, Thomas E. Hart, Kevin J. Henry, Ian A. Neufeld
Average-Case "messy" Broadcasting. J. Interconnect. Networks 9 (4) (2008)
Thomas E. Hart, Marsha Chechik, David Lie
Security Benchmarking using Partial Verification. HotSec (2008)
Thomas E. Hart, Paul E. McKenney, Angela Demke Brown, Jonathan Walpole
Performance of memory reclamation for lockless synchronization. J. Parallel Distributed Comput. 67 (12) (2007)
Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie
A buffer overflow benchmark for software model checkers. ASE (2007)
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 Sens. Wirel. Networks 4 (4) (2007)
Thomas E. Hart, Paul E. McKenney, Angela Demke Brown
Making lockless synchronization fast: performance implications of memory reclamation. IPDPS (2006)
Horacio Andrés Lagar-Cavilla, Gerard Baron, Thomas E. Hart, Lionel Litty, Eyal de Lara
Simplified simulation models for indoor MANET evaluation are not robust. SECON (2004)