diff --git a/index.html b/index.html index abba682..8aa3725 100644 --- a/index.html +++ b/index.html @@ -267,12 +267,12 @@

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

@@ -288,11 +288,15 @@

- James Baak, Quentin Rouland, Jason Jaskolka. A Formal Metamodel with Composite Components.
- 12th International Conference on Model and Data Engineering (MEDI), Sousse, Tunisia, 2023. + Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka. A Security Compliance-by-Design Framework Utilizing Reusable Formal Model (In Press).
+ 23rd IEE International Conference on Software Quality, Reliability, and Security Companion (QRS) , Chiang Mai, Thailand, 2023.

- Quentin Rouland, Stojanche Gjorcheski, Jason Jaskolka. Eliciting a Security Architecture Requirements Baseline from Standards and Regulations.
+ James Baak, Quentin Rouland, Jason Jaskolka. A Formal Metamodel with Composite Components (In Press).
+ 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.