Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Stefan Staber" ( http://dblp.L3S.de/Authors/Stefan_Staber )

  Author page on DBLP  Author page in RDF  Community of Stefan Staber in ASPL-2

Publication years (Num. hits)
2005-2012 (7)
Publication types (Num. hits)
article(4) inproceedings(3)
Venues (Conferences, Journals, ...)
CHARME(1) Electr. Notes Theor. Comput. S...(1) Haifa Verification Conference(1) IEEE Trans. on CAD of Integrat...(1) J. Comput. Syst. Sci.(1) SAT(1) Softw. Test., Verif. Reliab.(1)
Authors
Roderick Bloem(7) Stefan Staber(7) Andreas Griesmayer(3) Barbara Jobstmann(2) Görschwin Fey(2) Rolf Drechsler(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem Finding and fixing faults. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andreas Griesmayer, Stefan Staber, Roderick Bloem Fault localization using a model checker. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Görschwin Fey, Stefan Staber, Roderick Bloem, Rolf Drechsler Automatic Fault Localization for Property Checking. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andreas Griesmayer, Stefan Staber, Roderick Bloem Automated Fault Localization for C Programs. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Stefan Staber, Roderick Bloem Fault Localization and Correction with QBF. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Stefan Staber, Görschwin Fey, Roderick Bloem, Rolf Drechsler Automatic Fault Localization for Property Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Stefan Staber, Barbara Jobstmann, Roderick Bloem Finding and Fixing Faults. Search on Bibsonomy CHARME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #7 of 7 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.