|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 18 keywords
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy |
Modeling Asynchronous Message Passing for C Programs.  |
VMCAI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Saint Wesonga, Eric G. Mercer, Neha Rungta |
Guided test visualization: Making sense of errors in concurrent programs. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Topher Fischer, Eric Mercer, Neha Rungta |
Symbolically modeling concurrent MCAPI executions. |
PPOPP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neha Rungta, Eric Mercer |
Slicing and dicing bugs in concurrent programs. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
underapproximation, concurrency, abstraction-refinement |
| 1 | Rahul Kumar, Eric G. Mercer |
Verifying Communication Protocols Using Live Sequence Chart Specifications. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Kumar, Eric G. Mercer, Annette Bunker |
Improving Translation of Live Sequence Charts to Temporal Logic. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neha Rungta, Eric G. Mercer |
Clash of the Titans: tools and techniques for hunting bugs in concurrent programs. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
testing and verification tools, evaluation, benchmarks, empirical study, concurrent programs |
| 1 | Neha Rungta, Eric G. Mercer |
Guided model checking for programs with polymorphism. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
error discovery, heuristics, software model checking, guided search |
| 1 | Neha Rungta, Eric G. Mercer, Willem Visser |
Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer (eds.) |
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009 |
PADTAD |
2009 |
DBLP BibTeX RDF |
|
| 1 | Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer |
Dynamic verification of Multicore Communication applications in MCAPI. |
HLDVT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt |
MCC: A runtime verification tool for MCAPI user applications. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Kumar, Eric G. Mercer |
Improving Live Sequence Chart to Automata Transformation for Verification. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Daniel D. Walker, Eric G. Mercer, Kent E. Seamons |
Or Best Offer: A Privacy Policy Negotiation Protocol. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
privay policy negotiation protocol, privacy, protocol, game theory, negotiation, utility, pareto optimality, privacy policy, P3P, preference models |
| 1 | Neha Rungta, Eric G. Mercer |
A Meta Heuristic for Effectively Detecting Concurrency Errors. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Neha Rungta, Eric G. Mercer |
Hardness for Explicit State Software Model Checking Benchmarks. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel P. Self, Eric G. Mercer |
On-the-Fly Dynamic Dead Variable Analysis. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Neha Rungta, Eric G. Mercer |
Generating Counter-Examples Through Randomized Guided Search. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Neha Rungta, Eric G. Mercer |
An Improved Distance Heuristic Function for Directed Software Model Checking. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Kumar, Eric G. Mercer |
Load Balancing Parallel Explicit State Model Checking. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Neha Rungta, Eric G. Mercer |
A context-sensitive structural heuristic for guided search model checking. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
structural heuristics, guided search |
| 1 | Eric Mercer, Michael Jones |
Model Checking Machine Code with the GNU Debugger. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jones, Eric Mercer |
Explicit State Model Checking with Hopper. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn |
Benchmarking Explicit State Parallel Model Checkers. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zheng 0001, Eric Mercer, Chris J. Myers |
Modular verification of timed circuits using automatic abstraction. |
IEEE Trans. on CAD of Integrated Circuits and Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Mercer, Chris J. Myers, Tomohiro Yoneda |
Modular Synthesis of Timed Circuits using Partial Order Reduction. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Kip C. Killpack, Eric Mercer, Chris J. Myers |
A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems. |
ARVLSI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zheng 0001, Eric Mercer, Chris J. Myers |
Automatic Abstraction for Verification of Timed Circuits and Systems. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")