dblp.uni-trier.dewww.uni-trier.de

Thomas E. Hart

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEThomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE 2008: 387-390
7EEThomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: PtYasm: Software Model Checking with Proof Templates. ASE 2008: 479-480
6EEThomas E. Hart, Marsha Chechik, David Lie: Security Benchmarking using Partial Verification. HotSec 2008
5EEChenkuan Li, Thomas E. Hart, Kevin J. Henry, Ian A. Neufeld: Average-Case "messy" Broadcasting. Journal of Interconnection Networks 9(4): 487-505 (2008)
2007
4EEKelvin 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)
2EEThomas 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
1EEThomas E. Hart, Paul E. McKenney, Angela Demke Brown: Making lockless synchronization fast: performance implications of memory reclamation. IPDPS 2006

Coauthor Index

1Gerard Baron [3]
2Angela Demke Brown [1] [2]
3Marsha Chechik [4] [6] [7] [8]
4Arie Gurfinkel [7] [8]
5Kevin J. Henry [5]
6Kelvin Ku [4] [7] [8]
7H. Andrés Lagar-Cavilla [3]
8Eyal de Lara [3]
9Chenkuan Li [5]
10David Lie [4] [6] [7] [8]
11Lionel Litty [3]
12Paul E. McKenney [1] [2]
13Ian A. Neufeld [5]
14Jonathan Walpole [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)