Java-MOP: A Monitoring Oriented Programming Environment for Java-Reference-Cited by-同舟云学术

Java-MOP: A Monitoring Oriented Programming Environment for Java

Published:2005 Issue: Volume: Page:546-550
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Chen Feng,Roşu Grigore

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_36.pdf

Reference13 articles.

1. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Program monitoring with ltl in eagle. In: Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2004) (Satellite workshop of IPDPS 2004), Santa Fe, New Mexico, USA, April. IEEE Computer Society Press, Los Alamitos (2004)

2. Lecture Notes in Computer Science;F. Chen,2004

3. Bartetzko, M.M.D., Fischer, C., Wehrheim, H.: Jass - java with assertions. In: Electronic Notes in Theoretical Computer Science, vol. 55. Elsevier, Amsterdam (2001)

4. Lecture Notes in Computer Science;D. Drusinsky,2003

5. Havelund, K., Roşu, G.: Workshops on Runtime Verification (RV 2001, RV 2002, RV 2004). ENTCS, vol. 55, 70(4). Elsevier, Amsterdam (2001–2002, 2004) (to appear)

Cited by 74 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient Temporal Logic Runtime Monitoring for Tiny Systems;Lecture Notes in Computer Science;2024-09-10

2. Securing Verified IO Programs Against Unverified Code in F*;Proceedings of the ACM on Programming Languages;2024-01-05

3. UMLsecRT: Reactive Security Monitoring of Java Applications With Round-Trip Engineering;IEEE Transactions on Software Engineering;2024-01

4. Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09

5. Hydra: Effective Runtime Network Verification;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09