Peter C. Dillinger

	2011
8		Harsh Raju Chamarthi, Peter C. Dillinger, Matt Kaufmann, Panagiotis Manolios: Integrating Testing and Interactive Theorem Proving ACL2 2011: 4-19
7		Harsh Raju Chamarthi, Peter C. Dillinger, Panagiotis Manolios, Daron Vroon: The ACL2 Sedan Theorem Proving System. TACAS 2011: 291-295
	2009
6		Peter C. Dillinger, Panagiotis Manolios: Fast, All-Purpose State Storage. SPIN 2009: 12-31
	2007
5		Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J. Strother Moore: ACL2s: "The ACL2 Sedan". ICSE Companion 2007: 59-60
4		Peter C. Dillinger, Panagiotis Manolios, Daron Vroon, J. Strother Moore: ACL2s: "The ACL2 Sedan". Electr. Notes Theor. Comput. Sci. 174(2): 3-18 (2007)
	2005
3		Peter C. Dillinger, Panagiotis Manolios: Enhanced Probabilistic Verification with 3Spin and 3Murphi. SPIN 2005: 272-276
	2004
2		Peter C. Dillinger, Panagiotis Manolios: Bloom Filters in Probabilistic Verification. FMCAD 2004: 367-381
1		Peter C. Dillinger, Panagiotis Manolios: Fast and Accurate Bitstate Verification for SPIN. SPIN 2004: 57-75

Coauthor Index

1	Harsh Raju Chamarthi	[7] [8]
2	Matt Kaufmann	[8]
3	Panagiotis Manolios (Pete Manolios)	[1] [2] [3] [4] [5] [6] [7] [8]
4	J. Strother Moore	[4] [5]
5	Daron Vroon	[4] [5] [7]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page