Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2

S Chakraborty, S Jha, S Samii… - ACM Transactions on …, 2024 - dl.acm.org
Authors' addresses: Samarjit Chakraborty, samarjit@ cs. unc. edu, University of North
Carolina at Chapel Hill, Department of Computer Science, 201 S. Columbia St., Chapel Hill …

Certifiable and Efficient Autonomous Cyber-Physical Systems Design

S Xu, C Hobbs, B Ghosh, PS Duggirala… - … Conference on VLSI …, 2024 - ieeexplore.ieee.org
The ability to certify the correctness of cyber-physical systems often rely on provisioning
resources to account for worst-case behaviors. For example, timing certification necessitates …