From c6faa4ba292283b946d8f439f5a4d488d4f5ab52 Mon Sep 17 00:00:00 2001 From: Quentin Rouland Date: Fri, 29 Nov 2024 10:12:44 +0100 Subject: [PATCH] Clean publication items --- index.html | 56 +++++++++++++++++++++++++++--------------------------- 1 file changed, 28 insertions(+), 28 deletions(-) diff --git a/index.html b/index.html index 85a6b1d..42088ab 100644 --- a/index.html +++ b/index.html @@ -274,16 +274,16 @@

- Quentin Rouland, Brahim Hamid, Jason Jaskolka. A model-driven formal methods approach to software architectural security vulnerabilities specification and verification.
- Journal of Systems Architecture (JSA), 2021. + Quentin Rouland, Brahim Hamid, Jason Jaskolka. A model-driven formal methods approach to software architectural security vulnerabilities specification and verification. + Journal of Systems Architecture (JSA), 2021.

- Quentin Rouland, Brahim Hamid, Jason Jaskolka. Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support.
- Journal of Systems Architecture (JSA), 2021. + Quentin Rouland, Brahim Hamid, Jason Jaskolka. Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support. + Journal of Systems Architecture (JSA), 2021.

- Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture.
- Future Generation Computer Systems (FGCS), 2020. + Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture. + Future Generation Computer Systems (FGCS), 2020.

@@ -299,44 +299,44 @@

- 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 (QRS), Montreal, Canada, 2024. + 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 (QRS), 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. + 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.

- 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. + 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. + 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, 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, 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. + 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. + 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, 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. + 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.

@@ -353,8 +353,8 @@

- Quentin Rouland. Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support.
- PhD Thesis, Université Toulouse 3 Paul Sabatier, 2021. + Quentin Rouland. Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support. + PhD Thesis, Université Toulouse 3 Paul Sabatier, 2021.