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

update publications

Browse Source
This commit is contained in:
Quentin Rouland 2025-01-09 10:36:36 +01:00
parent c6faa4ba29
commit 22341ef469
1 changed files with 16 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
index.html
View File

@ -180,7 +180,7 @@
<!--Grid row--> <!--Grid row-->
<div class="row wow fadeIn mb-3"> <div class="row wow fadeIn mb-3">
<!--Grid column--> <!--Grid column-->
<div mb-4"> <div >
<h3 class="mb-3 font-weight-bold dark-grey-text"> <h3 class="mb-3 font-weight-bold dark-grey-text">
<strong data-i18n="experiences.title"></strong> <strong data-i18n="experiences.title"></strong>
</h3> </h3>
@ -232,7 +232,7 @@
<!--Grid row--> <!--Grid row-->
<div class="row wow fadeIn mb-3"> <div class="row wow fadeIn mb-3">
<!--Grid column--> <!--Grid column-->
<div mb-4"> <div >
<h3 class="mb-3 font-weight-bold dark-grey-text"> <h3 class="mb-3 font-weight-bold dark-grey-text">
<strong data-i18n="training.title"></strong> <strong data-i18n="training.title"></strong>
</h3> </h3>
@ -269,13 +269,13 @@
<!--Grid row--> <!--Grid row-->
<div class="row wow fadeIn mb-3"> <div class="row wow fadeIn mb-3">
<!--Grid column--> <!--Grid column-->
<div mb-4"> <div >
<h3 class="mb-3 font-weight-bold dark-grey-text"> <h3 class="mb-3 font-weight-bold dark-grey-text">
<strong data-i18n="publications.journal"></strong> <strong data-i18n="publications.journal"></strong>
</h3> </h3>
<p class="mb-2 text-justify"> <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.jss.2024.112219">A model-driven formal methods approach to software architectural security vulnerabilities specification and verification</a>. <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.jss.2024.112219">A model-driven formal methods approach to software architectural security vulnerabilities specification and verification</a>.
Journal of Systems Architecture (JSA), 2021. Journal of Systems and Software (JSS), 2025.
</p> </p>
<p class="mb-2 text-justify"> <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>. <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>.
@ -294,18 +294,22 @@
<!--Grid row--> <!--Grid row-->
<div class="row wow fadeIn mb-3 "> <div class="row wow fadeIn mb-3 ">
<!--Grid column--> <!--Grid column-->
<div mb-4"> <div >
<h3 class="mb-3 font-weight-bold dark-grey-text"> <h3 class="mb-3 font-weight-bold dark-grey-text">
<strong data-i18n="publications.conference"></strong> <strong data-i18n="publications.conference"></strong>
</h3> </h3>
<p class="mb-2 text-justify"> <p class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Kamel Adi, Omer Nguena Timo, Luigi Logrippo. <span class="text-primary" href="#">Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy (accepted)</span>. <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Kamel Adi, Omer Nguena Timo, Luigi Logrippo. <span class="text-primary" href="#">Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy (accepted)</span>.
17th International Symposium on Foundations & Practice of Security (QRS), Montreal, Canada, 2024. 17th International Symposium on Foundations & Practice of Security (FPS), Montreal, Canada, 2024.
</p> </p>
<p class="mb-2 text-justify"> <p class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Kamel Adi, Omer Nguena Timo, Luigi Logrippo. <span class="text-primary" href="#">Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy (accepted)</span>. <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Kamel Adi, Omer Nguena Timo, Luigi Logrippo. <span class="text-primary" href="#">Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy (accepted)</span>.
19th International Conference on Risks and Security of Internet and Systems (CRiSIS), Aix-En-Provence, France, 2024. 19th International Conference on Risks and Security of Internet and Systems (CRiSIS), Aix-En-Provence, France, 2024.
</p> </p>
<p class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i>Luke Newton, Jason Jaskolka, <strong>Quentin Rouland</strong>, Brahim Hamid. <span class="text-primary" href="#">Data-Driven Approximation of Formal Implicit Interaction Analysis for Cyber-Physical System Designs</span>.
Resilience Week (RWS), Austin, United States, 2024.
</p>
<p class="mb-2 text-justify"> <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/QRS-C60940.2023.00054">A Security Compliance-by-Design Framework Utilizing Reusable Formal Model</a>. <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/QRS-C60940.2023.00054">A Security Compliance-by-Design Framework Utilizing Reusable Formal Model</a>.
23rd IEE International Conference on Software Quality, Reliability, and Security Companion (QRS), Chiang Mai, Thailand, 2023. 23rd IEE International Conference on Software Quality, Reliability, and Security Companion (QRS), Chiang Mai, Thailand, 2023.
@ -347,7 +351,7 @@
<!--Grid row--> <!--Grid row-->
<div class="row wow fadeIn mb-3"> <div class="row wow fadeIn mb-3">
<!--Grid column--> <!--Grid column-->
<div mb-4"> <div >
<h3 class="mb-3 font-weight-bold dark-grey-text"> <h3 class="mb-3 font-weight-bold dark-grey-text">
<strong data-i18n="publications.these"></strong> <strong data-i18n="publications.these"></strong>
</h3> </h3>
@ -370,7 +374,7 @@
<!--Grid row--> <!--Grid row-->
<div class="row wow fadeIn mb-3"> <div class="row wow fadeIn mb-3">
<!--Grid column--> <!--Grid column-->
<div mb-4"> <div >
<h3 class="mb-3 font-weight-bold dark-grey-text"> <h3 class="mb-3 font-weight-bold dark-grey-text">
<strong>2020-2021</strong><span class="font-weight-light" data-i18n="teachings.univtoulouse2"></span> <strong>2020-2021</strong><span class="font-weight-light" data-i18n="teachings.univtoulouse2"></span>
</h3> </h3>
@ -417,7 +421,7 @@
<!--Grid row--> <!--Grid row-->
<div class="row wow fadeIn mb-3"> <div class="row wow fadeIn mb-3">
<!--Grid column--> <!--Grid column-->
<div mb-4"> <div >
<h3 class="mb-3 font-weight-bold dark-grey-text"> <h3 class="mb-3 font-weight-bold dark-grey-text">
<strong>2019-2020</strong><span class="font-weight-light" data-i18n="teachings.univtoulouse3"></span> <strong>2019-2020</strong><span class="font-weight-light" data-i18n="teachings.univtoulouse3"></span>
</h3> </h3>
@ -442,7 +446,7 @@
<!--Grid row--> <!--Grid row-->
<div class="row wow fadeIn mb-3"> <div class="row wow fadeIn mb-3">
<!--Grid column--> <!--Grid column-->
<div mb-4"> <div >
<h3 class="mb-3 font-weight-bold dark-grey-text"> <h3 class="mb-3 font-weight-bold dark-grey-text">
<strong>2018-2019</strong><span class="font-weight-light" data-i18n="teachings.univtoulouse3"></span> <strong>2018-2019</strong><span class="font-weight-light" data-i18n="teachings.univtoulouse3"></span>
</h3> </h3>
@ -470,7 +474,7 @@
<!--Grid row--> <!--Grid row-->
<div class="row wow fadeIn mb-3"> <div class="row wow fadeIn mb-3">
<!--Grid column--> <!--Grid column-->
<div mb-4"> <div >
<h3 class="mb-3 font-weight-bold dark-grey-text"> <h3 class="mb-3 font-weight-bold dark-grey-text">
<strong>2017-2018</strong><span class="font-weight-light" data-i18n="teachings.univtoulouse3"></span> <strong>2017-2018</strong><span class="font-weight-light" data-i18n="teachings.univtoulouse3"></span>
</h3> </h3>
@ -506,7 +510,7 @@
<!-- Content --> <!-- Content -->
<div class="card-body text-white text-center py-5 px-5 my-5"> <div class="card-body text-white text-center py-5 px-5 my-5">
<h1 class="mb-4"> <h1 class="">
<strong><p class="text-center mb-5" data-i18n="projects.soon"></p></strong> <strong><p class="text-center mb-5" data-i18n="projects.soon"></p></strong>
</h1> </h1>
</div> </div>