Thomas E. Hart

	2008
8		Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. ASE 2008: 387-390
7		Thomas E. Hart, Kelvin Ku, Arie Gurfinkel, Marsha Chechik, David Lie: PtYasm: Software Model Checking with Proof Templates. ASE 2008: 479-480
6		Thomas E. Hart, Marsha Chechik, David Lie: Security Benchmarking using Partial Verification. HotSec 2008
5		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		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		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		Thomas E. Hart, Paul E. McKenney, Angela Demke Brown: Making lockless synchronization fast: performance implications of memory reclamation. IPDPS 2006

Coauthor Index

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

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page