From de46afebe12ae1337f42659b41af2b3b89962aea Mon Sep 17 00:00:00 2001 From: Pierre Virelizier Date: Thu, 6 Dec 2018 09:53:45 +0000 Subject: [PATCH] Update Conference --- Conference.md | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/Conference.md b/Conference.md index 8498266..7a3866b 100644 --- a/Conference.md +++ b/Conference.md @@ -1 +1,13 @@ -This translator has supported research activities presented in the following conferences: \ No newline at end of file +This translator has supported research activities presented in the following conferences: + +IMBSA 2017: International Symposium on Model-Based Safety and Assessment + +Paper: Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin and Pierre Virelizier: A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica + +Book: https://www.springer.com/it/book/9783319641188 + + +ERTS2 2018: 9th European Congress Emdedded Real Time Software and Systems + +Paper: Alexandre Albore, Silvano Dal Zilio, Marie de Roquemaurel, Christel Seguin, Pierre Virelizier: Timed Formal Model and Verification of Satellite FDIR in Early Design Phase +https://www.erts2018.org/uploads/program/ERTS_2018_paper_12.pdf \ No newline at end of file