| 2018 | GECCO | GEESE: grammatical evolution algorithm for evolution of swarm behaviors. | Aadesh Neupane, Michael A. Goodrich, Eric G. Mercer |
| 2016 | ICSE | Modeling complex air traffic management systems. | Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace |
| 2012 | SPAA | Design, verification and applications of a new read-write lock algorithm. | Jun Shirako, Nick Vrvilo, Eric G. Mercer, Vivek Sarkar |
| 2009 | ISSTA | Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. | Neha Rungta, Eric G. Mercer |
| 2009 | PEPM | Guided model checking for programs with polymorphism. | Neha Rungta, Eric G. Mercer |
| 2007 | FMCAD | Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs. | Neha Rungta, Hyrum Carroll, Eric G. Mercer, Randall J. Roper, Mark J. Clement, Quinn Snell |
| 2007 | SEFM | Hardness for Explicit State Software Model Checking Benchmarks. | Neha Rungta, Eric G. Mercer |
| 2006 | FMCAD | An Improved Distance Heuristic Function for Directed Software Model Checking. | Neha Rungta, Eric G. Mercer |
| 2000 | ISCAS | Stochastic cycle period analysis in timed circuits. | Eric G. Mercer, Chris J. Myers |