Author:
Denney Ewen,Pai Ganesh,Pohl Josef
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Guided Integration of Formal Verification in Assurance Cases;Formal Methods and Software Engineering;2023
2. Extending MAPE-K to support human-machine teaming;Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems;2022-05-18
3. ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks;Lecture Notes in Computer Science;2022
4. Hazard analysis for human-on-the-loop interactions in sUAS systems;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
5. Risk Informed Safety Case Framework for Unmanned Aircraft System Flight Software Certification;AIAA Information Systems-AIAA Infotech @ Aerospace;2017-01-05