Eric Mercer

According to our database, Eric Mercer authored at least 75 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 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

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, Konrad Slind, Ihor Kuz, Kent McLeod

J. Syst. Archit., 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 Wagner, Cassidy Waldrip

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Plan Generation via Behavior Trees Obtained from Goal-Oriented LTLf Formulas.

Aadesh Neupane, Michael A. Goodrich, Eric G. Mercer

Proceedings of the Autonomous Agents and Multiagent Systems. Best and Visionary Papers - AAMAS 2023 Workshops, London, UK, May 29, 2023

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

Model Checking Functional Integration of Human Cognition and Machine Reasoning.

Eric Mercer, Keith A. Butler, Ali Bahrami

Proceedings of the IEEE International Systems Conference, 2022

Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench.

Parker Hanson, Benjamin Winters, Eric Mercer, Brett Decker

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Assume-Guarantee Reasoning with Scheduled Components.

Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench.

Brett Decker, Benjamin Winters, Eric Mercer

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

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, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

An efficient algorithm for match pair approximation in message passing.

Yu Huang, Kai Gong, Eric Mercer

Parallel Comput., 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

A Predictive Analysis for Detecting Deadlock in MPI Programs.

Yu Huang, Benjamin Ogles, Eric Mercer

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder.

Kyle Storey, Eric Mercer, Pavel Parízek

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

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

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

Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order.

Benjamin Ogles, Peter Aldous, Eric Mercer

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

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

Model-Checking Task Parallel Programs for Data-Race.

Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy

Proceedings of the NASA Formal Methods - 10th International Symposium, 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

Proceedings of the Languages and Compilers for Parallel Computing, 2018

GEESE: grammatical evolution algorithm for evolution of swarm behaviors.

Aadesh Neupane, Michael A. Goodrich, Eric G. Mercer

Proceedings of the Genetic and Evolutionary Computation Conference, 2018

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

Exact Heap Summaries for Symbolic Execution.

Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Modeling complex air traffic management systems.

Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

2015

Verification of Habanero Java Programs using Computation Graphs.

Radha Nakade, Eric Mercer

ACM SIGSOFT Softw. Eng. Notes, 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

Detecting MPI Zero Buffer Incompatibility by SMT Encoding.

Yu Huang, Eric Mercer

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Model Checking Task Parallel Programs Using Gradual Permissions (N).

Eric G. Mercer, Peter Anderson, Nick Vrvilo, Vivek Sarkar

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

An Approach to Quantify Workload in a System of Agents.

Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Model Checking for Verification of Interactive Health IT Systems.

Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao

Proceedings of the AMIA 2015, 2015

2014

Vector-clock based partial order reduction for JPF.

Eric Noonan, Eric Mercer, Neha Rungta

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

JPF verification of habanero Java programs.

Peter Anderson, Brandon Chase, Eric Mercer

ACM SIGSOFT Softw. Eng. Notes, 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, Nick Hawes, Tim Hwang

AI Mag., 2014

Modeling Human Workload in Unmanned Aerial Systems.

J. J. Moore, R. Ivie, T. J. Gledhill, Eric G. Mercer, Michael A. Goodrich

Proceedings of the 2014 AAAI Spring Symposia, 2014

Preface.

Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass

Proceedings of the 2014 AAAI Spring Symposia, 2014

Committees.

Eric G. Mercer

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Modeling UASs for Role Fusion and Human Machine Interface Optimization.

T. J. Gledhill, Eric Mercer, Michael A. Goodrich

Proceedings of the IEEE International Conference on Systems, 2013

Proving MCAPI executions are correct using SMT.

Yu Huang, Eric Mercer, Jay McCarthy

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Computing and visualizing the impact of change with Java PathFinder extensions.

Eric Mercer, Suzette Person, Neha Rungta

ACM SIGSOFT Softw. Eng. Notes, 2012

Modeling Asynchronous Message Passing for C Programs.

Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Design, verification and applications of a new read-write lock algorithm.

