Author:
Barre Benjamin,Klein Mathieu,Soucy-Boivin Maxime,Ollivier Pierre-Antoine,Hallé Sylvain
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. An act to protect investors by improving the accuracy and reliability of corporate disclosures made pursuant to the securities laws, and for other purposes, U.S. Pub.L. 107-204, 116 Stat. 745 (July 30, 2002)
2. Payment card industry data security standard, version 2.0 (2010),
https://www.pcisecuritystandards.org/security_standards/pci_dss.shtml
3. Barringer, H., Groce, A., Havelund, K., Smith, M.: Formal analysis of log files. Journal of Aerospace Computing, Information, and Communication 7(11), 365–390 (2010)
4. Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: From Eagle to RuleR. Journal of Logic and Computation 20(3), 675–706 (2010)
5. Lecture Notes in Computer Science;D. Basin,2010
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent runtime verification of data rich events;International Journal on Software Tools for Technology Transfer;2023-06-26
2. Correct and Efficient Policy Monitoring, a Retrospective;Automated Technology for Verification and Analysis;2023
3. VrFy: Verification of Formal Requirements using Generic Traces;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12
4. Scalable online first-order monitoring;International Journal on Software Tools for Technology Transfer;2021-04
5. Actor-Based Runtime Verification with MESA;Runtime Verification;2020