Author:
Selyunin Konstantin,Jaksic Stefan,Nguyen Thang,Reidl Christian,Hafner Udo,Bartocci Ezio,Nickovic Dejan,Grosu Radu
Publisher
Springer International Publishing
Reference40 articles.
1. ISO 26262: “Road vehicles – Functional safety”. International Organization for Standardization (ISO) (2011)
2. Baier, C., Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
3. Broy, M., Krcmar, H., Kirstan, S., Schätz, B.: What is the benefit of a model-based design of embedded software systems in the car industry? In: Emerging Technologies for the Evolution and Maintenance of Software Models, pp. 310–337 (2012)
4. Lecture Notes in Computer Science;M Leucker,2012
5. Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., Joshi, Y., Klaedtke, F., Milewicz, R., Reger, G., Rosu, G., Signoles, J., Thoma, D., Zalinescu, E., Zhang, Y.: First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf., 1–40 (2017)
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CauMon: An Informative Online Monitor for Signal Temporal Logic;Lecture Notes in Computer Science;2024-09-13
2. RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13
3. Runtime Verification for Trustworthy Computing;Electronic Proceedings in Theoretical Computer Science;2023-09-30
4. A run-time verification method with consideration of uncertainties for cyber–physical systems;Microprocessors and Microsystems;2023-09
5. Cyber Security;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2023-04-21