From 5f4a8f314b558fb347f923e243673a5a353d4f18 Mon Sep 17 00:00:00 2001
From: Martina Maggio <maggio.martina@gmail.com>
Date: Tue, 7 Jul 2015 14:30:38 +0200
Subject: [PATCH] Sophie demo

---
 wip.html | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/wip.html b/wip.html
index 6e9bb63..91f2367 100644
--- a/wip.html
+++ b/wip.html
@@ -43,10 +43,24 @@ and Cristina Seceleanu</li>
 Chris Healy</li>
 			</ul><br>
 
-<!-- 			<h4>Demo Briefings</h4>
+ 			<h4>Tool Presentations and Verification Challenge (<a href="https://waters2015.inria.fr/">WATERS</a>)</h4>
 			<ul>
-				<li></li>
-			</ul><br> -->
+				
+				<li>MAST: Modeling and analysis suite for real-time applications<br>
+Michael González Harbour</li>
+<li>IMITATOR: a tool for parametric verification and robustness analysis of real-time systems<br>
+Youcheng Sun</li>
+<li>ARTEMIS: A simulator for mixed-criticality management of networked real-time systems<br>
+Olivier Cros</li>
+<li>MPS-CAN Analyzer: A tool for end-to-end delay analysis of heterogeneous automotive networks<br>
+Saad Mubeen and Mohammad Ashjaei</li>
+<li>SimSo: A simulator of real-time scheduling algorithms<br>
+Silvano Dal Zilio</li>
+<li>A web based monitoring tool for AFDX networks<br>
+Rodrigo Coelho</li>
+<li>FMTV’15: The Formal Methods for Timing Verification challenge and its solutions<br>
+Rafik Henia</li>
+			</ul><br>
 
 			<h4>Call for Actions</h4>
 			<ul>
-- 
GitLab