|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 8 publication records. Showing 8 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide |
Building a push-button RESOLVE verifier: Progress and challenges.  |
Formal Asp. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Bronish, Hampton Smith |
Robust, generic, modularly-verified map: a software verification challenge problem. |
PLPV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß |
The 1st Verified Software Competition: Experience Report. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Soundarajan, Derek Bronish, Raffi Khatchadourian |
Formalizing Reusable Aspect-Oriented Concurrency Control. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Derek Bronish, Jason Kirschenbaum, Aditi Tagore |
A benchmark- and competition-based approach to software engineering research. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide |
Traditional assignment considered harmful. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
parameter passing, aliasing, assignment, swapping, data movement |
| 1 | Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide |
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? |
ICSR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier |
Incremental Benchmarks for Software Verification Tools and Techniques. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")