| 2025 | VMCAI | Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems. | Kyle Storey, Eric Mercer |
| 2021 | MODELS | Synthesizing Verified Components for Cyber Assured Systems Engineering. | Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin |
| 2019 | FMCAD | Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. | Benjamin Ogles, Peter Aldous, Eric Mercer |
| 2016 | VMCAI | Exact Heap Summaries for Symbolic Execution. | Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person |
| 2015 | AMIA | Model Checking for Verification of Interactive Health IT Systems. | Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao |
| 2013 | SMC | Modeling UASs for Role Fusion and Human Machine Interface Optimization. | T. J. Gledhill, Eric Mercer, Michael A. Goodrich |
| 2012 | VMCAI | Modeling Asynchronous Message Passing for C Programs. | Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy |
| 2011 | PPoPP | Symbolically modeling concurrent MCAPI executions. | Topher Fischer, Eric Mercer, Neha Rungta |
| 2010 | ICSE | Slicing and dicing bugs in concurrent programs. | Neha Rungta, Eric Mercer |
| 2009 | FMCAD | MCC: A runtime verification tool for MCAPI user applications. | Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt |
| 2002 | PRDC | Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. | Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers |
| 2001 | CAV | Automatic Abstraction for Verification of Timed Circuits and Systems. | Hao Zheng, Eric Mercer, Chris J. Myers |