Abstract is missing.
- Automated Translation of Real-World Codebases: How Far Are We?Cristina David, Hanliang Zhang, Meng Wang 0002. 3-10 [doi]
- Synchronous System Design with Quantitative TypesRui Chen, Ingo Sander. 13-32 [doi]
- Modular Data RefinementDavid Faitelson, Leonid Shepetovsky, Shmuel S. Tyszberowicz. 33-56 [doi]
- Keep it Simple, or Teach Them Logics: Attack-Defense Tree Perception by LaypeopleFlorian Dorfhuber, Marisol Barrientos, Julia Eisentraut, Jan Kretínský. 57-77 [doi]
- MPL - A Flexible Multiprecision LibraryJonathan Tanner, Christoph Haase. 78-90 [doi]
- A Generic Dynamic Logic for Program Reasoning Based on Operational SemanticsYuanrui Zhang 0001, Zhibin Yang. 93-112 [doi]
- HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential ProcessesXiangyu Jin, Bohua Zhan, Shuling Wang 0003, Naijun Zhan. 113-133 [doi]
- Separation Logic with Heap Variables: A Decision Procedure and Its ApplicationXie Li, Yutian Zhu, Taolue Chen 0001, Fu Song, Zhilin Wu. 134-153 [doi]
- VQCS: Verified Quantity Calculus SystemZhengPu Shi. 154-173 [doi]
- Efficient Decomposition Identification of Deterministic Finite Automata from ExamplesJunjie Meng, Jie An 0001, Yong Li 0031, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang 0003. 177-195 [doi]
- FLARE - Monitoring for the Regulatory Requirements of a Drone Case StudySean Fenech, Christian Colombo 0001, Gordon J. Pace, Axel Curmi. 199-219 [doi]
- ChronosRV: Online Runtime Monitoring and Code Generation for Bounded Temporal Specifications in Low-Latency C++ Trading SystemsPengfei Qiu, Jun Zhang, Weiguo Song. 220-235 [doi]
- A Unified Formal Verification for the k-Center ProblemQi Sun, Haitao Xu 0004. 239-256 [doi]
- WEX: Formal Specifications for Windows in Stream ProcessingS. Hitarth, M. Praveen. 257-276 [doi]
- Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-Flow GraphsXuran Cai, Amir Kafshdar Goharshady. 277-295 [doi]
- Risk-Averse Certification of Bayesian Neural NetworksXiyue Zhang 0001, Zifan Wang 0002, Yulong Gao 0001, Licio Romao, Alessandro Abate, Marta Kwiatkowska. 299-317 [doi]
- EM-Merge: Consolidating Fragmented Templates in LLM Log ParsingQiyue Zhu, Jinyuan Wang, Yani Yang, Tong Li 0001. 318-338 [doi]
- Strategy-Aware Liquidity for Account-Based BlockchainsXimeng Li 0003, Sensen Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhi-Ping Shi 0002. 341-362 [doi]
- A Program Logic for Byzantine-Fault-Tolerant ProtocolsYuwen Kuang, Hongjin Liang 0001, Xinyu Feng 0001. 363-382 [doi]