Eric Mercer
Eric Mercer
Associate Professor of Computer Science, Brigham Young University
Verified email at - Homepage
Cited by
Cited by
Synchronous interlocked pipelines
HM Jacobson, PN Kudva, P Bose, PW Cook, SE Schuster, EG Mercer, ...
Proceedings Eighth International Symposium on Asynchronous Circuits and …, 2002
Load balancing parallel explicit state model checking
R Kumar, EG Mercer
Electronic Notes in Theoretical Computer Science 128 (3), 19-34, 2005
Model checking machine code with the GNU debugger
E Mercer, M Jones
International SPIN Workshop on Model Checking of Software, 251-265, 2005
Efficient testing of concurrent programs with abstraction-guided symbolic execution
N Rungta, EG Mercer, W Visser
International SPIN Workshop on Model Checking of Software, 174-191, 2009
Timed circuits: A new paradigm for high-speed design
CJ Myers, W Belluomini, K Kallpack, E Peskin, H Zheng
Proceedings of the 2001 Asia and South Pacific Design Automation Conference …, 2001
Stochastic cycle period analysis in timed circuits
EG Mercer, CJ Myers
2000 IEEE International Symposium on Circuits and Systems (ISCAS) 2, 172-175, 2000
Modular verification of timed circuits using automatic abstraction
H Zheng, E Mercer, C Myers
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2003
Improving translation of live sequence charts to temporal logic
R Kumar, EG Mercer, A Bunker
Electronic Notes in Theoretical Computer Science 250 (1), 137-152, 2009
MCC: A runtime verification tool for MCAPI user applications
S Sharma, G Gopalakrishnan, E Mercer, J Holt
2009 Formal Methods in Computer-Aided Design, 41-44, 2009
Generating counter-examples through randomized guided search
N Rungta, EG Mercer
International SPIN Workshop on Model Checking of Software, 39-57, 2007
Clash of the titans: tools and techniques for hunting bugs in concurrent programs
N Rungta, EG Mercer
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009
Explicit state model checking with Hopper
M Jones, E Mercer
International SPIN Workshop on Model Checking of Software, 146-150, 2004
A meta heuristic for effectively detecting concurrency errors
N Rungta, EG Mercer
Haifa Verification Conference, 23-37, 2008
Or best offer: A privacy policy negotiation protocol
DD Walker, EG Mercer, KE Seamons
2008 IEEE Workshop on Policies for Distributed Systems and Networks, 173-180, 2008
A context-sensitive structural heuristic for guided search model checking
N Rungta, EG Mercer
Proceedings of the 20th IEEE/ACM international Conference on Automated …, 2005
Hardness for explicit state software model checking benchmarks
N Rungta, EG Mercer
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
Improved poset timing analysis in timed petri nets
EG Mercer, CJ Myers, T Yoneda
The Tenth Workshop on Synthesis and System Integration of MIxed Technologies …, 2001
A standard-cell self-timed multiplier for energy and area critical synchronous systems
KC Killpack, E Mercer, CJ Meyers
Proceedings 2001 Conference on Advanced Research in VLSI. ARVLSI 2001, 188-201, 2001
Correctness and reduction in timed circuit analysis
EG Mercer
The University of Utah, 2002
Model-checking task-parallel programs for data-race
R Nakade, E Mercer, P Aldous, K Storey, B Ogles, J Hooker, SJ Powell, ...
Innovations in Systems and Software Engineering 15 (3), 289-306, 2019
The system can't perform the operation now. Try again later.
Articles 1–20