Eric Mercer - RankMe

52 papers A* 3A 2B 6C 1Misc 1Journal 21Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Property-Agnostic Base Case Extension for Scalable Verification of Distributed Systems. VMCAI (1) Kyle Storey, Eric Mercer
2023	—	`conf`	A Toolkit for Automated Testing of Dafny. NFM Aleksandr Fedchin, Tyler Dean, Jeffrey S. Foster, Eric Mercer, Zvonimir Rakamaric, Giles Reger, Neha Rungta, Robin Salkeld, Lucas G. Wagner, Cassidy Waldrip
2023	J	`jnl`	Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression. IEEE Trans. Parallel Distributed Syst. Yu Huang, Tao Wang, Zihui Yin, Eric Mercer, Benjamin Ogles
2023	J	`jnl`	Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 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
2023	J	`jnl`	Synthesizing verified components for cyber assured systems engineering. Softw. Syst. Model. Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
2022	—	`conf`	Assume-Guarantee Reasoning with Scheduled Components. NFM Cong Liu, Junaid Babar, Isaac Amundson, Karl Hoech, Darren D. Cofer, Eric Mercer
2022	J	`jnl`	Cyberassured Systems Engineering at Scale. IEEE Secur. Priv. 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
2022	—	`conf`	Model Checking Functional Integration of Human Cognition and Machine Reasoning. SysCon Eric Mercer, Keith A. Butler, Ali Bahrami
2022	—	`conf`	Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench. SPIN Parker Hanson, Benjamin Winters, Eric Mercer, Brett Decker
2021	A	`conf`	Synthesizing Verified Components for Cyber Assured Systems Engineering. MoDELS Eric Mercer, Konrad Slind, Isaac Amundson, Darren D. Cofer, Junaid Babar, David S. Hardin
2021	—	`conf`	Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench. NFM Brett Decker, Benjamin Winters, Eric Mercer
2020	A*	`conf`	A Predictive Analysis for Detecting Deadlock in MPI Programs. ASE Yu Huang, Benjamin Ogles, Eric Mercer
2020	J	`jnl`	An efficient algorithm for match pair approximation in message passing. Parallel Comput. Yu Huang, Kai Gong, Eric Mercer
2020	J	`jnl`	Semantic based model of Conceptual Work Products for formal verification of complex interactive systems. CoRR Mohcine Madkour, Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 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
2019	J	`jnl`	A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes Kyle Storey, Eric Mercer, Pavel Parízek
2019	J	`jnl`	JPF-HJ: A Tool for Task Parallel Program Analysis. ACM SIGSOFT Softw. Eng. Notes Joshua Hooker, Peter Aldous, Eric Mercer, Benjamin Ogles, Kyle Storey, Sheridan Jacob Powell
2019	J	`jnl`	Model-checking task-parallel programs for data-race. Innov. Syst. Softw. Eng. Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy
2019	B	`conf`	Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order. FMCAD Benjamin Ogles, Peter Aldous, Eric Mercer
2019	J	`jnl`	Symbolic data race detection for Habanero programs. ACM SIGSOFT Softw. Eng. Notes Egor Namakonov, Eric Mercer, Pavel Parízek, Kyle Storey
2018	J	`jnl`	Memory safety in C by abstract interpretation. ACM SIGSOFT Softw. Eng. Notes Joseph Jones, James Wasson, Sean Brown, Seth Poulsen, Peter Aldous, Eric Mercer
2018	—	`conf`	Model-Checking Task Parallel Programs for Data-Race. NFM Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy
2018	—	`conf`	Optimized Sound and Complete Data Race Detection in Structured Parallel Programs. LCPC Kyle Storey, Sheridan Jacob Powell, Benjamin Ogles, Joshua Hooker, Peter Aldous, Eric Mercer
2016	B	`conf`	Exact Heap Summaries for Symbolic Execution. VMCAI Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
2016	J	`jnl`	Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability. IEEE Trans. Hum. Mach. Syst. Eric Mercer, Neha Rungta, Douglas J. Gillan
2015	A	`conf`	An Approach to Quantify Workload in a System of Agents. AAMAS Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich
2015	—	`conf`	Detecting MPI Zero Buffer Incompatibility by SMT Encoding. NFM Yu Huang, Eric Mercer
2015	J	`jnl`	JPF Verification of Habanero Java Programs using Gradual Type Permission Regions. ACM SIGSOFT Softw. Eng. Notes Peter Anderson, Nick Vrvilo, Eric Mercer, Vivek Sarkar
2015	Misc	`conf`	Model Checking for Verification of Interactive Health IT Systems. AMIA Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao
2015	J	`jnl`	Verification of Habanero Java Programs using Computation Graphs. ACM SIGSOFT Softw. Eng. Notes Radha Nakade, Eric Mercer
2014	J	`jnl`	JPF verification of habanero Java programs. ACM SIGSOFT Softw. Eng. Notes Peter Anderson, Brandon Chase, Eric Mercer
2014	J	`jnl`	Towards a lazier symbolic pathfinder. ACM SIGSOFT Softw. Eng. Notes Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
2014	J	`jnl`	Vector-clock based partial order reduction for JPF. ACM SIGSOFT Softw. Eng. Notes Eric Noonan, Eric Mercer, Neha Rungta
2013	B	`conf`	Modeling UASs for Role Fusion and Human Machine Interface Optimization. SMC T. J. Gledhill, Eric Mercer, Michael A. Goodrich
2013	A*	`conf`	Proving MCAPI executions are correct using SMT. ASE Yu Huang, Eric Mercer, Jay McCarthy
2012	—	`conf`	Abstraction and Persistence: Macro-Level Guarantees of Collective Bio-Inspired Teams under Human Supervision. Infotech@Aerospace Michael A. Goodrich, Eric Mercer
2012	J	`jnl`	Computing and visualizing the impact of change with Java PathFinder extensions. ACM SIGSOFT Softw. Eng. Notes Eric Mercer, Suzette Person, Neha Rungta
2012	B	`conf`	Modeling Asynchronous Message Passing for C Programs. VMCAI Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy
2011	B	`conf`	Symbolically modeling concurrent MCAPI executions. PPoPP Topher Fischer, Eric Mercer, Neha Rungta
2010	—	`conf`	Slicing and dicing bugs in concurrent programs. ICSE (2) Neha Rungta, Eric Mercer
2009	—	`conf`	Dynamic verification of Multicore Communication applications in MCAPI. HLDVT Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer
2009	B	`conf`	MCC: A runtime verification tool for MCAPI user applications. FMCAD Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt
2009	—	`ed.`	Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009 PADTAD Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer
2005	—	`conf`	Model Checking Machine Code with the GNU Debugger. SPIN Eric Mercer, Michael D. Jones
2004	—	`conf`	Explicit State Model Checking with Hopper. SPIN Michael D. Jones, Eric Mercer
2003	—	`conf`	Benchmarking Explicit State Parallel Model Checkers. PDMC@CAV Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn
2003	J	`jnl`	Modular verification of timed circuits using automatic abstraction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hao Zheng, Eric Mercer, Chris J. Myers
2002	C	`conf`	Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. PRDC Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers
2002	J	`jnl`	Modular Synthesis of Timed Circuits Using Partial Order Reduction. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Tomohiro Yoneda, Eric Mercer, Chris Myers
2002	—	`conf`	Modular Synthesis of Timed Circuits using Partial Order Reduction. Theory and Practice of Timed Systems @ ETAPS Eric Mercer, Chris J. Myers, Tomohiro Yoneda
2001	—	`conf`	A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems. ARVLSI Kip C. Killpack, Eric Mercer, Chris J. Myers
2001	A*	`conf`	Automatic Abstraction for Verification of Timed Circuits and Systems. CAV Hao Zheng, Eric Mercer, Chris J. Myers