Author:
Viger Torin,Murphy Logan,Di Sandro Alessio,Shahin Ramy,Chechik Marsha
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A PRISMA-driven systematic mapping study on system assurance weakeners;Information and Software Technology;2024-11
2. MMINT-A: A framework for model-based safety assurance;Science of Computer Programming;2024-01
3. Assurance Case Development as Data: A Manifesto;2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2023-05
4. The ForeMoSt approach to building valid model-based safety arguments;Software and Systems Modeling;2022-11-30
5. Deriving model-based safety and security assurance cases from design rationale of countermeasure patterns;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23