Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Byte Code Verification (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1998-2007 (6)
Publication types (Num. hits)
inproceedings(6)
Venues (Conferences, Journals, ...)
CASCON(1) ESORICS(1) FM(1) FME(1) OTM Workshops(1) PPDP(1)
Authors
Andy J. Wellings(1) C. B. Jay(1) Christian Skalka(1) David B. Skillicorn(1) David Cachera(1) David Pichardie(1) F. Y. Huang(1) Gerardo Schneider(1) Hao Cai(1) Harald Vogt(1) Joachim Posegga(1) Ludovic Casset(1) Thomas P. Jensen(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
2Ludovic Casset Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Byte Code Verification, Formal Methods, B Method
2Joachim Posegga, Harald Vogt Byte Code Verification for Java Smart Card Based on Model Checking. Search on Bibsonomy ESORICS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Christian Skalka Type safe dynamic linking for JVM access control. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static type analysis, language-based security, bytecode verification, dynamic linking
1F. Y. Huang, C. B. Jay, David B. Skillicorn Adaptiveness in well-typed Java bytecode verification. Search on Bibsonomy CASCON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider Certified Memory Usage Analysis. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF certified memory analysis, Program analysis, theorem proving, constraint solving
1Hao Cai, Andy J. Wellings Supporting Mixed Criticality Applications in a Ravenscar-Java Environment. Search on Bibsonomy OTM Workshops The full citation details ... 2004 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.