Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Benjamin Weiß" ( http://dblp.L3S.de/Authors/Benjamin_Weiß )

  Author page on DBLP  Author page in RDF  Community of Benjamin Weiß in ASPL-2

Publication years (Num. hits)
2007 (1) 2008 (1) 2009 (1) 2010 (1) 2011 (2)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
FM(1) FMCO(1) FoVeOOS(1) IFM(1) Sci. Comput. Program.(1) VERIFY(1)
Authors
Benjamin Weiß(6) Mattias Ulbrich(2) Peter H. Schmitt(2) Bart Jacobs(1) Derek Bronish(1) Ernie Cohen(1) Eyad Alkassar(1) Frank Piessens(1) Gary T. Leavens(1) Jan Smans(1) K. Rustan M. Leino(1) Mark A. Hillebrand(1) Nadia Polikarpova(1) Natarajan Shankar(1) Peter Müller(1) Reiner Hähnle(1) More (+10 of total 25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Benjamin Weiß Predicate abstraction in a program logic calculus. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vladimir 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. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß Dynamic Frames in Java Dynamic Logic. Search on Bibsonomy FoVeOOS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Benjamin Weiß Predicate Abstraction in a Program Logic Calculus. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Richard Bubel, Reiner Hähnle, Benjamin Weiß Abstract Interpretation of Symbolic Execution with Explicit State Updates. Search on Bibsonomy FMCO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter H. Schmitt, Benjamin Weiß Inferring Invariants by Symbolic Execution. Search on Bibsonomy VERIFY The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.