Journal: TCPS

Volume 4, Issue 4

0 -- 0Yehan Ma, Chenyang Lu 0001, Yebin Wang. Efficient Holistic Control: Self-awareness across Controllers and Wireless Networks
0 -- 0Yunhao Bai, Kuangyu Zheng, Zejiang Wang, Xiaorui Wang, Junmin Wang. MC-Safe: Multi-channel Real-time V2V Communication for Enhancing Driving Safety
0 -- 0Ruizhi Chai, Ying Zhang, Geng Sun, Hongsheng Li. Self-aware Power Management for Maintaining Event Detection Probability of Supercapacitor-powered Cyber-physical Systems
0 -- 0Lukas Esterle, John N. A. Brown. I Think Therefore You Are: Models for Interaction in Collectives of Self-aware Cyber-physical Systems
0 -- 0Axel Jantsch, Peter R. Lewis, Nikil D. Dutt. Introduction to the Special Issue on Self-Aware Cyber-physical Systems
0 -- 0Hong Lu 0005, Tao Yue 0002, Shaukat Ali 0001. Pattern-based Interactive Configuration Derivation for Cyber-physical System Product Lines
0 -- 0Adrian E. Sapio, Shuvra S. Bhattacharyya, Marilyn Wolf. Runtime Adaptation in Wireless Sensor Nodes Using Structured Learning
0 -- 0Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo. Software Fault Tolerance for Cyber-Physical Systems via Full System Restart
0 -- 0Mohammad Khayatian, Mohammadreza Mehrabian, Edward Andert, Rachel Dedinsky, Sarthake Choudhary, Yingyan Lou, Aviral Shirvastava. A Survey on Intersection Management of Connected Autonomous Vehicles
0 -- 0Craig Bakker, Arnab Bhattacharya, Samrat Chatterjee, Draguna L. Vrabie. Hypergames and Cyber-Physical Security for Control Systems
0 -- 0Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit Seshia, Alberto L. Sangiovanni-Vincentelli. Gordian: Formal Reasoning-based Outlier Detection for Secure Localization
0 -- 0Kirstie L. Bellman, Christopher Landauer, Nikil D. Dutt, Lukas Esterle, Andreas Herkersdorf, Axel Jantsch, Nima Taherinejad, Peter R. Lewis, Marco Platzner, Kalle Tammemäe. Self-aware Cyber-Physical Systems

Volume 4, Issue 3

0 -- 0Ke Huang, Xiaosong Zhang, Xiaofen Wang, Yi Mu 0001, Fatemeh Rezaeibagha, Guangquan Xu, Hao Wang 0003, Xi Zheng 0001, Guomin Yang, Qi Xia, Xiaojiang Du. HUCDO: A Hybrid User-centric Data Outsourcing Scheme
0 -- 0Di Wu, Hanlin Zhu, Yongxin Zhu 0001, Victor Chang 0001, Cong He, Ching-Hsien Hsu, Hui Wang 0036, Songlin Feng, Li Tian, Zunkai Huang. Anomaly Detection Based on RBM-LSTM Neural Network for CPS in Advanced Driver Assistance System
0 -- 0Deepak Puthal, Laurence T. Yang, Schahram Dustdar, Zhenyu Wen, Jun Song 0003, Aad van Moorsel, Rajiv Ranjan. A User-centric Security Solution for Internet of Things and Edge Convergence
0 -- 0Mohammad Hadi Alaeiyan, Ali Dehghantanha, Tooska Dargahi, Mauro Conti, Saeed Parsa. A Multilabel Fuzzy Relevance Clustering System for Malware Attack Attribution in the Edge Layer of Cyber-Physical Networks
0 -- 0Mohammadreza Fakhari Moghaddam Arani, Deepa Kundur. A User-centric Approach toward Resilient Frequency-regulating Wind Generators
0 -- 0Meriem Guerar, Luca Verderame, Alessio Merlo, Francesco Palmieri, Mauro Migliardi, Luca Vallerini. CirclePIN: A Novel Authentication Mechanism for Smartwatches to Prevent Unauthorized Access to IoT Devices
0 -- 0Ding Wang 0002, Ping Wang 0003, Chenyu Wang. Efficient Multi-Factor User Authentication Protocol with Forward Secrecy for Real-Time Data Access in WSNs
0 -- 0Zhenyong Zhang, Ruilong Deng, David K. Y. Yau, Peng Cheng 0001, Jiming Chen. On Hiddenness of Moving Target Defense against False Data Injection Attacks on Power Grid
0 -- 0Vuk Lesi, Ilija Jovanov, Miroslav Pajic. Integrating Security in Resource-Constrained Cyber-Physical Systems
0 -- 0George Hatzivasilis, Othonas Soultatos, Sotiris Ioannidis, George Spanoudakis, Vasilios Katos, Giorgos Demetriou. MobileTrust: Secure Knowledge Integration in VANETs
0 -- 0Ali Tamimi, Adam Hahn, Sandip Roy. Cyber Threat Impact Analysis to Air Traffic Flows Through Dynamic Queue Networks
0 -- 0Zhicheng Fu, Chunhui Guo, Zhenyu Zhang 0009, Shangping Ren, Lui Sha. UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models
0 -- 0Neetesh Saxena, Alvaro A. Cárdenas, Raheem Beyah, Rongxing Lu, Kim-Kwang Raymond Choo, Yiran Chen. Introduction to the Special Issue on User-Centric Security and Safety for CPS

