Abstract is missing.
- UCLID5: Integrating Modeling, Verification, Synthesis and LearningSanjit A. Seshia, Pramod Subramanyan. 1-10 [doi]
- It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware DataflowMladen Skelin, Marc Geilen. 11-21 [doi]
- Run-time Requirement Enforcement for Loop Programs on Processor ArraysMichael Witterauf, Jürgen Teich. 22-32 [doi]
- Synchronous neural networks for cyber-physical systemsPartha S. Roop, Hammond A. Pearce, Keyan Monadjem. 33-42 [doi]
- Towards Dependability Metrics for Neural NetworksChih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka. 43-46 [doi]
- Model Order Reduction of Nonlinear Circuit using Proper Orthogonal Decomposition and Nonlinear Autoregressive with eXogenous input (NARX) Neural NetworkS. Nagaraj, D. Seshachalam, Sunil Hucharaddi. 47-50 [doi]
- Security of Pacemakers using Runtime VerificationSrinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider. 51-61 [doi]
- Formal Analysis and Verification of DDS in ROS2Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang. 62-66 [doi]
- Quotient for Assume-Guarantee ContractsInigo Incer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang. 67-77 [doi]
- A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow NetworksJonatan Wiik, Johan Ersfolk, Marina A. Waldén. 78-87 [doi]
- Hierarchical Behavior Annex: Towards an AADL Functional Specification ExtensionJinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali. 88-98 [doi]
- Optimal Self-Routing Split Modules for Radix-based Interconnection NetworksTripti Jain, Klaus Schneider 0001. 99-108 [doi]
- Desynchronization: From Macro-step to Micro-stepYu Bai. 109-118 [doi]