SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 70, Issue 4, 2002, Pages 80-94

Computational analysis of run-time monitoring: Fundamentals of java-MaC

(5) Kim, Moonjoo a Kannan, Sampath b Lee, Insup b Sokolsky, Oleg b Viswanathan, Mahesh c

a SECUiCOM RandD Center (South Korea)

b UNIVERSITY OF PENNSYLVANIA (United States)

c UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; JAVA PROGRAMMING LANGUAGE; MONITORING; REAL TIME SYSTEMS;

COMPUTATIONAL RESOURCES; JAVA PROGRAMS; RUN-TIME MONITORING; RUNTIME VERIFICATION;

COMPUTER PROGRAMMING;

EID: 14844313206 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)80578-4 Document Type: Conference Paper

Times cited : (26)

References (8)

1
- 0006701983
- ACSR: An algebra of communicating shared resources with dense time and priorities
- 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
- (1993) Proc. of CONCUR '93
- Brémond-Grégoire, P.¹ Lee, I.² Gerber, R.³

2
- 0029291883
- Implementation of the Sentry System
- John Wiley & Sons, Ltd
- Chodrow Sarah E., Gouda Mohamed G. Implementation of the Sentry System. In Software - Practice and Experience. April 1995;John Wiley & Sons, Ltd
- (1995) In Software - Practice and Experience
- Chodrow, S.E.¹ Gouda, M.G.²

3
- 4544237954
- Synthesizing monitors for safety properties
- 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
- (2002) International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS)
- Havelund, K.¹ Rosu, G.²

4
- 1542355460
- Java-Mac: A run-time assurance tool for java programs
- 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
- (2001) Runtime Verification Paris France
- Kim, M.¹ Kannan, S.² Lee, I.³ Sokolsky, O.⁴ Viswanathan, M.⁵

5
- 1842659607
- PhD thesis, Department of Computer and Information Science, University of Pennsylvania
- Moonjoo Kim. Information Extraction for Run-time Formal Analysis. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 2001
- (2001) Information Extraction for Run-time Formal Analysis
- Kim, M.¹

6
- 0003954103
- Prentice-Hall
- Milner R. Communication and Concurrency. 1989;Prentice-Hall
- (1989) Communication and Concurrency
- Milner, R.¹

7
- 0031346960
- An approach to automatic detection of software failures in real-time systems
- June
- T. Savor and R. E. Seviora. An approach to automatic detection of software failures in real-time systems. In IEEE Real-Time Technology and Applications Symposium, pages 136-146, June 1997
- (1997) IEEE Real-time Technology and Applications Symposium , pp. 136-146
- Savor, T.¹ Seviora, R.E.²

8
- 0008574347
- PhD thesis, Department of Computer and Information Science, University of Pennsylvania
- Mahesh Viswanathan. Foundations for the Run-time Analysis of Software Systems. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 2000
- (2000) Foundations for the Run-time Analysis of Software Systems
- Viswanathan, M.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.