Abstract is missing.
- *)Bassem Ghorbel, Vinayak S. Prabhu. 1-11 [doi]
- Modelling and proving the monotonicity of processor pipelines in CoqAlban Gruin, Armelle Bonenfant, Thomas Carle, Christine Rochange. 12-21 [doi]
- Safety and Progress Proofs of a Reactive Autonomous Racing AlgorithmAbolfazl Karimi, Manish Goyal 0002, Parasara Sridhar Duggirala. 22-33 [doi]
- Model-free PAC Time-Optimal Control Synthesis with Reinforcement LearningMengyu Liu, Pengyuan Lu, Xin Chen 0002, Oleg Sokolsky, Insup Lee 0001, Fanxin Kong. 34-45 [doi]
- Exploring Compositional Neural Networks for Real-Time SystemsSobhan Chatterjee, Nathan Allen, Nitish D. Patel, Partha S. Roop. 46-57 [doi]
- MaLT: Machine-Learning-Guided Test Case Design and Fault Localization of Complex Software SystemsYi Ji, Simon Mak, Ryan Lekivetz, Joseph Morgan. 58-62 [doi]
- Logical Synchrony Plus Functional Processes Entail Observable DeterminacySanjiva Prasad. 63-68 [doi]
- Self-Powering Dataflow Networks - Concepts and ImplementationAbrarul Karim, Joachim Falk, Dennis Schmidt, Jürgen Teich. 69-74 [doi]
- Neuro-symbolic Generative AI Assistant for System DesignSusmit Jha, Sumit Kumar Jha 0001, Alvaro Velasquez. 75-76 [doi]
- Formal Fault Injection in Digital Blocks with Mined AssertionsDamiano Zuccalà, Paul Breuil, Jean-Marc Daveau, Philippe Roche, Katell Morin-Allory. 77-86 [doi]
- Higher-order Hardware: Implementation and Evaluation of the Cephalopode Graph Reduction ProcessorJeremy Pope, Carl-Johan H. Seger, Henrik Valter. 87-97 [doi]
- Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPSKurt M. Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, Zhishan Guo. 98-102 [doi]
- Configuring Safe Spiking Neural Controllers for Cyber-Physical Systems through Formal VerificationArkaprava Gupta, Sumana Ghosh, Ansuman Banerjee, Swarup Kumar Mohalik. 103-107 [doi]
- Safety Assurance for Autonomous Systems with Multiple Sensor ModalitiesAnand Balakrishnan 0001, Rohit Bernard, Shreeram Narayanan, Vidisha Kudalkar, Yiqi Zhao, Parinitha Nagaraja, Georgi A. Markov, Christof J. Budnik, Helmut Degen, Lars Lindemann, Jyotirmoy V. Deshmukh. 108-113 [doi]
- Efficient Coordination for Distributed Discrete-Event SystemsByeong-Gil Jun, Edward A. Lee, Marten Lohstroh, Hokeun Kim. 114-118 [doi]
- Pragmatic Action ChartsSteven Smyth. 119-123 [doi]
- Perception-based Runtime Monitoring and Verification for Human-Robot Construction SystemsApala Pramanik, Sung Woo Choi, Yuntao Li, Luan Viet Nguyen, Kyungki Kim, Hoang-Dung Tran. 124-134 [doi]