From cc13d4ff87ea6a3779b4234985fdc2f587cd4b55 Mon Sep 17 00:00:00 2001 From: Quentin Rouland Date: Sun, 12 Jan 2020 17:26:03 +0100 Subject: [PATCH] Add PRDC --- index.html | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/index.html b/index.html index 0ba0158..d87bd65 100644 --- a/index.html +++ b/index.html @@ -256,11 +256,17 @@

-

- Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. A Formal Methods Approach to Security Requirements Specification and Verification. 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019. +

+ Brahim Hamid, Quentin Rouland, Jason Jaskolka. Distributed maintenance of a spanning tree of k-connected graphs.
+ 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), Kyoto, Japan, 2019.

-

- Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formalizing Reusable Communication Models for Distributed Systems Architecture. International Conference On Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018. +

+ Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali. A Formal Methods Approach to Security Requirements Specification and Verification.
+ 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019. +

+

+ Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formalizing Reusable Communication Models for Distributed Systems Architecture.
+ International Conference On Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018.