Author:
Kim Moonjoo,Kannan Sampath,Lee Insup,Sokolsky Oleg,Viswanathan Mahesh
Subject
General Computer Science,Theoretical Computer Science
Reference8 articles.
1. P. Brémond-Grégoire, I. Lee, and R. Gerber. ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. In Proc. of CONCUR '93, 1993
2. Implementation of the Sentry System;Chodrow,1995
3. K. Havelund and G. Rosu. Synthesizing monitors for safety properties. In International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2002
4. M. Kim, S. Kannan, I. Lee, O. Sokolsky, and M. Viswanathan. Java-Mac: a run-time assurance tool for java programs. Runtime Verification Paris France, 2001
5. Moonjoo Kim. Information Extraction for Run-time Formal Analysis. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 2001
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantitative Safety and Liveness;Lecture Notes in Computer Science;2023
2. Vamos: Middleware for Best-Effort Third-Party Monitoring;Fundamental Approaches to Software Engineering;2023
3. Towards Partial Monitoring: It is Always too Soon to Give Up;Electronic Proceedings in Theoretical Computer Science;2021-10-21
4. Runtime Verification: Passing on the Baton;Formal Methods in Outer Space;2021
5. Online Firmware Functional Validation Scheme Using Colored Petri Net Model;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-07