Journal: IEEE Design & Test of Computers

Volume 32, Issue 5

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