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

Update publication

Browse Source
This commit is contained in:
Quentin Rouland
2019-11-20 12:57:13 +01:00
parent 9ce8f3bb2f
commit 2ca63a2ece
2 changed files with 10 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
index.html
View File

@ -257,7 +257,10 @@
<strong data-i18n="publications.conference"></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.1007/978-3-030-00856-7_13">Formalizing Reusable Communication Models for Distributed Systems Architecture</a> (regular paper). International Conference On Model and Data Engineering (MEDI 2018), Marrakesh, Morocco, 24/10/18-26/10/18, Ladjel Bellatreche (Eds.), Springer, p. 198-216, octobre 2018.
<strong>Quentin Rouland</strong> , Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. <a class="text-primary" href="https://doi.org/10.1109/ICECCS.2019.00033">A Formal Methods Approach to Security Requirements Specification and Verification</a>. 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019.
</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.1007/978-3-030-00856-7_13">Formalizing Reusable Communication Models for Distributed Systems Architecture</a>. International Conference On Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018.
</p>
</div>
<!--Grid column-->
@ -301,7 +304,7 @@
<strong>Algo</strong> - Licence 1 (28h TP)
</p>
<p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
<strong>Projet S2</strong> - Licence 1 (12h TP)
<strong>Projet S2</strong> - Licence 1 (12h Projet)
</p>
</div>
<!--Grid column-->
@ -326,7 +329,7 @@
<strong>Algo</strong> - Licence 1 (28h TP)
</p>
<p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
<strong>Projet S2</strong> - Licence 1 (12h TP)
<strong>Projet S2</strong> - Licence 1 (12h Projet)
</p>
<p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
<strong>Théorie de l'information</strong> - Licence 1 (12h TP)
@ -351,10 +354,10 @@
<strong>Génie logiciel</strong> - Licence 3 (20h TP)
</p>
<p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
<strong>Projet S3</strong> - Licence 2 (11h TP)
<strong>Projet S3</strong> - Licence 2 (11h Projet)
</p>
<p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
<strong>Projet S2</strong> - Licence 1 (12h TP)
<strong>Projet S2</strong> - Licence 1 (12h Projet)
</p>
<p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
<strong>Théorie de l'information</strong> - Licence 1 (12h TP)