JOURNAL ARTICLE

Event-based runtime verification of java programs

Keywords:
Computer science Runtime verification Java Programming language Event (particle physics) Operating system Java Modeling Language Real time Java Formal verification Java annotation

Metrics

35
Cited By
5.60
FWCI (Field Weighted Citation Impact)
0
Refs
0.96
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Event-based runtime verification of java programs

Marcelo d’AmorimKlaus Havelund

Journal:   ACM SIGSOFT Software Engineering Notes Year: 2005 Vol: 30 (4)Pages: 1-7
JOURNAL ARTICLE

Predictive Runtime Verification of Java Programs

Kang YuZhen Bang ChenWei Dong

Journal:   Advanced materials research Year: 2014 Vol: 1078 Pages: 333-336
JOURNAL ARTICLE

Specification and Runtime Verification of Java Card Programs

Umberto Souza da CostaAnamaria Martins MoreiraMartín A. MusicantePlácido A. Souza Neto

Journal:   Electronic Notes in Theoretical Computer Science Year: 2009 Vol: 240 Pages: 61-78
© 2026 ScienceGate Book Chapters — All rights reserved.