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.