Conference
Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo. Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy (accepted).
17th International Symposium on Foundations & Practice of Security (FPS), Montreal, Canada, 2024.
Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo. Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy (accepted).
19th International Conference on Risks and Security of Internet and Systems (CRiSIS), Aix-En-Provence, France, 2024.
Luke Newton, Jason Jaskolka, Quentin Rouland, Brahim Hamid. Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs.
Resilience Week (RWS), Austin, United States, 2024.
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka. A Security Compliance-by-Design Framework Utilizing Reusable Formal Model.
23rd IEE International Conference on Software Quality, Reliability, and Security Companion (QRS), Chiang Mai, Thailand, 2023.
James Baak, Quentin Rouland, Jason Jaskolka. A Formal Metamodel for Software Architectures with Composite Components..
12th International Conference on Model and Data Engineering (MEDI), Sousse, Tunisia, 2023.
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka. Eliciting a Security Architecture Requirements Baseline from Standards and Regulations.
10th IEEE International Workshop on Evolving Security & Privacy Requirements Engineering (ESPRE), Hannover, Germany, 2023.
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka. Formalizing the Relationship between Security Policies and Objectives in Software Architectures.
20th IEEE International Conference on Software Architecture Companion (ICSA), L'Aquila, Italy, 2023.
Quentin Rouland, Brahim Hamid, Jason Jaskolka. Reusable Formal Models for Threat Specification, Detection, and Treatment.
19th International Conference on Software and Systems Reuse (ICSR), Hammamet, Tunisia, 2020.
Brahim Hamid, Quentin Rouland, Jason Jaskolka. Distributed Maintenance of a Spanning Tree of K-Connected Graphs.
24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Kyoto, Japan, 2019.
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. A Formal Methods Approach to Security Requirements Specification and Verification.
24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019.
Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formalizing Reusable Communication Models for Distributed Systems Architecture.
8th International Conference on Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018.
