| Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support Q Rouland, B Hamid, J Jaskolka Journal of Systems Architecture 117, 102073, 2021 | 32 | 2021 |
| Formal specification and verification of reusable communication models for distributed systems architecture Q Rouland, B Hamid, J Jaskolka Future Generation Computer Systems 108, 178-197, 2020 | 23 | 2020 |
| A formal methods approach to security requirements specification and verification Q Rouland, B Hamid, JP Bodeveix, M Filali 2019 24th International Conference on Engineering of Complex Computer …, 2019 | 16 | 2019 |
| Formalizing reusable communication models for distributed systems architecture Q Rouland, B Hamid, J Jaskolka Model and Data Engineering: 8th International Conference, MEDI 2018 …, 2018 | 6 | 2018 |
| Eliciting a security architecture requirements baseline from standards and regulations Q Rouland, S Gjorcheski, J Jaskolka 2023 IEEE 31st International Requirements Engineering Conference Workshops …, 2023 | 2 | 2023 |
| Reusable formal models for threat specification, detection, and treatment Q Rouland, B Hamid, J Jaskolka International Conference on Software and Software Reuse, 52-68, 2020 | 2 | 2020 |
| Distributed maintenance of a spanning tree of k-connected graphs B Hamid, Q Rouland, J Jaskolka 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing …, 2019 | 2 | 2019 |
| A Security Compliance-by-Design Framework Utilizing Reusable Formal Models Q Rouland, S Gjorcheski, J Jaskolka 2023 IEEE 23rd International Conference on Software Quality, Reliability …, 2023 | 1 | 2023 |
| Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support Q Rouland Université Paul Sabatier-Toulouse III, 2021 | 1 | 2021 |
| A Formal Metamodel for Software Architectures with Composite Components J Baak, Q Rouland, J Jaskolka International Conference on Model and Data Engineering, 15-29, 2023 | | 2023 |
| Formalizing the Relationship between Security Policies and Objectives in Software Architectures Q Rouland, B Hamid, JP Bodeveix, J Jaskolka 2023 IEEE 20th International Conference on Software Architecture Companion …, 2023 | | 2023 |
Jason JaskolkaAssociate Professor - Carleton University在 carleton.ca 的电子邮件经过验证
Jason JaskolkaAssociate Professor - Carleton University在 carleton.ca 的电子邮件经过验证
Brahim HAMIDProfessor of Computer Science, Toulouse University -IRIT在 irit.fr 的电子邮件经过验证