| 2024 | CRiSIS | Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy. | Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo |
| 2023 | ICSA | Formalizing the Relationship between Security Policies and Objectives in Software Architectures. | Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka |
| 2023 | MEDI | A Formal Metamodel for Software Architectures with Composite Components. | James Baak, Quentin Rouland, Jason Jaskolka |
| 2023 | QRS | A Security Compliance-by-Design Framework Utilizing Reusable Formal Models. | Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka |
| 2023 | RE | Eliciting a Security Architecture Requirements Baseline from Standards and Regulations. | Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka |
| 2020 | ICSR | Reusable Formal Models for Threat Specification, Detection, and Treatment. | Quentin Rouland, Brahim Hamid, Jason Jaskolka |
| 2019 | ICECCS | A Formal Methods Approach to Security Requirements Specification and Verification. | Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali |
| 2019 | PRDC | Distributed Maintenance of a Spanning Tree of k-Connected Graphs. | Brahim Hamid, Quentin Rouland, Jason Jaskolka |
| 2018 | MEDI | Formalizing Reusable Communication Models for Distributed Systems Architecture. | Quentin Rouland, Brahim Hamid, Jason Jaskolka |