Stochastic cycle period analysis in timed circuits. - Eric G. Mercer; Chris J. Myers (ISCAS, 2000)

A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems. - Kip C. Killpack; Eric Mercer; Chris J. Myers (ARVLSI, 2001)

Automatic Abstraction for Verification of Timed Circuits and Systems. - Hao Zheng 001; Eric Mercer; Chris J. Myers (CAV, 2001)

Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. - Tomoya Kitai; Yusuke Oguro; Tomohiro Yoneda; Eric Mercer; Chris J. Myers (PRDC, 2002)

Modular Synthesis of Timed Circuits using Partial Order Reduction. - Eric Mercer; Chris J. Myers; Tomohiro Yoneda (Theory and Practice of Timed Systems @ ETAPS, 2002)

Modular Synthesis of Timed Circuits Using Partial Order Reduction. - Tomohiro Yoneda; Eric Mercer; Chris Myers (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Benchmarking Explicit State Parallel Model Checkers. - Michael D. Jones; Eric Mercer; Tonglaga Bao; Rahul Kumar 004; Peter Lamborn (PDMC@CAV, 2003)

Modular verification of timed circuits using automatic abstraction. - Hao Zheng 001; Eric Mercer; Chris J. Myers (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003)

Explicit State Model Checking with Hopper. - Michael D. Jones; Eric Mercer (SPIN, 2004)

Load Balancing Parallel Explicit State Model Checking. - Rahul Kumar 004; Eric G. Mercer (PDMC, 2004)

A context-sensitive structural heuristic for guided search model checking. - Neha Rungta; Eric G. Mercer (ASE, 2005)

Model Checking Machine Code with the GNU Debugger. - Eric Mercer; Michael D. Jones (SPIN, 2005)

An Improved Distance Heuristic Function for Directed Software Model Checking. - Neha Rungta; Eric G. Mercer (FMCAD, 2006)

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 (FMCAD, 2007)

Hardness for Explicit State Software Model Checking Benchmarks. - Neha Rungta; Eric G. Mercer (SEFM, 2007)

Generating Counter-Examples Through Randomized Guided Search. - Neha Rungta; Eric G. Mercer (SPIN, 2007)

On-the-Fly Dynamic Dead Variable Analysis. - Joel P. Self; Eric G. Mercer (SPIN, 2007)

Improving Translation of Live Sequence Charts to Temporal Logic. - Rahul Kumar 004; Eric G. Mercer; Annette Bunker (AVoCS, 2007)

A Meta Heuristic for Effectively Detecting Concurrency Errors. - Neha Rungta; Eric G. Mercer (Haifa Verification Conference, 2008)

Or Best Offer: A Privacy Policy Negotiation Protocol. - Daniel D. Walker; Eric G. Mercer; Kent E. Seamons (POLICY, 2008)

Improving Live Sequence Chart to Automata Transformation for Verification. - Rahul Kumar 004; Eric G. Mercer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Verifying Communication Protocols Using Live Sequence Chart Specifications. - Rahul Kumar 004; Eric G. Mercer (AVoCS, 2008)

MCC: A runtime verification tool for MCAPI user applications. - Subodh Sharma 001; Ganesh Gopalakrishnan; Eric Mercer; Jim Holt (FMCAD, 2009)

Dynamic verification of Multicore Communication applications in MCAPI. - Subodh Sharma 001; Ganesh Gopalakrishnan; Eric Mercer (HLDVT, 2009)

Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. - Neha Rungta; Eric G. Mercer (PADTAD, 2009)

Guided model checking for programs with polymorphism. - Neha Rungta; Eric G. Mercer (PEPM, 2009)

Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. - Neha Rungta; Eric G. Mercer; Willem Visser (SPIN, 2009)

Slicing and dicing bugs in concurrent programs. - Neha Rungta; Eric Mercer (ICSE (2), 2010)

Guided test visualization: Making sense of errors in concurrent programs. - Saint Wesonga; Eric G. Mercer; Neha Rungta (ASE, 2011)

Symbolically modeling concurrent MCAPI executions. - Topher Fischer; Eric Mercer; Neha Rungta (PPoPP, 2011)

Abstraction and Persistence: Macro-Level Guarantees of Collective Bio-Inspired Teams under Human Supervision. - Michael A. Goodrich; Eric Mercer (Infotech@Aerospace, 2012)

Design, verification and applications of a new read-write lock algorithm. - Jun Shirako; Nick Vrvilo; Eric G. Mercer; Vivek Sarkar (SPAA, 2012)

Modeling Asynchronous Message Passing for C Programs. - Everett Morse; Nick Vrvilo; Eric Mercer; Jay McCarthy (VMCAI, 2012)

Computing and visualizing the impact of change with Java PathFinder extensions. - Eric Mercer; Suzette Person; Neha Rungta (ACM SIGSOFT Softw. Eng. Notes, 2012)

Proving MCAPI executions are correct using SMT. - Yu Huang; Eric Mercer; Jay McCarthy (ASE, 2013)

Modeling UASs for Role Fusion and Human Machine Interface Optimization. - T. J. Gledhill; Eric Mercer; Michael A. Goodrich (SMC, 2013)

Committees. - Eric G. Mercer (AAAI Spring Symposia, 2014)

Preface. - Eric G. Mercer; Michael A. Goodrich; Neha Rungta; Ellen J. Bass (AAAI Spring Symposia, 2014)

Modeling Human Workload in Unmanned Aerial Systems. - J. J. Moore; R. Ivie; T. J. Gledhill; Eric G. Mercer; Michael A. Goodrich (AAAI Spring Symposia, 2014)

Reports of the 2014 AAAI Spring Symposium Series. - Manish Jain; Albert Xin Jiang; Takashi Kido; Keiki Takadama; Eric G. Mercer; Neha Rungta; Mark Waser; Alan Wagner; Jennifer L. Burke; Donald A. Sofge; William F. Lawless; Mohan Sridharan; et al. (AI Mag., 2014)

JPF verification of habanero Java programs. - Peter Anderson; Brandon Chase; Eric Mercer (ACM SIGSOFT Softw. Eng. Notes, 2014)

Towards a lazier symbolic pathfinder. - Benjamin Hillery; Eric Mercer; Neha Rungta; Suzette Person (ACM SIGSOFT Softw. Eng. Notes, 2014)

Vector-clock based partial order reduction for JPF. - Eric Noonan; Eric Mercer; Neha Rungta (ACM SIGSOFT Softw. Eng. Notes, 2014)

Model Checking for Verification of Interactive Health IT Systems. - Keith A. Butler; Eric Mercer; Ali Bahrami; Cui Tao (AMIA, 2015)

An Approach to Quantify Workload in a System of Agents. - Richard Stocker 001; Neha Rungta; Eric Mercer; Franco Raimondi; Jon Holbrook; Colleen Cardoza; Michael A. Goodrich (AAMAS, 2015)

Model Checking Task Parallel Programs Using Gradual Permissions (N). - Eric G. Mercer; Peter Anderson; Nick Vrvilo; Vivek Sarkar (ASE, 2015)

Detecting MPI Zero Buffer Incompatibility by SMT Encoding. - Yu Huang; Eric Mercer (NFM, 2015)

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions. - Peter Anderson; Nick Vrvilo; Eric Mercer; Vivek Sarkar (ACM SIGSOFT Softw. Eng. Notes, 2015)

Verification of Habanero Java Programs using Computation Graphs. - Radha Nakade; Eric Mercer (ACM SIGSOFT Softw. Eng. Notes, 2015)

Modeling complex air traffic management systems. - Neha Rungta; Eric G. Mercer; Franco Raimondi; Bjorn C. Krantz; Richard Stocker 001; Andrew Wallace (MiSE@ICSE, 2016)

Exact Heap Summaries for Symbolic Execution. - Benjamin Hillery; Eric Mercer; Neha Rungta; Suzette Person (VMCAI, 2016)

Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability. - Eric Mercer; Neha Rungta; Douglas J. Gillan (IEEE Trans. Hum. Mach. Syst., 2016)

GEESE: grammatical evolution algorithm for evolution of swarm behaviors. - Aadesh Neupane; Michael A. Goodrich; Eric G. Mercer (GECCO, 2018)

Optimized Sound and Complete Data Race Detection in Structured Parallel Programs. - Kyle Storey; Sheridan Jacob Powell; Benjamin Ogles; Joshua Hooker; Peter Aldous; Eric Mercer (LCPC, 2018)

Model-Checking Task Parallel Programs for Data-Race. - Radha Nakade; Eric Mercer; Peter Aldous; Jay McCarthy (NFM, 2018)

Memory safety in C by abstract interpretation. - Joseph Jones; James Wasson; Sean Brown; Seth Poulsen; Peter Aldous; Eric Mercer (ACM SIGSOFT Softw. Eng. Notes, 2018)

Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. - Benjamin Ogles; Peter Aldous; Eric Mercer (FMCAD, 2019)

Model-checking task-parallel programs for data-race. - Radha Nakade; Eric Mercer; Peter Aldous; Kyle Storey; Benjamin Ogles; Joshua Hooker; Sheridan Jacob Powell; Jay McCarthy (Innov. Syst. Softw. Eng., 2019)

JPF-HJ: A Tool for Task Parallel Program Analysis. - Joshua Hooker; Peter Aldous; Eric Mercer; Benjamin Ogles; Kyle Storey; Sheridan Jacob Powell (ACM SIGSOFT Softw. Eng. Notes, 2019)

Symbolic data race detection for Habanero programs. - Egor Namakonov; Eric Mercer; Pavel Parízek; Kyle Storey (ACM SIGSOFT Softw. Eng. Notes, 2019)

A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder. - Kyle Storey; Eric Mercer; Pavel Parízek (ACM SIGSOFT Softw. Eng. Notes, 2019)

A Predictive Analysis for Detecting Deadlock in MPI Programs. - Yu Huang; Benjamin Ogles; Eric Mercer (ASE, 2020)

Semantic based model of Conceptual Work Products for formal verification of complex interactive systems. - Mohcine Madkour; Keith A. Butler; Eric Mercer; Ali Bahrami; Cui Tao (CoRR, 2020)

An efficient algorithm for match pair approximation in message passing. - Yu Huang; Kai Gong; Eric Mercer (Parallel Comput., 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench. - Brett Decker; Benjamin Winters; Eric Mercer (NFM, 2021)

Assume-Guarantee Reasoning with Scheduled Components. - Cong Liu; Junaid Babar; Isaac Amundson; Karl Hoech; Darren D. Cofer; Eric Mercer (NFM, 2022)

Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench. - Parker Hanson; Benjamin Winters; Eric Mercer; Brett Decker (SPIN, 2022)

Model Checking Functional Integration of Human Cognition and Machine Reasoning. - Eric Mercer; Keith A. Butler; Ali Bahrami (SysCon, 2022)

Cyberassured Systems Engineering at Scale. - Darren D. Cofer; Isaac Amundson; Junaid Babar; David S. Hardin; Konrad Slind; Perry Alexander; John Hatcliff; Robby; Gerwin Klein; Corey Lewis; Eric Mercer; John Shackleton (IEEE Secur. Priv., 2022)

Plan Generation via Behavior Trees Obtained from Goal-Oriented LTLf Formulas. - Aadesh Neupane; Michael A. Goodrich; Eric G. Mercer (AAMAS Workshops, 2023)

A Toolkit for Automated Testing of Dafny. - Aleksandr Fedchin; Tyler Dean; Jeffrey S. Foster; Eric Mercer; Zvonimir Rakamaric; Giles Reger; Neha Rungta; Robin Salkeld; Lucas G. Wagner; Cassidy Waldrip (NFM, 2023)

Model-driven development for the seL4 microkernel using the HAMR framework. - Jason Belt; John Hatcliff; Robby; John Shackleton; Jim Carciofini; Todd Carpenter; Eric Mercer; Isaac Amundson; Junaid Babar; Darren D. Cofer; David S. Hardin; Karl Hoech; et al. (J. Syst. Archit., 2023)

Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression. - Yu Huang; Tao Wang; Zihui Yin; Eric Mercer; Benjamin Ogles (IEEE Trans. Parallel Distributed Syst., 2023)

Synthesizing verified components for cyber assured systems engineering. - Eric Mercer; Konrad Slind; Isaac Amundson; Darren D. Cofer; Junaid Babar; David S. Hardin (Softw. Syst. Model., 2023)

Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems. - Kyle Storey; Eric Mercer (VMCAI (1), 2025)