Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Herman Venter" ( http://dblp.L3S.de/Authors/Herman_Venter )

  Author page on DBLP  Author page in RDF  Community of Herman Venter in ASPL-2

Publication years (Num. hits)
2005 (1) 2009 (1) 2010 (3) 2011 (1)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
OOPSLA(2) CC(1) Commun. ACM(1) USENIX Security Symposium(1) VSTTE(1)
Authors
Herman Venter(6) Manuel Fähndrich(3) Wolfram Schulte(3) Francesco Logozzo(2) K. Rustan M. Leino(2) Alexander Moshchuk(1) Bart Jacobs 0002(1) Benjamin S. Lerner(1) Chris Grier(1) Dan Grossman(1) Florian Brandner(1) Helen J. Wang(1) Michael Barnett(1) Michael Bebenita(1) Mike Barnett(1) Nikolai Tillmann(1) More (+10 of total 20)
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
1Mike Barnett, Manuel Fähndrich, K. Rustan M. Leino, Peter Müller, Wolfram Schulte, Herman Venter Specification and verification: the Spec# experience. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Francesco Logozzo, Herman Venter RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to JavaScript Optimization. Search on Bibsonomy CC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter SPUR: a trace-based JIT compiler for CIL. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Benjamin S. Lerner, Herman Venter, Dan Grossman Supporting dynamic, third-party code customizations in JavaScript using aspects. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Helen J. Wang, Chris Grier, Alexander Moshchuk, Samuel T. King, Piali Choudhury, Herman Venter The Multi-Principal OS Construction of the Gazelle Web Browser. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2009 DBLP  BibTeX  RDF
1Michael Barnett, Robert DeLine, Manuel Fähndrich, Bart Jacobs 0002, K. Rustan M. Leino, Wolfram Schulte, Herman Venter The Spec# Programming System: Challenges and Directions. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  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.