Presentations for demos

wip.html

@@ -46,19 +46,19 @@ Chris Healy</li>
  			<h4>Tool Presentations and Verification Challenge (<a href="https://waters2015.inria.fr/">WATERS</a>)</h4>
 			<ul>
 				
-				<li>MAST: Modeling and analysis suite for real-time applications<br>
+				<li>MAST: Modeling and analysis suite for real-time applications <a href="files/1.mast-presentation.pdf" target="_blank">(slides)</a><br>
 Michael González Harbour</li>
-<li>IMITATOR: a tool for parametric verification and robustness analysis of real-time systems<br>
+<li>IMITATOR: a tool for parametric verification and robustness analysis of real-time systems <a href="files/2.imitator-tool.pdf" target="_blank">(slides)</a><br>
 Youcheng Sun</li>
-<li>ARTEMIS: A simulator for mixed-criticality management of networked real-time systems<br>
+<li>ARTEMIS: A simulator for mixed-criticality management of networked real-time systems <a href="files/3.ECRTS15_ARTEMISDEMO.pdf" target="_blank">(slides)</a><br>
 Olivier Cros</li>
-<li>MPS-CAN Analyzer: A tool for end-to-end delay analysis of heterogeneous automotive networks<br>
+<li>MPS-CAN Analyzer: A tool for end-to-end delay analysis of heterogeneous automotive networks <a href="files/4.SaadECRTSDemo.pdf" target="_blank">(slides)</a><br>
 Saad Mubeen and Mohammad Ashjaei</li>
-<li>SimSo: A simulator of real-time scheduling algorithms<br>
+<li>SimSo: A simulator of real-time scheduling algorithms <a href="files/5.dalZilio.pdf" target="_blank">(slides)</a><br>
 Silvano Dal Zilio</li>
-<li>A web based monitoring tool for AFDX networks<br>
+<li>A web based monitoring tool for AFDX networks <a href="files/6.coelho_poster.pdf" target="_blank">(slides)</a><br>
 Rodrigo Coelho</li>
-<li>FMTV’15: The Formal Methods for Timing Verification challenge and its solutions<br>
+<li>FMTV’15: The Formal Methods for Timing Verification challenge and its solutions <a href="files/7.ECRTS-FMTV-Challenge.pdf" target="_blank">(slides)</a><br>
 Rafik Henia</li>
 			</ul><br>