Eric Mercer
Eric Mercer
Associate Professor of Computer Science, Brigham Young University
Verified email at cs.byu.edu - Homepage
Title
Cited by
Cited by
Year
Synchronous interlocked pipelines
HM Jacobson, PN Kudva, P Bose, PW Cook, SE Schuster, EG Mercer, ...
Proceedings Eighth International Symposium on Asynchronous Circuits and …, 2002
1182002
Load balancing parallel explicit state model checking
R Kumar, EG Mercer
Electronic Notes in Theoretical Computer Science 128 (3), 19-34, 2005
682005
Model checking machine code with the GNU debugger
E Mercer, M Jones
International SPIN Workshop on Model Checking of Software, 251-265, 2005
582005
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
462009
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
372001
Stochastic cycle period analysis in timed circuits
EG Mercer, CJ Myers
2000 IEEE International Symposium on Circuits and Systems. Emerging …, 2000
362000
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
352003
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
272009
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
252009
Generating counter-examples through randomized guided search
N Rungta, EG Mercer
International SPIN Workshop on Model Checking of Software, 39-57, 2007
242007
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
222009
Explicit state model checking with Hopper
M Jones, E Mercer
International SPIN Workshop on Model Checking of Software, 146-150, 2004
192004
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
172008
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
172005
Hardness for explicit state software model checking benchmarks
N Rungta, EG Mercer
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
162007
A meta heuristic for effectively detecting concurrency errors
N Rungta, EG Mercer
Haifa Verification Conference, 23-37, 2008
152008
Correctness and reduction in timed circuit analysis
EG Mercer
Department of Electrical and Computer Engineering, University of Utah, 2002
152002
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
152001
An improved distance heuristic function for directed software model checking
N Rungta, EG Mercer
2006 Formal Methods in Computer Aided Design, 60-67, 2006
132006
Benchmarking explicit state parallel model checkers
M Jones, EG Mercer, T Bao, R Kumar, P Lamborn
Electronic Notes in Theoretical Computer Science 89 (1), 84-98, 2003
132003
The system can't perform the operation now. Try again later.
Articles 1–20