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

update publications

Browse Source
This commit is contained in:
Quentin Rouland 2024-11-29 10:01:05 +01:00
parent 5cc51f0009
commit d02084eb95
2 changed files with 62 additions and 50 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
index.html
View File

@ -274,7 +274,11 @@
<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.sysarc.2021.102073 ">Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support</a>.<br> <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>.<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.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. <span class="pl-3"></span>Journal of Systems Architecture (JSA), 2021.
</p> </p>
<p class="mb-2 text-justify"> <p class="mb-2 text-justify">
@ -295,11 +299,19 @@
<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>, Stojanche Gjorcheski, Jason Jaskolka. <span class="text-primary" href="#">A Security Compliance-by-Design Framework Utilizing Reusable Formal Model (In Press)</span>.<br> <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>.<br>
<span class="pl-3">23rd IEE International Conference on Software Quality, Reliability, and Security Companion (QRS) , Chiang Mai, Thailand, 2023.</span> <span class="pl-3">17th International Symposium on Foundations & Practice of Security (QRS), Montreal, Canada, 2024.</span>
</p> </p>
<p class="mb-2 text-justify"> <p class="mb-2 text-justify">
<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> <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>.<br>
<span class="pl-3">19th International Conference on Risks and Security of Internet and Systems (CRiSIS), Aix-En-Provence, France, 2024.</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/QRS-C60940.2023.00054">A Security Compliance-by-Design Framework Utilizing Reusable Formal Model</a>.<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>James Baak, <strong>Quentin Rouland</strong>, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1007/978-3-031-49333-1_2">A Formal Metamodel for Software Architectures with Composite Components.</a>.<br>
<span class="pl-3">12th International Conference on Model and Data Engineering (MEDI), Sousse, Tunisia, 2023.</span> <span class="pl-3">12th International Conference on Model and Data Engineering (MEDI), Sousse, Tunisia, 2023.</span>
</p> </p>
<p class="mb-2 text-justify"> <p class="mb-2 text-justify">

6
js/translate.js
View File

@ -17,8 +17,8 @@ i18next.use(i18nextBrowserLanguageDetector).init(
p1: p1:
"After following training courses focused on software development at the <a href='https://www.univ-tlse2.fr/home/' class='text-primary'>University of Toulouse 2 Jean-Jaurès</a> " + "After following training courses focused on software development at the <a href='https://www.univ-tlse2.fr/home/' class='text-primary'>University of Toulouse 2 Jean-Jaurès</a> " +
"and obtained a <a href='https://www.univ-tlse2.fr/accueil/navigation/formation-insertion/formation-continue/master-informatique-collaborative-en-entreprise-ice-1e-et-2e-annee-444876.kjsp'>" + "and obtained a <a href='https://www.univ-tlse2.fr/accueil/navigation/formation-insertion/formation-continue/master-informatique-collaborative-en-entreprise-ice-1e-et-2e-annee-444876.kjsp'>" +
"sandwich course master's degree in Collaborative Computer Science</a>. Then, completed a PhD in Computer Science at <a href='https://www.univ-tlse3.fr/'>University Toulouse 3 Paul Sabatier</a> " + "sandwich course master's degree in Collaborative Computer Science</a>. Then, completed a PhD in Computer Science at <a href='https://www.univ-tlse3.fr/'>University Toulouse 3 Paul Sabatier</a>." +
". I was a Postdoctoral Researcher at <a href='https://carleton.ca/'>Carleton University</a>, and then " + "Finally, I was a Postdoctoral Researcher at <a href='https://carleton.ca/'>Carleton University</a>, and then " +
"at <a href='https://uqo.ca/'>Université du Québec en Outaouais</a>.", "at <a href='https://uqo.ca/'>Université du Québec en Outaouais</a>.",
p2: p2:
"My main research topics concern the <a href='https://en.wikipedia.org/wiki/Software_architecture'>software architecture</a>, " + "My main research topics concern the <a href='https://en.wikipedia.org/wiki/Software_architecture'>software architecture</a>, " +
@ -144,7 +144,7 @@ i18next.use(i18nextBrowserLanguageDetector).init(
"et obtenu un <a href='https://www.univ-tlse2.fr/accueil/navigation/formation-insertion/formation-continue/master-informatique-collaborative-en-entreprise-ice-1e-et-2e-annee-444876.kjsp'>" + "et obtenu un <a href='https://www.univ-tlse2.fr/accueil/navigation/formation-insertion/formation-continue/master-informatique-collaborative-en-entreprise-ice-1e-et-2e-annee-444876.kjsp'>" +
"Master en Informatique Collaborative en Entreprise</a> en alternance. Puis réaliser un doctorat en Informatique à l'<a href='https://www.univ-tlse3.fr/'>Université Toulouse 3 Paul Sabatier</a> " + "Master en Informatique Collaborative en Entreprise</a> en alternance. Puis réaliser un doctorat en Informatique à l'<a href='https://www.univ-tlse3.fr/'>Université Toulouse 3 Paul Sabatier</a> " +
"au sein du laboratoire de recherche de l'<a href='https://irit.fr' class='text-primary'>IRIT</a>. " + "au sein du laboratoire de recherche de l'<a href='https://irit.fr' class='text-primary'>IRIT</a>. " +
"J'ai été chercheur postdoctoral à l'<a href='https://carleton.ca/'>Université Carleton</a> " + "Finalement, J'ai été chercheur postdoctoral à l'<a href='https://carleton.ca/'>Université Carleton</a> " +
"puis à l'<a href='https://uqo.ca/'>Université du Québec en Outaouais</a>.", "puis à l'<a href='https://uqo.ca/'>Université du Québec en Outaouais</a>.",
p2: p2:
"Mes principaux sujets de recherches concernent les <a href='https://fr.wikipedia.org/wiki/Architecture_logicielle'>architectures logicielles</a>, " + "Mes principaux sujets de recherches concernent les <a href='https://fr.wikipedia.org/wiki/Architecture_logicielle'>architectures logicielles</a>, " +