Quentin Rouland

15 papers B 2C 4Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
A formal approach for security pattern enforcement in software architecture.
Comput. Secur.
Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2025 J jnl
A model-driven formal methods approach to software architectural security vulnerabilities specification and verification.
J. Syst. Softw.
Quentin Rouland, Brahim Hamid, Jason Jaskolka
2024 C conf
Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy.
CRiSIS
Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2024 — conf
Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy.
FPS (1)
Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo
2023 C conf
A Formal Metamodel for Software Architectures with Composite Components.
MEDI
James Baak, Quentin Rouland, Jason Jaskolka
2023 — conf
A Security Compliance-by-Design Framework Utilizing Reusable Formal Models.
QRS Companion
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka
2023 — conf
Eliciting a Security Architecture Requirements Baseline from Standards and Regulations.
REW
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka
2023 — conf
Formalizing the Relationship between Security Policies and Objectives in Software Architectures.
ICSA-C
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka
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 J jnl
Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support.
J. Syst. Archit.
Quentin Rouland, Brahim Hamid, Jason Jaskolka
2020 J jnl
Formal specification and verification of reusable communication models for distributed systems architecture.
Future Gener. Comput. Syst.
Quentin Rouland, Brahim Hamid, Jason Jaskolka
2020 B conf
Reusable Formal Models for Threat Specification, Detection, and Treatment.
ICSR
Quentin Rouland, Brahim Hamid, Jason Jaskolka
2019 B conf
A Formal Methods Approach to Security Requirements Specification and Verification.
ICECCS
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali
2019 C conf
Distributed Maintenance of a Spanning Tree of k-Connected Graphs.
PRDC
Brahim Hamid, Quentin Rouland, Jason Jaskolka
2018 C conf
Formalizing Reusable Communication Models for Distributed Systems Architecture.
MEDI
Quentin Rouland, Brahim Hamid, Jason Jaskolka