Quentin Rouland

According to our database, Quentin Rouland authored at least 12 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

A model-driven formal methods approach to software architectural security vulnerabilities specification and verification.

Quentin Rouland, Brahim Hamid, Jason Jaskolka

J. Syst. Softw., 2025

2023

Eliciting a Security Architecture Requirements Baseline from Standards and Regulations.

Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

A Security Compliance-by-Design Framework Utilizing Reusable Formal Models.

Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

A Formal Metamodel for Software Architectures with Composite Components.

James Baak, Quentin Rouland, Jason Jaskolka

Proceedings of the Model and Data Engineering - 12th International Conference, 2023

Formalizing the Relationship between Security Policies and Objectives in Software Architectures.

Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka

Proceedings of the 20th International Conference on Software Architecture, 2023

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

PhD thesis, 2021

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

2020

Formal specification and verification of reusable communication models for distributed systems architecture.

Quentin Rouland, Brahim Hamid, Jason Jaskolka

Future Gener. Comput. Syst., 2020

Reusable Formal Models for Threat Specification, Detection, and Treatment.

Quentin Rouland, Brahim Hamid, Jason Jaskolka

Proceedings of the Reuse in Emerging Software Engineering Practices, 2020

2019

Distributed Maintenance of a Spanning Tree of k-Connected Graphs.

Brahim Hamid, Quentin Rouland, Jason Jaskolka

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

A Formal Methods Approach to Security Requirements Specification and Verification.

Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Formalizing Reusable Communication Models for Distributed Systems Architecture.

Quentin Rouland, Brahim Hamid, Jason Jaskolka

Proceedings of the Model and Data Engineering - 8th International Conference, 2018