Safe Runtime Verification of Real-Time Properties-Reference-Cited by-同舟云学术

Safe Runtime Verification of Real-Time Properties

Published:2009 Issue: Volume: Page:103-117
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Colombo Christian,Pace Gordon J.,Schneider Gerardo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04368-0_10

Reference23 articles.

1. Lecture Notes in Computer Science;A. Bouajjani,1995

2. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116–146 (1996)

3. Lecture Notes in Computer Science;A. Bauer,2006

4. Chodrow, S.E., Jahanian, F., Donner, M.: Run-time monitoring of real-time systems. In: RTSS 1991, pp. 74–83. IEEE Computer Society Press, Los Alamitos (1991)

5. Colombo, C.: Practical runtime monitoring with impact guarantees of java programs with real-time constraints. Master’s thesis, University of Malta (2008)

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

1. Runtime Verification: Passing on the Baton;Formal Methods in Outer Space;2021

2. Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – Application to the Behavior Interaction Priority framework;Journal of Logical and Algebraic Methods in Programming;2018-10

3. Monitoring Smart Contracts: ContractLarva and Open Challenges Beyond;Runtime Verification;2018

4. Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges;Lectures on Runtime Verification;2018

5. Optimal enforcement of (timed) properties with uncontrollable events;Mathematical Structures in Computer Science;2017-05-29