Eric Mercer

Eric G. Mercer

	2009
22		Neha Rungta, Eric G. Mercer: Guided model checking for programs with polymorphism. PEPM 2009: 21-30
21		Neha Rungta, Eric G. Mercer, Willem Visser: Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN 2009: 174-191
20		Rahul Kumar, Eric G. Mercer, Annette Bunker: Improving Translation of Live Sequence Charts to Temporal Logic. Electr. Notes Theor. Comput. Sci. 250(1): 137-152 (2009)
19		Rahul Kumar, Eric G. Mercer: Verifying Communication Protocols Using Live Sequence Chart Specifications. Electr. Notes Theor. Comput. Sci. 250(2): 33-48 (2009)
	2008
18		Neha Rungta, Eric G. Mercer: A Meta Heuristic for Effectively Detecting Concurrency Errors. Haifa Verification Conference 2008: 23-37
17		Daniel D. Walker, Eric G. Mercer, Kent E. Seamons: Or Best Offer: A Privacy Policy Negotiation Protocol. POLICY 2008: 173-180
16		Rahul Kumar, Eric G. Mercer: Improving Live Sequence Chart to Automata Transformation for Verification. ECEASST 10: (2008)
	2007
15		Neha Rungta, Hyrum Carroll, Eric G. Mercer, Randall J. Roper, Mark J. Clement, Quinn Snell: Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs. FMCAD 2007: 216-219
14		Neha Rungta, Eric G. Mercer: Hardness for Explicit State Software Model Checking Benchmarks. SEFM 2007: 247-256
13		Joel P. Self, Eric G. Mercer: On-the-Fly Dynamic Dead Variable Analysis. SPIN 2007: 113-130
12		Neha Rungta, Eric G. Mercer: Generating Counter-Examples Through Randomized Guided Search. SPIN 2007: 39-57
	2006
11		Neha Rungta, Eric G. Mercer: An Improved Distance Heuristic Function for Directed Software Model Checking. FMCAD 2006: 60-67
	2005
10		Neha Rungta, Eric G. Mercer: A context-sensitive structural heuristic for guided search model checking. ASE 2005: 410-413
9		Eric Mercer, Michael Jones: Model Checking Machine Code with the GNU Debugger. SPIN 2005: 251-265
8		Rahul Kumar, Eric G. Mercer: Load Balancing Parallel Explicit State Model Checking. Electr. Notes Theor. Comput. Sci. 128(3): 19-34 (2005)
	2004
7		Michael Jones, Eric Mercer: Explicit State Model Checking with Hopper. SPIN 2004: 146-150
	2003
6		Michael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn: Benchmarking Explicit State Parallel Model Checkers. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
5		Hao Zheng, Eric Mercer, Chris J. Myers: Modular verification of timed circuits using automatic abstraction. IEEE Trans. on CAD of Integrated Circuits and Systems 22(9): 1138-1153 (2003)
	2002
4		Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers: Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. PRDC 2002: 210-220
3		Eric Mercer, Chris J. Myers, Tomohiro Yoneda: Modular Synthesis of Timed Circuits using Partial Order Reduction. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
	2001
2		Kip C. Killpack, Eric Mercer, Chris J. Myers: A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems. ARVLSI 2001: 188-201
1		Hao Zheng, Eric Mercer, Chris J. Myers: Automatic Abstraction for Verification of Timed Circuits and Systems. CAV 2001: 182-193

Coauthor Index

1	Tonglaga Bao	[6]
2	Annette Bunker	[20]
3	Hyrum Carroll	[15]
4	Mark J. Clement	[15]
5	Michael Jones	[6] [7] [9]
6	Kip C. Killpack	[2]
7	Tomoya Kitai	[4]
8	Rahul Kumar	[6] [8] [16] [19] [20]
9	Peter Lamborn	[6]
10	Chris J. Myers	[1] [2] [3] [4] [5]
11	Yusuke Oguro	[4]
12	Randall J. Roper	[15]
13	Neha Rungta	[10] [11] [12] [14] [15] [18] [21] [22]
14	Kent E. Seamons	[17]
15	Joel P. Self	[13]
16	Quinn Snell	[15]
17	Willem Visser	[21]
18	Daniel D. Walker	[17]
19	Tomohiro Yoneda	[3] [4]
20	Hao Zheng	[1] [5]

Colors in the list of coauthors