Eric G. Mercer

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 4

Top Topics

Grammatical Evolution

Top Venues

AAAI Spring Symposia

AAMAS Workshops

Publications

Aadesh Neupane, Michael A. Goodrich, Eric G. Mercer
Plan Generation via Behavior Trees Obtained from Goal-Oriented LTLf Formulas. AAMAS Workshops (2023)
Aadesh Neupane, Michael A. Goodrich, Eric G. Mercer
GEESE: Grammatical Evolution Algorithm for Evolution of Swarm Behaviors. AAMAS (2018)
Aadesh Neupane, Michael A. Goodrich, Eric G. Mercer
GEESE: grammatical evolution algorithm for evolution of swarm behaviors. GECCO (2018)
Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace
Modeling complex air traffic management systems. MiSE@ICSE (2016)
Eric G. Mercer, Peter Anderson, Nick Vrvilo, Vivek Sarkar
Model Checking Task Parallel Programs Using Gradual Permissions (N). ASE (2015)
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
Reports of the 2014 AAAI Spring Symposium Series. AI Mag. 35 (3) (2014)
Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass
Preface. AAAI Spring Symposia (2014)
Eric G. Mercer
Committees. AAAI Spring Symposia (2014)
J. J. Moore, R. Ivie, T. J. Gledhill, Eric G. Mercer, Michael A. Goodrich
Modeling Human Workload in Unmanned Aerial Systems. AAAI Spring Symposia (2014)
Jun Shirako, Nick Vrvilo, Eric G. Mercer, Vivek Sarkar
Design, verification and applications of a new read-write lock algorithm. SPAA (2012)
Saint Wesonga, Eric G. Mercer, Neha Rungta
Guided test visualization: Making sense of errors in concurrent programs. ASE (2011)
Neha Rungta, Eric G. Mercer, Willem Visser
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN (2009)
Neha Rungta, Eric G. Mercer
Guided model checking for programs with polymorphism. PEPM (2009)
Rahul Kumar, Eric G. Mercer
Verifying Communication Protocols Using Live Sequence Chart Specifications. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Neha Rungta, Eric G. Mercer
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. PADTAD (2009)
Rahul Kumar, Eric G. Mercer, Annette Bunker
Improving Translation of Live Sequence Charts to Temporal Logic. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Neha Rungta, Eric G. Mercer
A Meta Heuristic for Effectively Detecting Concurrency Errors. Haifa Verification Conference (2008)
Rahul Kumar, Eric G. Mercer
Improving Live Sequence Chart to Automata Transformation for Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Daniel D. Walker, Eric G. Mercer, Kent E. Seamons
Or Best Offer: A Privacy Policy Negotiation Protocol. POLICY (2008)
Neha Rungta, Hyrum Carroll, Eric G. Mercer, Randall J. Roper, Mark J. Clement, Quinn Snell
Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs. FMCAD (2007)
Neha Rungta, Eric G. Mercer
Hardness for Explicit State Software Model Checking Benchmarks. SEFM (2007)
Neha Rungta, Eric G. Mercer
Generating Counter-Examples Through Randomized Guided Search. SPIN (2007)
Joel P. Self, Eric G. Mercer
On-the-Fly Dynamic Dead Variable Analysis. SPIN (2007)
Neha Rungta, Eric G. Mercer
An Improved Distance Heuristic Function for Directed Software Model Checking. FMCAD (2006)
Rahul Kumar, Eric G. Mercer
Load Balancing Parallel Explicit State Model Checking. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Neha Rungta, Eric G. Mercer
A context-sensitive structural heuristic for guided search model checking. ASE (2005)
Eric G. Mercer, Chris J. Myers
Stochastic cycle period analysis in timed circuits. ISCAS (2000)