Abstract is missing.
- Distributed computing on bittide systemsSanjay Lall. 1 [doi]
- Formal Design of Safety-critical Embedded SystemsNaijun Zhan. 2 [doi]
- Compositional training for Safe AI-based Cyber-Physical SystemsSobhan Chatterjee, Saumya Shankar, Partha S. Roop. 3-15 [doi]
- Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function BlocksSteph Wu, Nathan Allen, Alex Baird, Hammond Pearce, Partha Roop. 16-27 [doi]
- Coherence-Aware Task Graph Modeling for Realistic ApplicationGuochu Xiong, Xiangzhong Luo, Weichen Liu. 28-37 [doi]
- Contract-based Component Selection Using BehaviorsSheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli. 38-46 [doi]
- Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback CompositionSheng-Jung Yu, Alberto L. Sangiovanni-Vincentelli. 47-56 [doi]
- Hyperproperty-Constrained Secure Reinforcement LearningErnest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque. 57-61 [doi]
- Efficient compilation and execution of synchronous programs via type-state programmingAvinash Malik. 62-66 [doi]
- Formal Analysis of Fault Propagation in Complex Digital SystemsDamiano Zuccalà, Samuel Hon, Mohammad Reza Heidari Iman, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory. 67-71 [doi]
- Optimal Real-time Inter-zone Message Communication via Ethernet Backbone in Software Defined VehiclesAshiqur Rahaman Molla, Ram Mohan Chowdary Kota, Jaishree Mayank, Arnab Sarkar 0001, Arijit Mondal, Soumyajit Dey. 72-80 [doi]
- Optimising the Scheduling of System Level Logical Execution Time SystemsJamie Lee, Nathan Allen, Matthew M. Y. Kuo, Eugene Yip. 81-85 [doi]
- Automated Power Domain Insertion and Control in Dataflow CircuitsMartha Barker, Mark Santolucito, Stephen A. Edwards, Martha A. Kim. 86-90 [doi]
- Time Aware Compilation Verified: A Category-Theoretic Approach in RocqBenjamin Lion, David Nowak. 91-99 [doi]
- Formal Methods for Cryogenic Cyber Physical Systems (CCPS)Duleepa J. Thrimawithana, Partha S. Roop, Sobhan Chatterjee, Maryam Hemmati. 100-110 [doi]
- Tuning into my heart through wearables: Towards a formal cardiac digital twinPartha S. Roop, Nathan Allen, Shahab Kazemi. 111-121 [doi]