![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Eric Mercer
Person information
- affiliation: Brigham Young University, Provo, Utah, USA
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j22]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:
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134: 102789 (2023) - [j21]Eric Mercer
, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin:
Synthesizing verified components for cyber assured systems engineering. Softw. Syst. Model. 22(5): 1451-1471 (2023) - [j20]Yu Huang
, Tao Wang, Zihui Yin
, Eric Mercer
, Benjamin Ogles:
Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression. IEEE Trans. Parallel Distributed Syst. 34(1): 400-415 (2023) - [c54]Aadesh Neupane
, Michael A. Goodrich
, Eric G. Mercer
:
Plan Generation via Behavior Trees Obtained from Goal-Oriented LTLf Formulas. AAMAS Workshops 2023: 97-122 - [c53]Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas Wagner, Cassidy Waldrip:
A Toolkit for Automated Testing of Dafny. NFM 2023: 397-413 - 2022
- [j19]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:
Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 20(3): 52-64 (2022) - [c52]Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer
:
Assume-Guarantee Reasoning with Scheduled Components. NFM 2022: 355-372 - [c51]Parker Hanson
, Benjamin Winters, Eric Mercer
, Brett Decker:
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench. SPIN 2022: 97-113 - [c50]Eric Mercer, Keith A. Butler, Ali Bahrami:
Model Checking Functional Integration of Human Cognition and Machine Reasoning. SysCon 2022: 1-8 - 2021
- [c49]Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin:
Synthesizing Verified Components for Cyber Assured Systems Engineering. MoDELS 2021: 205-215 - [c48]Brett Decker, Benjamin Winters, Eric Mercer
:
Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench. NFM 2021: 72-78 - 2020
- [j18]Yu Huang, Kai Gong, Eric Mercer:
An efficient algorithm for match pair approximation in message passing. Parallel Comput. 91 (2020) - [j17]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:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - [c47]Yu Huang, Benjamin Ogles, Eric Mercer:
A Predictive Analysis for Detecting Deadlock in MPI Programs. ASE 2020: 18-28 - [i1]Mohcine Madkour, Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao:
Semantic based model of Conceptual Work Products for formal verification of complex interactive systems. CoRR abs/2008.01623 (2020)
2010 – 2019
- 2019
- [j16]Radha Nakade, Eric Mercer
, Peter Aldous
, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy:
Model-checking task-parallel programs for data-race. Innov. Syst. Softw. Eng. 15(3-4): 289-306 (2019) - [j15]Kyle Storey, Eric Mercer, Pavel Parízek:
A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes 44(4): 15 (2019) - [j14]Egor Namakonov, Eric Mercer, Pavel Parízek, Kyle Storey:
Symbolic data race detection for Habanero programs. ACM SIGSOFT Softw. Eng. Notes 44(4): 18 (2019) - [j13]Joshua Hooker, Peter Aldous, Eric Mercer, Benjamin Ogles, Kyle Storey, Sheridan Jacob Powell:
JPF-HJ: A Tool for Task Parallel Program Analysis. ACM SIGSOFT Softw. Eng. Notes 44(4): 19 (2019) - [c46]Benjamin Ogles
, Peter Aldous, Eric Mercer:
Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. FMCAD 2019: 55-63 - 2018
- [j12]Joseph Jones, James Wasson, Sean Brown, Seth Poulsen
, Peter Aldous, Eric Mercer:
Memory safety in C by abstract interpretation. ACM SIGSOFT Softw. Eng. Notes 43(4): 56 (2018) - [c45]Aadesh Neupane, Michael A. Goodrich, Eric G. Mercer:
GEESE: Grammatical Evolution Algorithm for Evolution of Swarm Behaviors. AAMAS 2018: 2025-2027 - [c44]Aadesh Neupane, Michael A. Goodrich, Eric G. Mercer:
GEESE: grammatical evolution algorithm for evolution of swarm behaviors. GECCO 2018: 999-1006 - [c43]Kyle Storey, Sheridan Jacob Powell, Benjamin Ogles, Joshua Hooker, Peter Aldous
, Eric Mercer
:
Optimized Sound and Complete Data Race Detection in Structured Parallel Programs. LCPC 2018: 94-111 - [c42]Radha Nakade, Eric Mercer
, Peter Aldous
, Jay McCarthy:
Model-Checking Task Parallel Programs for Data-Race. NFM 2018: 367-382 - 2016
- [j11]Eric Mercer, Neha Rungta, Douglas J. Gillan:
Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability. IEEE Trans. Hum. Mach. Syst. 46(2): 169-173 (2016) - [c41]Neha Rungta, Eric G. Mercer, Franco Raimondi
, Bjorn C. Krantz, Richard Stocker, Andrew Wallace:
Modeling complex air traffic management systems. MiSE@ICSE 2016: 41-47 - [c40]Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person:
Exact Heap Summaries for Symbolic Execution. VMCAI 2016: 206-225 - 2015
- [j10]Peter Anderson, Nick Vrvilo, Eric Mercer, Vivek Sarkar:
JPF Verification of Habanero Java Programs using Gradual Type Permission Regions. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [j9]Radha Nakade, Eric Mercer:
Verification of Habanero Java Programs using Computation Graphs. ACM SIGSOFT Softw. Eng. Notes 40(6): 1-4 (2015) - [c39]Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao:
Model Checking for Verification of Interactive Health IT Systems. AMIA 2015 - [c38]Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich:
An Approach to Quantify Workload in a System of Agents. AAMAS 2015: 1041-1050 - [c37]Eric G. Mercer, Peter Anderson, Nick Vrvilo, Vivek Sarkar:
Model Checking Task Parallel Programs Using Gradual Permissions (N). ASE 2015: 535-540 - [c36]Yu Huang, Eric Mercer:
Detecting MPI Zero Buffer Incompatibility by SMT Encoding. NFM 2015: 219-233 - 2014
- [j8]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): 70-76 (2014) - [j7]Peter Anderson, Brandon Chase, Eric Mercer:
JPF verification of habanero Java programs. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-7 (2014) - [j6]Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person:
Towards a lazier symbolic pathfinder. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [j5]Eric Noonan, Eric Mercer, Neha Rungta:
Vector-clock based partial order reduction for JPF. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [c35]Eric G. Mercer:
Committees. AAAI Spring Symposia 2014 - [c34]Eric G. Mercer, Michael A. Goodrich, Neha Rungta, Ellen J. Bass:
Preface. AAAI Spring Symposia 2014 - [c33]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 - 2013
- [c32]Yu Huang, Eric Mercer, Jay McCarthy:
Proving MCAPI executions are correct using SMT. ASE 2013: 26-36 - [c31]T. J. Gledhill, Eric Mercer, Michael A. Goodrich
:
Modeling UASs for Role Fusion and Human Machine Interface Optimization. SMC 2013: 1929-1937 - 2012
- [j4]Eric Mercer, Suzette Person, Neha Rungta:
Computing and visualizing the impact of change with Java PathFinder extensions. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [c30]Michael A. Goodrich
, Eric Mercer:
Abstraction and Persistence: Macro-Level Guarantees of Collective Bio-Inspired Teams under Human Supervision. Infotech@Aerospace 2012 - [c29]Jun Shirako, Nick Vrvilo, Eric G. Mercer, Vivek Sarkar:
Design, verification and applications of a new read-write lock algorithm. SPAA 2012: 48-57 - [c28]Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy:
Modeling Asynchronous Message Passing for C Programs. VMCAI 2012: 332-347 - 2011
- [c27]Saint Wesonga, Eric G. Mercer, Neha Rungta:
Guided test visualization: Making sense of errors in concurrent programs. ASE 2011: 624-627 - [c26]Topher Fischer, Eric Mercer, Neha Rungta:
Symbolically modeling concurrent MCAPI executions. PPoPP 2011: 307-308 - 2010
- [c25]Neha Rungta, Eric Mercer:
Slicing and dicing bugs in concurrent programs. ICSE (2) 2010: 195-198
2000 – 2009
- 2009
- [c24]Subodh Sharma
, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt:
MCC: A runtime verification tool for MCAPI user applications. FMCAD 2009: 41-44 - [c23]Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer:
Dynamic verification of Multicore Communication applications in MCAPI. HLDVT 2009: 100-105 - [c22]Neha Rungta, Eric G. Mercer:
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. PADTAD 2009 - [c21]Neha Rungta, Eric G. Mercer:
Guided model checking for programs with polymorphism. PEPM 2009: 21-30 - [c20]Neha Rungta, Eric G. Mercer, Willem Visser:
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. SPIN 2009: 174-191 - [e1]Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer:
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009. ACM 2009, ISBN 978-1-60558-655-7 [contents] - 2008
- [j3]Rahul Kumar, Eric G. Mercer:
Improving Live Sequence Chart to Automata Transformation for Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [c19]Neha Rungta, Eric G. Mercer:
A Meta Heuristic for Effectively Detecting Concurrency Errors. Haifa Verification Conference 2008: 23-37 - [c18]Daniel D. Walker, Eric G. Mercer, Kent E. Seamons
:
Or Best Offer: A Privacy Policy Negotiation Protocol. POLICY 2008: 173-180 - [c17]Rahul Kumar, Eric G. Mercer:
Verifying Communication Protocols Using Live Sequence Chart Specifications. AVoCS 2008: 33-48 - 2007
- [c16]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: 216-219 - [c15]Neha Rungta, Eric G. Mercer:
Hardness for Explicit State Software Model Checking Benchmarks. SEFM 2007: 247-256 - [c14]Neha Rungta, Eric G. Mercer:
Generating Counter-Examples Through Randomized Guided Search. SPIN 2007: 39-57 - [c13]Joel P. Self, Eric G. Mercer:
On-the-Fly Dynamic Dead Variable Analysis. SPIN 2007: 113-130 - [c12]Rahul Kumar, Eric G. Mercer, Annette Bunker:
Improving Translation of Live Sequence Charts to Temporal Logic. AVoCS 2007: 137-152 - 2006
- [c11]Neha Rungta, Eric G. Mercer:
An Improved Distance Heuristic Function for Directed Software Model Checking. FMCAD 2006: 60-67 - 2005
- [c10]Neha Rungta, Eric G. Mercer:
A context-sensitive structural heuristic for guided search model checking. ASE 2005: 410-413 - [c9]Eric Mercer, Michael D. Jones:
Model Checking Machine Code with the GNU Debugger. SPIN 2005: 251-265 - 2004
- [c8]Michael D. Jones, Eric Mercer:
Explicit State Model Checking with Hopper. SPIN 2004: 146-150 - [c7]Rahul Kumar, Eric G. Mercer:
Load Balancing Parallel Explicit State Model Checking. PDMC 2004: 19-34 - 2003
- [j2]Hao Zheng, Eric Mercer, Chris J. Myers
:
Modular verification of timed circuits using automatic abstraction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(9): 1138-1153 (2003) - [c6]Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn:
Benchmarking Explicit State Parallel Model Checkers. PDMC@CAV 2003: 84-98 - 2002
- [j1]Tomohiro Yoneda, Eric Mercer, Chris Myers:
Modular Synthesis of Timed Circuits Using Partial Order Reduction. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(12): 2684-2692 (2002) - [c5]Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers
:
Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. PRDC 2002: 210-220 - [c4]Eric Mercer, Chris J. Myers
, Tomohiro Yoneda:
Modular Synthesis of Timed Circuits using Partial Order Reduction. Theory and Practice of Timed Systems @ ETAPS 2002: 180-201 - 2001
- [c3]Kip C. Killpack, Eric Mercer, Chris J. Myers:
A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems. ARVLSI 2001: 188-201 - [c2]Hao Zheng, Eric Mercer, Chris J. Myers
:
Automatic Abstraction for Verification of Timed Circuits and Systems. CAV 2001: 182-193 - 2000
- [c1]Eric G. Mercer, Chris J. Myers:
Stochastic cycle period analysis in timed circuits. ISCAS 2000: 172-175
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint