Quentin Rouland

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 10

Top Topics

Formal Specification

Software Architecture

Top Venues

Future Gener. Comput. Syst.

J. Syst. Archit.

Publications

Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka
Formalizing the Relationship between Security Policies and Objectives in Software Architectures. ICSA-C (2023)
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka
A Security Compliance-by-Design Framework Utilizing Reusable Formal Models. QRS Companion (2023)
James Baak, Quentin Rouland, Jason Jaskolka
A Formal Metamodel for Software Architectures with Composite Components. MEDI (2023)
Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka
Eliciting a Security Architecture Requirements Baseline from Standards and Regulations. REW (2023)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support. J. Syst. Archit. 117 (2021)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Reusable Formal Models for Threat Specification, Detection, and Treatment. ICSR (2020)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Formal specification and verification of reusable communication models for distributed systems architecture. Future Gener. Comput. Syst. 108 (2020)
Brahim Hamid, Quentin Rouland, Jason Jaskolka
Distributed Maintenance of a Spanning Tree of k-Connected Graphs. PRDC (2019)
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali
A Formal Methods Approach to Security Requirements Specification and Verification. ICECCS (2019)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Formalizing Reusable Communication Models for Distributed Systems Architecture. MEDI (2018)