Volume 4, Issue 2

0 -- 0Voica Gavrilut, Paul Pop. Traffic-type Assignment for TSN-based Mixed-criticality Cyber-physical Systems
0 -- 0Sirajum Munir, Hao-Tsung Yang, Shan Lin, S. M. Shahriar Nirjon, Chen Lin, Enamul Hoque, John A. Stankovic, Kamin Whitehouse. Reliable Communication and Latency Bound Generation in Wireless Cyber-Physical Systems
0 -- 0Meiyi Ma, Sarah Masud Preum, Mohsin Y. Ahmed, William Tärneberg, Abdeltawab M. Hendawi, John A. Stankovic. Data Sets, Modeling, and Decision Making in Smart Cities: A Survey
0 -- 0James Harbin, Alan Burns, Robert I. Davis, Leandro Soares Indrusiak, Iain Bate, David Griffin. The AirTight Protocol for Mixed Criticality Wireless CPS
0 -- 0Li Yan 0004, Haiying Shen. TOP: Optimizing Vehicle Driving Speed with Vehicle Trajectories for Travel Time Minimization and Road Congestion Avoidance
0 -- 0Christopher Pereyda, Nisha Raghunath, Bryan David Minor, Garrett Wilson, Maureen Schmitter-Edgecombe, Diane J. Cook. Cyber-physical Support of Daily Activities: A Robot/Smart Home Partnership
0 -- 0Mohammad Khayatian, Yingyan Lou, Mohammadreza Mehrabian, Aviral Shirvastava. Crossroads+: A Time-aware Approach for Intersection Management of Connected Autonomous Vehicles
0 -- 0Dominik Baumann, Fabian Mager, Romain Jacob, Lothar Thiele, Marco Zimmerling, Sebastian Trimpe. Fast Feedback Control over Multi-hop Wireless Networks with Mode Changes and Stability Guarantees
0 -- 0Kai Li 0002, Wei Ni 0001, Yousef Emami, Yiran Shen 0001, Ricardo Severino, David Pereira, Eduardo Tovar. Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems
0 -- 0Leonardo Babun, Hidayet Aksu, A. Selcuk Uluagac. A System-level Behavioral Detection Framework for Compromised CPS Devices: Smart-Grid Case

Volume 4, Issue 1

0 -- 0Subhojeet Mukherjee, Jeffrey C. Van Etten, Namburi Rani Samyukta, Jacob Walker, Indrakshi Ray, Indrajit Ray. TruckSTM: Runtime Realization of Operational State Transitions for Medium and Heavy Duty Vehicles
0 -- 0Sebastian van de Hoef, Jonas Mårtensson, Dimos V. Dimarogonas, Karl Henrik Johansson. A Predictive Framework for Dynamic Heavy-Duty Vehicle Platoon Coordination
0 -- 0Woo Hyun Ko, Bharadwaj Satchidanandan, P. R. Kumar. Dynamic Watermarking-based Defense of Transportation Cyber-physical Systems
0 -- 0Rajesh P. Barnwal, Nirnay Ghosh, Soumya K. Ghosh, Sajal K. Das 0001. Publish or Drop Traffic Event Alerts? Quality-aware Decision Making in Participatory Sensing-based Vehicular CPS
0 -- 0Chongguang Bi, Jun Huang 0001, Guoliang Xing, Landu Jiang, Xue Liu 0001, Minghua Chen. SafeWatch: A Wearable Hand Motion Tracking System for Improving Driving Safety
0 -- 0BaekGyu Kim, Takato Masuda, Shinichi Shiraishi. Test Specification and Generation for Connected and Autonomous Vehicle in Virtual Environments
0 -- 0Samarjit Chakraborty, Tian He. Introduction to the Special Issue on Transportation Cyber-Physical Systems
0 -- 0Bowen Zheng, Chung-Wei Lin, Shinichi Shiraishi, Qi Zhu 0002. Design and Analysis of Delay-Tolerant Intelligent Intersection Management
0 -- 0Mikael Asplund. Combining Detection and Verification for Secure Vehicular Cooperation Groups
0 -- 0Mostafa Gilanifar, Hui Wang, Eren Erman Ozguven, Yuxun Zhou, Reza Arghandeh. Bayesian Spatiotemporal Gaussian Process for Short-term Load Forecasting Using Combined Transportation and Electricity Data
0 -- 0Hoon Wei Lim, William G. Temple, Bao Anh N. Tran, Binbin Chen, Zbigniew Kalbarczyk, Jianying Zhou 0001. Data Integrity Threats and Countermeasures in Railway Spot Transmission Systems
0 -- 0Carmen Cheh, Binbin Chen, William G. Temple, William H. Sanders. Modeling Adversarial Physical Movement in a Railway Station: Classification and Metrics
0 -- 0Yue Guan, Anuradha M. Annaswamy, H. Eric Tseng. A Dynamic Routing Framework for Shared Mobility Services