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

Add PRDC

This commit is contained in:
Quentin Rouland 2020-01-12 17:26:03 +01:00
parent 95037f5b24
commit cc13d4ff87
1 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
index.html
View File

@ -256,11 +256,17 @@
<h3 class="mb-3 font-weight-bold dark-grey-text">
<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, 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 class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i>Brahim Hamid, <strong>Quentin Rouland</strong>, Jason Jaskolka. <a class="text-primary" href="https://dx.doi.org/10.1109/PRDC47002.2019.00052">Distributed maintenance of a spanning tree of k-connected graphs</a>.<br>
<span class="pl-3">24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Kyoto, Japan, 2019.</span>
</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 class="mb-2 text-justify">
<i class="fas fa-angle-right mr-2"></i><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>.<br>
<span class="pl-3">24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019.</span>
</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>.<br>
<span class="pl-3">International Conference On Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018.</span>
</p>
</div>
<!--Grid column-->