4 | -- | 5 | André Ivanov. Cyber-Physplical Systems for Medical Apications |
6 | -- | 8 | Paul Bogdan, Rahul Mangharam. Guest Editors' Introduction: Cyber-Physical Systems for Medical Applications |
9 | -- | 16 | James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, Insup Lee. Parameter-Invariant Design of Medical Alarms |
17 | -- | 26 | Margarida M. Silva, Alexander Medvedev, Torbjörn Wigren, Teresa Mendonça. Modeling the Effect of Intravenous Anesthetics: A Path Toward Individualization |
27 | -- | 34 | Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska. Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage |
35 | -- | 44 | Marilyn Wolf, Mihaela van der Schaar, Honggab Kim, Jie Xu. Caring Analytics for Adults With Special Needs |
45 | -- | 55 | Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum. Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? |
56 | -- | 65 | Arnab Ray, Rance Cleaveland. Security Assurance Cases for Medical Cyber-Physical Systems |
66 | -- | 73 | Anitha Murugesan, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl. Design Considerations for Modeling Modes in Cyber-Physical Systems |
74 | -- | 88 | Brian R. Larson, Yi Zhang, Stephen C. Barrett, John Hatcliff, Paul L. Jones. Enabling Safe Interoperation by Medical Device Virtual Integration |
89 | -- | 97 | Suren Kumar, Pankaj Singhal, Venkat N. Krovi. Computer-Vision-Based Decision Support in Surgical Robotics |
98 | -- | 108 | Marco Beccani, Hakan Tunc, Addisu Taddese, Ekawahyu Susilo, Péter Völgyesi, Ákos Lédeczi, Pietro Valdastri. Systematic Design of Medical Capsule Robots |
115 | -- | 116 | Theo Theocharides. Test Technology TC Newsletter |
119 | -- | 120 | Insup Lee. Medical Cyber-Physical Systems: The Early Years |