| 0 | -- | 0 | Adnan Mahmood, Quan Z. Sheng, Wei Emma Zhang, Yan Wang 0002, Subhash Sagar. Toward a Distributed Trust Management System for Misbehavior Detection in the Internet of Vehicles |
| 0 | -- | 0 | Naomi Stricker, Yingzhao Lian, Yuning Jiang, Colin N. Jones, Lothar Thiele. Self-triggered Control with Energy Harvesting Sensor Nodes |
| 0 | -- | 0 | Yi-Ting Hsieh, Tzu-Tao Chang, Chen-Jun Tsai, Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Chung-Wei Lin, Eunsuk Kang, Chao Huang 0015, Qi Zhu 0002. System Verification and Runtime Monitoring with Multiple Weakly-Hard Constraints |
| 0 | -- | 0 | Théo Serru, Nga Nguyen 0001, Michel Batteux, Antoine Rauzy. Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences |
| 0 | -- | 0 | Abdullah Al Maruf, Luyao Niu, Andrew Clark 0001, J. Sukarno Mertoguno, Radha Poovendran. A Timing-Based Framework for Designing Resilient Cyber-Physical Systems under Safety Constraint |
| 0 | -- | 0 | Sandeep Banik, Thiagarajan Ramachandran, Arnab Bhattacharya 0005, Shaunak D. Bopardikar. Automated Adversary-in-the-Loop Cyber-Physical Defense Planning |