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

Add JSA paper

This commit is contained in:
Quentin Rouland 2021-09-15 10:09:18 +02:00
parent 1c48aae6a1
commit bfe2cb2064
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
index.html
View File

@ -125,6 +125,9 @@
<a href="https://www.researchgate.net/profile/Quentin_Rouland/research">
<i class="fab fa-researchgate mr-1 ml-1 fa-lg"></i>
</a>
<a href="https://orcid.org/0000-0001-8613-1842" target="_blank">
<i class="fab fa-orcid mr-1 ml-1 fa-lg"></i>
</a>
<a href="https://git.rdrive.ovh/QRouland" target="_blank">
<i class="fab fa-git-square mr-1 ml-1 fa-lg"></i>
</a>
@ -242,6 +245,10 @@
<h3 class="mb-3 font-weight-bold dark-grey-text">
<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.future.2020.02.033">Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support</a>.
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.