| Synchronous interlocked pipelines HM Jacobson, PN Kudva, P Bose, PW Cook, SE Schuster, EG Mercer, ... Proceedings Eighth International Symposium on Asynchronous Circuits and …, 2002 | 125 | 2002 |
| Load balancing parallel explicit state model checking R Kumar, EG Mercer Electronic Notes in Theoretical Computer Science 128 (3), 19-34, 2005 | 72 | 2005 |
| Model checking machine code with the GNU debugger E Mercer, M Jones International SPIN Workshop on Model Checking of Software, 251-265, 2005 | 62 | 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 | 49 | 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 | 43 | 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 | 39 | 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 | 35 | 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 | 29 | 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 | 25 | 2009 |
| Generating counter-examples through randomized guided search N Rungta, EG Mercer International SPIN Workshop on Model Checking of Software, 39-57, 2007 | 24 | 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 | 23 | 2009 |
| Explicit state model checking with Hopper M Jones, E Mercer International SPIN Workshop on Model Checking of Software, 146-150, 2004 | 20 | 2004 |
| 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 | 18 | 2005 |
| 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 | 17 | 2008 |
| A meta heuristic for effectively detecting concurrency errors N Rungta, EG Mercer Haifa Verification Conference, 23-37, 2008 | 16 | 2008 |
| Hardness for explicit state software model checking benchmarks N Rungta, EG Mercer Fifth IEEE International Conference on Software Engineering and Formal …, 2007 | 16 | 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 | 16 | 2001 |
| Correctness and reduction in timed circuit analysis EG Mercer Department of Electrical and Computer Engineering, University of Utah, 2002 | 15 | 2002 |
| 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 | 14 | 2001 |
| An improved distance heuristic function for directed software model checking N Rungta, EG Mercer 2006 Formal Methods in Computer Aided Design, 60-67, 2006 | 13 | 2006 |
