| 0 | -- | 0 | Insup Lee, Miroslav Pajic. Guest Editorial: Special Issue on Medical Cyber-Physical Systems |
| 0 | -- | 0 | Mischa Schmidt, Anett Schülke, Alberto Venturi, Roman Kurpatov, Enrique Blanco Henriquez. Cyber-Physical System for Energy-Efficient Stadium Operation: Methodology and Experimental Validation |
| 0 | -- | 0 | Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson. Cyber-Physical Specification Mismatches |
| 0 | -- | 0 | Daniela De Venuto, Valerio F. Annese, Giovanni Mezzina, Floriano Scioscia, Michele Ruta, Eugenio Di Sciascio, Alberto L. Sangiovanni-Vincentelli. A Mobile Health System for Neurocognitive Impairment Evaluation Based on P300 Detection |
| 0 | -- | 0 | Subhash Lakshminarayana, Zhan-Teng Teo, Rui Tan, David K. Y. Yau. Modeling and Detecting False Data Injection Attacks against Railway Traction Power Systems |
| 0 | -- | 0 | Nicola Paoletti, Andrea Patané, Marta Kwiatkowska. Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers |
| 0 | -- | 0 | Wanli Chang, Dip Goswami, Samarjit Chakraborty, Arne Hamann. OS-Aware Automotive Controller Design Using Non-Uniform Sampling |
| 0 | -- | 0 | Xiaofeng Wang, Naira Hovakimyan, Lui Sha. RSimplex: A Robust Control Architecture for Cyber And Physical Failures |
| 0 | -- | 0 | Eugene Yip, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark L. Trew, Weiwei Ai, Nitish Patel. Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation |
| 0 | -- | 0 | Andre A. Geraldes, Luca Geretti, Davide Bresolin, Riccardo Muradore, Paolo Fiorini, Leonardo S. Mattos, Tiziano Villa. Formal Verification of Medical CPS: A Laser Incision Case Study |
| 0 | -- | 0 | Guillaume Joerger, Juliette Rambourg, Hélène Gaspard-Boulinc, Stéphane Conversy, Barbara Bass, Brian Dunkin, Marc Garbey. A Cyber-Physical System to Improve the Management of a Large Suite of Operating Rooms |
| 0 | -- | 0 | Pasquale Buonocunto, Andrea Giantomassi, Mauro Marinoni, Davide Calvaresi, Giorgio C. Buttazzo. A Limb Tracking Platform for Tele-Rehabilitation |
| 0 | -- | 0 | Rajrup Ghosh, Yogesh Simmhan. Distributed Scheduling of Event Analytics across Edge and Cloud |