Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
75 | Moonzoo Kim, Mahesh Viswanathan 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky |
Java-MaC: A Run-Time Assurance Approach for Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 24(2), pp. 129-155, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation |
24 | Moonjoo 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](Pics/bibsonomy.png) |
RV@CAV ![In: Workshop on Runtime Verification, RV 2001, in connection with CAV 2001, Paris, France, July 23, 2001, pp. 218-235, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Omar 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](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers, pp. 75-86, 2007, Springer, 978-3-540-77394-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java-MaC, Aspect Oriented Programming, Runtime Verification, Runtime Monitoring, Software Assurance |
17 | Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic |
Formalizing Java-MaC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV@CAV ![In: Third Workshop on Run-time Verification, RV@CAV 2003, Boulder, Colorado, USA, July 14, 2003, pp. 171-190, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Moonjoo 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](Pics/bibsonomy.png) |
RV@FLoC ![In: Runtime Verification 2002, RV 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 80-94, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Margaret 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](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 3rd Workshop on Network and System Support for Games, NETGAMES 2004, Portland, Oregon, USA, August 30, 2004, pp. 134-138, 2004, ACM, 1-58113-942-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
runtime verification, multiplayer game, cheat detection |
Displaying result #1 - #6 of 6 (100 per page; Change: )
|