


default search action
ACM Transactions on Cyber-Physical Systems, Volume 9
Volume 9, Number 1, January 2025
- Michael J. Weisman, Alexander Kott, Jason E. Ellis, Brian J. Murphy, Travis W. Parker, Sidney C. Smith, Joachim Vandekerckhove:
Quantitative Measurement of Cyber Resilience: Modeling and Experimentation. 1:1-1:25 - Debabrata Senapati, Pooja Bhagat, Chandan Karfa, Arnab Sarkar:
SHIELD: Security-Aware Scheduling for Real-Time DAGs on Heterogeneous Systems. 2:1-2:29 - Inigo Incer, Apurva Badithela, Josefine B. Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design. 3:1-3:35 - Rajasree Sarkar, Arunava Banerjee, Ehsan Hashemi:
Adaptive Time-Delay Control for Cooperative Platooning Considering Slip. 4:1-4:22 - Muhammad Haris Rais, Muhammad Ahsan, Irfan Ahmed:
Sabotaging Material Extrusion-Based 3D Printed Parts through Low-Magnitude Kinetic Manipulation Attacks. 5:1-5:26 - Amar Banerjee, Venkatesh Choppella:
Control Software Engineering Approaches for Cyber-Physical Systems: A Systematic Mapping Study. 6:1-6:33
- Kuan-Hsun Chen, Jing Li, Federico Reghenzani, Jian-Jia Chen:
Introduction to the Special Issue on Fault-Resilient Cyber-Physical Systems - Part 2. 7:1-7:2 - Michael Rogenmoser, Yvan Tortorella, Davide Rossi, Francesco Conti, Luca Benini:
Hybrid Modular Redundancy: Exploring Modular Redundancy Approaches in RISC-V Multi-core Computing Clusters for Reliable Processing in Space. 8:1-8:29 - Che-Chia Lin, Wei-Hsu Chu, Chia-Hsuan Chang, Hui-Hsin Liao, Chun-Chieh Yang, Jenq-Kuen Lee, Yi-Ping You, Tien-Yuan Hsieh:
Support of MISRA C++ Analyzer for Reliability of Embedded Systems. 9:1-9:27 - Sepideh Safari, Shayan Shokri, Shaahin Hessabi, Pejman Lotfi-Kamran:
LEC-MiCs: Low-Energy Checkpointing in Mixed-Criticality Multicore Systems. 10:1-10:29 - Dionisio de Niz, Björn Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim, Gabriel A. Moreno:
Mixed-trust Computing: Safe and Secure Real-time Systems. 11:1-11:25 - Amr S. Mohamed, Deepa Kundur, Mohsen Khalaf:
A Probabilistic Approach to Adaptive Protection in the Smart Grid. 12:1-12:29

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.