Eric Mercer

According to our database1, Eric Mercer authored at least 64 papers between 2000 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes, 2020

An efficient algorithm for match pair approximation in message passing.
Parallel Comput., 2020

Semantic based model of Conceptual Work Products for formal verification of complex interactive systems.
CoRR, 2020

A Predictive Analysis for Detecting Deadlock in MPI Programs.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder.
ACM SIGSOFT Softw. Eng. Notes, 2019

Symbolic data race detection for Habanero programs.
ACM SIGSOFT Softw. Eng. Notes, 2019

JPF-HJ: A Tool for Task Parallel Program Analysis.
ACM SIGSOFT Softw. Eng. Notes, 2019

Model-checking task-parallel programs for data-race.
Innov. Syst. Softw. Eng., 2019

Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018
Memory safety in C by abstract interpretation.
ACM SIGSOFT Softw. Eng. Notes, 2018

Model-Checking Task Parallel Programs for Data-Race.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Optimized Sound and Complete Data Race Detection in Structured Parallel Programs.
Proceedings of the Languages and Compilers for Parallel Computing, 2018

GEESE: grammatical evolution algorithm for evolution of swarm behaviors.
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.
IEEE Trans. Hum. Mach. Syst., 2016

Exact Heap Summaries for Symbolic Execution.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Modeling complex air traffic management systems.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

2015
Verification of Habanero Java Programs using Computation Graphs.
ACM SIGSOFT Softw. Eng. Notes, 2015

JPF Verification of Habanero Java Programs using Gradual Type Permission Regions.
ACM SIGSOFT Softw. Eng. Notes, 2015

Detecting MPI Zero Buffer Incompatibility by SMT Encoding.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Model Checking Task Parallel Programs Using Gradual Permissions (N).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

An Approach to Quantify Workload in a System of Agents.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Model Checking for Verification of Interactive Health IT Systems.
Proceedings of the AMIA 2015, 2015

2014
Vector-clock based partial order reduction for JPF.
ACM SIGSOFT Softw. Eng. Notes, 2014

Towards a lazier symbolic pathfinder.
ACM SIGSOFT Softw. Eng. Notes, 2014

JPF verification of habanero Java programs.
ACM SIGSOFT Softw. Eng. Notes, 2014

Reports of the 2014 AAAI Spring Symposium Series.
AI Mag., 2014

Modeling Human Workload in Unmanned Aerial Systems.
Proceedings of the 2014 AAAI Spring Symposia, 2014

Preface.
Proceedings of the 2014 AAAI Spring Symposia, 2014

Committees.
Proceedings of the 2014 AAAI Spring Symposia, 2014

2013
Modeling UASs for Role Fusion and Human Machine Interface Optimization.
Proceedings of the IEEE International Conference on Systems, 2013

Proving MCAPI executions are correct using SMT.
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.
ACM SIGSOFT Softw. Eng. Notes, 2012

Modeling Asynchronous Message Passing for C Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Design, verification and applications of a new read-write lock algorithm.
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.
Proceedings of the Infotech@Aerospace 2012, 2012

2011
Symbolically modeling concurrent MCAPI executions.
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.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010
Slicing and dicing bugs in concurrent programs.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Improving Translation of Live Sequence Charts to Temporal Logic.
Electron. Notes Theor. Comput. Sci., 2009

Verifying Communication Protocols Using Live Sequence Chart Specifications.
Electron. Notes Theor. Comput. Sci., 2009

Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.
Proceedings of the Model Checking Software, 2009

Guided model checking for programs with polymorphism.
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.
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

Dynamic verification of Multicore Communication applications in MCAPI.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009

MCC: A runtime verification tool for MCAPI user applications.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008
Improving Live Sequence Chart to Automata Transformation for Verification.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Or Best Offer: A Privacy Policy Negotiation Protocol.
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.
Proceedings of the Hardware and Software: Verification and Testing, 2008

2007
On-the-Fly Dynamic Dead Variable Analysis.
Proceedings of the Model Checking Software, 2007

Generating Counter-Examples Through Randomized Guided Search.
Proceedings of the Model Checking Software, 2007

Hardness for Explicit State Software Model Checking Benchmarks.
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.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006
An Improved Distance Heuristic Function for Directed Software Model Checking.
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005
Load Balancing Parallel Explicit State Model Checking.
Electron. Notes Theor. Comput. Sci., 2005

Model Checking Machine Code with the GNU Debugger.
Proceedings of the Model Checking Software, 2005

A context-sensitive structural heuristic for guided search model checking.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004
Explicit State Model Checking with Hopper.
Proceedings of the Model Checking Software, 2004

2003
Modular verification of timed circuits using automatic abstraction.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003

Benchmarking Explicit State Parallel Model Checkers.
Electron. Notes Theor. Comput. Sci., 2003

2002
Modular Synthesis of Timed Circuits using Partial Order Reduction.
Electron. Notes Theor. Comput. Sci., 2002

Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method.
Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

2001
Automatic Abstraction for Verification of Timed Circuits and Systems.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems.
Proceedings of the 19th Conference on Advanced Research in VLSI (ARVLSI 2001), 2001

2000
Stochastic cycle period analysis in timed circuits.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2000


  Loading...