Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "COMPARE"( http://dblp.L3S.de/Venues/COMPARE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/cade

Publication years (Num. hits)
2012 (11)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
COMPARE(11)
Authors
Aaron Stump(2) Bernhard Beckert(2) Geoff Sutcliffe(2) Rosemary Monahan(2) Vladimir Klebanov(2) Alberto Griggio(1) Andrei Paskevich(1) Armin Biere(1) Boris Yakobowski(1) Carsten Sinz(1) Cesare Tinelli(1) Florent Kirchner(1) Florian Merz 0001(1) James F. Power(1) Jean-Christophe Filliâtre(1) Leonardo Mendonça de Moura(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jean-Christophe Filliâtre, Andrei Paskevich, Aaron Stump The 2nd Verified Software Competition: Experience Report. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe (eds.) Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012 Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Roberto Bruttomesso, Alberto Griggio Broadening the Scope of SMT-COMP: the Application Track. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Zheng Cheng, Rosemary Monahan, James F. Power A Simple Complexity Measurement for Software Verification and Software Testing. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Olivier Roussel Behind the Scene of Solvers Competitions: the "evaluation" Experience. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Florian Merz 0001, Carsten Sinz, Stephan Falke 0001 Challenges in Comparing Software Verification Tools for C. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Marieke Huisman, Vladimir Klebanov, Rosemary Monahan On the Organisation of Program Verification Competitions. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Pascal Cuoq, Florent Kirchner, Boris Yakobowski Benchmarking Static Analyzers. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Bernhard Beckert, Sarah Grebing Evaluating the Usability of Interactive Verification Systems. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Leonardo Mendonça de Moura Regression Tests and the Inventor's Dilemma. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
1Aaron Stump, Geoff Sutcliffe, Cesare Tinelli Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. Search on Bibsonomy COMPARE The full citation details ... 2012 DBLP  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license