Thomas E. Hart

According to our database, Thomas E. Hart authored at least 9 papers between 2004 and 2008.

Collaborative distances:

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

2008

Average-Case "messy" Broadcasting.

Chenkuan Li, Thomas E. Hart, Kevin J. Henry, Ian A. Neufeld

J. Interconnect. Networks, 2008

Security Benchmarking using Partial Verification.

Thomas E. Hart, Marsha Chechik, David Lie

Proceedings of the 3rd USENIX Workshop on Hot Topics in Security, 2008

PtYasm: Software Model Checking with Proof Templates.

Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates.

Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

Performance of memory reclamation for lockless synchronization.

Thomas E. Hart, Paul E. McKenney, Angela Demke Brown, Jonathan Walpole

J. Parallel Distributed Comput., 2007

On the Robustness of Simple Indoor MANET Simulation Models.

H. Andrés Lagar-Cavilla, Gerard Baron, Thomas E. Hart, Lionel Litty, Eyal de Lara

Ad Hoc Sens. Wirel. Networks, 2007

A buffer overflow benchmark for software model checkers.

Kelvin Ku, Thomas E. Hart, Marsha Chechik, David Lie

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Making lockless synchronization fast: performance implications of memory reclamation.

Thomas E. Hart, Paul E. McKenney, Angela Demke Brown

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2004

Simplified simulation models for indoor MANET evaluation are not robust.

Horacio Andrés Lagar-Cavilla, Gerard Baron, Thomas E. Hart, Lionel Litty, Eyal de Lara

Proceedings of the First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004