Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Java-MaC (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001 (1) 2002 (1) 2003 (1) 2004 (2) 2007 (1)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
RV@CAV(2) Formal Methods Syst. Des.(1) NETGAMES(1) RV(1) RV@FLoC(1)
Authors
Insup Lee 0001(4) Oleg Sokolsky(4) Mahesh Viswanathan 0001(3) Sampath Kannan(3) Margaret DeLap(2) Moonjoo Kim 0001(2) Usa Sammapun(2) Ann Q. Gates(1) Björn Knutsson(1) Christos Tsarouchis(1) Honghui Lu(1) Irbis Gallegos(1) Moonzoo Kim(1) Myong Kim(1) Omar Ochoa(1) Raman Sharykin(1) More (+10 of total 18)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 10 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
75Moonzoo Kim, Mahesh Viswanathan 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky Java-MaC: A Run-Time Assurance Approach for Java Programs. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation
24Moonjoo Kim 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky, Mahesh Viswanathan 0001 Java-MaC: a Run-time Assurance Tool for Java Programs. Search on Bibsonomy RV@CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification. Search on Bibsonomy RV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java-MaC, Aspect Oriented Programming, Runtime Verification, Runtime Monitoring, Software Assurance
17Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic Formalizing Java-MaC. Search on Bibsonomy RV@CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Moonjoo Kim 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky, Mahesh Viswanathan 0001 Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. Search on Bibsonomy RV@FLoC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
8Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee 0001, Christos Tsarouchis Is runtime verification applicable to cheat detection? Search on Bibsonomy NETGAMES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF runtime verification, multiplayer game, cheat detection
Displaying result #1 - #6 of 6 (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