QRouland/qrouland.com
1
0
Fork 0
Code Pull Requests Releases Activity

Update lasted publication (QRS)

Browse Source
This commit is contained in:
Sidya 2023-11-03 13:51:03 -04:00
parent dd75fa3bb2
commit 976065eddb
1 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
index.html
View File

@ -267,12 +267,12 @@
<strong data-i18n="publications.journal"></strong>
</h3>
<p class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1016/j.sysarc.2021.102073 ">Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support</a>.
Journal of Systems Architecture (JSA), 2021.
<i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1016/j.sysarc.2021.102073 ">Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support</a>.<br>
<span class="pl-3"></span>Journal of Systems Architecture (JSA), 2021.
</p>
<p class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1016/j.future.2020.02.033">Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture</a>.
Future Generation Computer Systems (FGCS), 2020.
<i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1016/j.future.2020.02.033">Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture</a>.<br>
<span class="pl-3"></span>Future Generation Computer Systems (FGCS), 2020.
</p>
</div>
<!--Grid column-->
@ -288,11 +288,15 @@
<strong data-i18n="publications.conference"></strong>
</h3>
<p class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i>James Baak, <strong>Quentin Rouland</strong>, Jason Jaskolka. <a class="text-primary" href="">A Formal Metamodel with Composite Components</a>.<br>
<span class="pl-3">12th International Conference on Model and Data Engineering (MEDI), Sousse, Tunisia, 2023.</span>
<i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Stojanche Gjorcheski, Jason Jaskolka. <span class="text-primary" href="#">A Security Compliance-by-Design Framework Utilizing Reusable Formal Model (In Press)</span>.<br>
<span class="pl-3">23rd IEE International Conference on Software Quality, Reliability, and Security Companion (QRS) , Chiang Mai, Thailand, 2023.</span>
</p>
<p class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Stojanche Gjorcheski, Jason Jaskolka. <a class="text-primary" href="">Eliciting a Security Architecture Requirements Baseline from Standards and Regulations</a>.<br>
<i class="fas fa-angle-right mr-2"></i>James Baak, <strong>Quentin Rouland</strong>, Jason Jaskolka. <span class="text-primary" href="#">A Formal Metamodel with Composite Components (In Press)</span>.<br>
<span class="pl-3">12th International Conference on Model and Data Engineering (MEDI), Sousse, Tunisia, 2023.</span>
</p>
<p class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Stojanche Gjorcheski, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1109/REW57809.2023.00045">Eliciting a Security Architecture Requirements Baseline from Standards and Regulations</a>.<br>
<span class="pl-3">10th IEEE International Workshop on Evolving Security & Privacy Requirements Engineering (ESPRE), Hannover, Germany, 2023.</span>
</p>
<p class="mb-2 text-justify">