Eric G. Mercer

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