A brief account of runtime verification-Reference-Cited by-同舟云学术

A brief account of runtime verification

Author:

Leucker Martin,Schallhart Christian

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference66 articles.

1. IEEE Std 1012-2004 IEEE standard for software verification and validation, IEEE Std 1012-2004 (Revision of IEEE Std 1012-1998), 2005, pp. 1–110.

2. A. Alves, A. Arkin, S. Askary, C. Barreto, et al. Web services business process execution language version 2.0, April 2007, OASIS Standard. .

3. A. Banerji, C. Bartolini, D. Beringer, V. Chopella, et al. Web services conversation language (WSCL) 1.0, March 2002. W3C. .

4. A. Abrahams. Developing and executing electronic commerce applications with occurrences, PhD thesis, University of Cambridge, 2002.

5. Automata for modeling real-time systems;Alur,1990

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

2. A Tutorial on Stream-Based Monitoring;Lecture Notes in Computer Science;2024-09-13

3. Real-Time Guarantees for SLCS Monitors in XC;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13

4. Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13