From 2ca63a2ece8b922ab6b488651f46f59effb53c70 Mon Sep 17 00:00:00 2001 From: Quentin Rouland Date: Wed, 20 Nov 2019 12:57:13 +0100 Subject: [PATCH] Update publication --- index.html | 13 ++++++++----- js/translate.js | 4 ++-- 2 files changed, 10 insertions(+), 7 deletions(-) diff --git a/index.html b/index.html index 3919f6f..1ec34fa 100644 --- a/index.html +++ b/index.html @@ -257,7 +257,10 @@

- Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formalizing Reusable Communication Models for Distributed Systems Architecture (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. + 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.

@@ -301,7 +304,7 @@ Algo - Licence 1 (28h TP)

- Projet S2 - Licence 1 (12h TP) + Projet S2 - Licence 1 (12h Projet)

@@ -326,7 +329,7 @@ Algo - Licence 1 (28h TP)

- Projet S2 - Licence 1 (12h TP) + Projet S2 - Licence 1 (12h Projet)

Théorie de l'information - Licence 1 (12h TP) @@ -351,10 +354,10 @@ Génie logiciel - Licence 3 (20h TP)

- Projet S3 - Licence 2 (11h TP) + Projet S3 - Licence 2 (11h Projet)

- Projet S2 - Licence 1 (12h TP) + Projet S2 - Licence 1 (12h Projet)

Théorie de l'information - Licence 1 (12h TP) diff --git a/js/translate.js b/js/translate.js index ee27b7c..9101f58 100644 --- a/js/translate.js +++ b/js/translate.js @@ -31,7 +31,7 @@ i18next experiences: { title: "Professionnal Experiences", phd: { - title: "2017-present - PhD Student in IT", + title: "2017-present (2 years and +) - PhD Student in IT", location: "IRIT, Toulouse, France (31)", }, engie: { @@ -116,7 +116,7 @@ i18next experiences: { title: "Expériences Professionelles", phd: { - title: "2017-present - Doctorant en Informatique", + title: "2017-present (2 ans et +) - Doctorant en Informatique", location: "IRIT, Toulouse, France (31)", }, engie: {