Eric Mercer
Orcid: 0000-0002-2264-2958Affiliations:
- Brigham Young University, Provo, Utah, USA
According to our database1,
Eric Mercer
authored at least 75 papers
between 2000 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
3
1
3
4
1
1
2
4
1
1
1
1
2
3
1
1
1
3
2
4
3
2
3
2
1
5
3
5
1
2
2
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Softw. Syst. Model., October, 2023
Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression.
IEEE Trans. Parallel Distributed Syst., 2023
J. Syst. Archit., 2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
Proceedings of the Autonomous Agents and Multiagent Systems. Best and Visionary Papers - AAMAS 2023 Workshops, London, UK, May 29, 2023
2022
Proceedings of the IEEE International Systems Conference, 2022
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench.
Proceedings of the Model Checking Software - 28th International Symposium, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
2021
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
2020
Parallel Comput., 2020
Semantic based model of Conceptual Work Products for formal verification of complex interactive systems.
CoRR, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
2019
ACM SIGSOFT Softw. Eng. Notes, 2019
ACM SIGSOFT Softw. Eng. Notes, 2019
ACM SIGSOFT Softw. Eng. Notes, 2019
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019
2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
Proceedings of the Languages and Compilers for Parallel Computing, 2018
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
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016
2015
ACM SIGSOFT Softw. Eng. Notes, 2015
ACM SIGSOFT Softw. Eng. Notes, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
Proceedings of the AMIA 2015, 2015
2014
ACM SIGSOFT Softw. Eng. Notes, 2014
Proceedings of the 2014 AAAI Spring Symposia, 2014
2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
2012
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012
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
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2009
Proceedings of the Model Checking Software, 2009
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
2008
Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems, 2008
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008
Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008
Proceedings of the Hardware and Software: Verification and Testing, 2008
2007
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007
Proceedings of the Model Checking Software, 2007
Proceedings of the Model Checking Software, 2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
2006
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006
2005
Proceedings of the Model Checking Software, 2005
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
2004
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004
Proceedings of the Model Checking Software, 2004
2003
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2003
Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003
2002
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002
Proceedings of the Theory and Practice of Timed Systems, 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
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
Proceedings of the IEEE International Symposium on Circuits and Systems, 2000