Jun Shirako, Nick Vrvilo, Eric G. Mercer, Vivek Sarkar

Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, 2012

Abstraction and Persistence: Macro-Level Guarantees of Collective Bio-Inspired Teams under Human Supervision.

Michael A. Goodrich, Eric Mercer

Proceedings of the Infotech@Aerospace 2012, 2012

2011

Symbolically modeling concurrent MCAPI executions.

Topher Fischer, Eric Mercer, Neha Rungta

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Guided test visualization: Making sense of errors in concurrent programs.

Saint Wesonga, Eric G. Mercer, Neha Rungta

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

Slicing and dicing bugs in concurrent programs.

Neha Rungta, Eric Mercer

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.

Neha Rungta, Eric G. Mercer, Willem Visser

Proceedings of the Model Checking Software, 2009

Guided model checking for programs with polymorphism.

Neha Rungta, Eric G. Mercer

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.

Neha Rungta, Eric G. Mercer

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

Dynamic verification of Multicore Communication applications in MCAPI.

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009

MCC: A runtime verification tool for MCAPI user applications.

Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

Verifying Communication Protocols Using Live Sequence Chart Specifications.

Rahul Kumar, Eric G. Mercer

Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008

Improving Live Sequence Chart to Automata Transformation for Verification.

Rahul Kumar, Eric G. Mercer

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Or Best Offer: A Privacy Policy Negotiation Protocol.

Daniel D. Walker, Eric G. Mercer, Kent E. Seamons

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

A Meta Heuristic for Effectively Detecting Concurrency Errors.

Neha Rungta, Eric G. Mercer

Proceedings of the Hardware and Software: Verification and Testing, 2008

2007

Improving Translation of Live Sequence Charts to Temporal Logic.

Rahul Kumar, Eric G. Mercer, Annette Bunker

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

On-the-Fly Dynamic Dead Variable Analysis.

Joel P. Self, Eric G. Mercer

Proceedings of the Model Checking Software, 2007

Generating Counter-Examples Through Randomized Guided Search.

Neha Rungta, Eric G. Mercer

Proceedings of the Model Checking Software, 2007

Hardness for Explicit State Software Model Checking Benchmarks.

Neha Rungta, Eric G. Mercer

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

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

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

An Improved Distance Heuristic Function for Directed Software Model Checking.

Neha Rungta, Eric G. Mercer

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

Model Checking Machine Code with the GNU Debugger.

Eric Mercer, Michael D. Jones

Proceedings of the Model Checking Software, 2005

A context-sensitive structural heuristic for guided search model checking.

Neha Rungta, Eric G. Mercer

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

Load Balancing Parallel Explicit State Model Checking.

Rahul Kumar, Eric G. Mercer

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Explicit State Model Checking with Hopper.

Michael D. Jones, Eric Mercer

Proceedings of the Model Checking Software, 2004

2003

Modular verification of timed circuits using automatic abstraction.

Hao Zheng, Eric Mercer, Chris J. Myers

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

Benchmarking Explicit State Parallel Model Checkers.

Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

2002

Modular Synthesis of Timed Circuits Using Partial Order Reduction.

Tomohiro Yoneda, Eric Mercer, Chris Myers

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002

Modular Synthesis of Timed Circuits using Partial Order Reduction.

Eric Mercer, Chris J. Myers, Tomohiro Yoneda

Proceedings of the Theory and Practice of Timed Systems, 2002

Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method.

Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

2001

Automatic Abstraction for Verification of Timed Circuits and Systems.

Hao Zheng, Eric Mercer, Chris J. Myers

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems.

Kip C. Killpack, Eric Mercer, Chris J. Myers

Proceedings of the 19th Conference on Advanced Research in VLSI (ARVLSI 2001), 2001

2000

Stochastic cycle period analysis in timed circuits.

Eric G. Mercer, Chris J. Myers

Proceedings of the IEEE International Symposium on Circuits and Systems, 2000