Author:
Almorsy Mohamed,Grundy John,Ibrahim Amani S.
Cited by
43 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sarch-Checks: A Method for Checking Software Architecture Security Properties Using a Knowledge Graph;2024 IEEE 21st International Conference on Software Architecture Companion (ICSA-C);2024-06-04
2. Automatic Security-Flaw Detection Replication and Comparison;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
3. A Business-Oriented Methodology to Evaluate the Security of Software Architecture Quantitatively;International Journal of Software Engineering and Knowledge Engineering;2023-09-26
4. Automated code compliance checking through building information modelling;Proceedings of the Institution of Civil Engineers - Structures and Buildings;2023-08-11
5. Formal model-based argument patterns for security cases;Proceedings of the 28th European Conference on Pattern Languages of Programs;2023-07-05