• Measuring Performance of Middleware Technologies for Medical Systems: Ice vs AMQP
  Paloma Rubio-Conde, Diego Villarán-Molina, Marisol García-Valls
  Universidad Carlos III de Madrid, Spain
  
• Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees
  Zhihao Jiang¹, Houssam Abbas¹, Pieter J. Mosterman², Rahul Mangharam^{1
  1} University of Pennsylvania, USA
  ² McGill University, Canada and MathWorks, USA
  
• Model-Based Falsification of an Artificial Pancreas Control System
  Sriram Sankaranarayanan¹, Suhas Akshar Kumar¹, Faye Cameron², B. Wayne Bequette², Georgios Fainekos³ and David M. Maahs^{4
  1} University of Colorado, USA
  ² Rensselaer Polytechnic Institute, USA
  ³ Arizona State University, USA
  ⁴ University of Colorado, USA
  
• Protecting Interoperable Clinical Environment with Authentication
  Liang Cheng¹, Zhangtan Li², Yi Zhang³, Yang Zhang², Insup Lee^{1
  1} University of Pennsylvania, USA
  ² Chinese Academy of Sciences, China
  ³ US Food and Drug Administration, USA
  
• Support for Safety Case Generation via Model Transformation
  Wuwei Shen¹, Chung-Ling Lin¹, Richard Hawkins^{2
  1} Western Michigan University, USA
  ² The University of York, UK
  
• Flexible and Timely On-line Integration of Medical Services Using iLand Middleware
  Marisol García-Valls¹, Natividad Herrasti², Christophe Jouvray³, Aintzane Armentia ^{4
  1} Universidad Carlos III de Madrid, Spain
  ² Embedded Technologies, Spain
  ³ Trialog, France
  ⁴ University of the Basque Country, Spain