Formalizing Reusable Communication Models for Distributed Systems Architecture. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (MEDI, 2018)

A Formal Methods Approach to Security Requirements Specification and Verification. - Quentin Rouland; Brahim Hamid; Jean-Paul Bodeveix; Mamoun Filali (ICECCS, 2019)

Distributed Maintenance of a Spanning Tree of k-Connected Graphs. - Brahim Hamid; Quentin Rouland; Jason Jaskolka (PRDC, 2019)

Reusable Formal Models for Threat Specification, Detection, and Treatment. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (ICSR, 2020)

Formal specification and verification of reusable communication models for distributed systems architecture. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (Future Gener. Comput. Syst., 2020)

Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (J. Syst. Archit., 2021)

Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support. (Développement rigoureux des architectures sécurisées dans les visions négative et positive: propriétés, modèles, analyse et outils support). - Quentin Rouland (2021)

Formalizing the Relationship between Security Policies and Objectives in Software Architectures. - Quentin Rouland; Brahim Hamid; Jean-Paul Bodeveix; Jason Jaskolka (ICSA-C, 2023)

A Formal Metamodel for Software Architectures with Composite Components. - James Baak; Quentin Rouland; Jason Jaskolka (MEDI, 2023)

A Security Compliance-by-Design Framework Utilizing Reusable Formal Models. - Quentin Rouland; Stojanche Gjorcheski; Jason Jaskolka (QRS Companion, 2023)

Eliciting a Security Architecture Requirements Baseline from Standards and Regulations. - Quentin Rouland; Stojanche Gjorcheski; Jason Jaskolka (REW, 2023)

Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy. - Quentin Rouland; Kamel Adi; Omer Nguena Timo; Luigi Logrippo (CRiSIS, 2024)

Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy. - Quentin Rouland; Kamel Adi; Omer Nguena Timo; Luigi Logrippo (FPS (1), 2024)

A model-driven formal methods approach to software architectural security vulnerabilities specification and verification. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (J. Syst. Softw., 2025)