Author:
Barringer Howard,Falcone Yliès,Havelund Klaus,Reger Giles,Rydeheard David
Publisher
Springer Berlin Heidelberg
Cited by
115 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CRYSTAL framework: Cybersecurity assurance for cyber-physical systems;Journal of Logical and Algebraic Methods in Programming;2024-06
2. Diagnosing Violations of Time-based Properties Captured in iCFTL;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
3. Early detection of temporal constraint violations;Information and Computation;2024-01
4. Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09
5. A Stream-Based Approach to Intrusion Detection;CyberSecurity in a DevOps Environment;2023-08-23