| 8 | -- | 14 | Paloma Rubio-Conde, Diego Villarán-Molina, Marisol García-Valls. Measuring performance of middleware technologies for medical systems: Ice vs AMQP |
| 15 | -- | 23 | Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, Rahul Mangharam. Automated closed-loop model checking of implantable pacemakers using abstraction trees |
| 24 | -- | 33 | Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios E. Fainekos, David M. Maahs. Model-based falsification of an artificial pancreas control system |
| 34 | -- | 43 | Liang Cheng, Zhangtan Li, Yi Zhang, Yang Zhang, Insup Lee. Protecting interoperable clinical environment with authentication |
| 44 | -- | 52 | Chung-Ling Lin, Wuwei Shen, Richard Hawkins. Support for safety case generation via model transformation |
| 53 | -- | 60 | Marisol García-Valls, Natividad Herrasti, Christophe Jouvray, Aintzane Armentia. Flexible and timely on-line integration of medical services using iLand middleware |