| 2025 | EM-Merge: Consolidating Fragmented Templates in LLM Log Parsing. | Qiyue Zhu, Jinyuan Wang, Yani Yang, Tong Li |
| 2025 | A Generic Dynamic Logic for Program Reasoning Based on Operational Semantics. | Yuanrui Zhang, Zhibin Yang |
| 2025 | Risk-Averse Certification of Bayesian Neural Networks. | Xiyue Zhang, Zifan Wang, Yulong Gao, Licio Romao, Alessandro Abate, Marta Kwiatkowska |
| 2025 | MPL - A Flexible Multiprecision Library. | Jonathan Tanner, Christoph Haase |
| 2025 | A Unified Formal Verification for the k-Center Problem. | Qi Sun, Haitao Xu |
| 2025 | VQCS: Verified Quantity Calculus System. | ZhengPu Shi |
| 2025 | ChronosRV: Online Runtime Monitoring and Code Generation for Bounded Temporal Specifications in Low-Latency C++ Trading Systems. | Pengfei Qiu, Jun Zhang, Weiguo Song |
| 2025 | Efficient Decomposition Identification of Deterministic Finite Automata from Examples. | Junjie Meng, Jie An, Yong Li, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang |
| 2025 | Separation Logic with Heap Variables: A Decision Procedure and Its Application. | Xie Li, Yutian Zhu, Taolue Chen, Fu Song, Zhilin Wu |
| 2025 | Strategy-Aware Liquidity for Account-Based Blockchains. | Ximeng Li, Sensen Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhi-Ping Shi |
| 2025 | A Program Logic for Byzantine-Fault-Tolerant Protocols. | Yuwen Kuang, Hongjin Liang, Xinyu Feng |
| 2025 | HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes. | Xiangyu Jin, Bohua Zhan, Shuling Wang, Naijun Zhan |
| 2025 | WEX: Formal Specifications for Windows in Stream Processing. | S. Hitarth, M. Praveen |
| 2025 | FLARE - Monitoring for the Regulatory Requirements of a Drone Case Study. | Sean Fenech, Christian Colombo, Gordon J. Pace, Axel Curmi |
| 2025 | Modular Data Refinement. | David Faitelson, Leonid Shepetovsky, Shmuel S. Tyszberowicz |
| 2025 | Keep it Simple, or Teach Them Logics: Attack-Defense Tree Perception by Laypeople. | Florian Dorfhuber, Marisol Barrientos, Julia Eisentraut, Jan Kretnsk |
| 2025 | Automated Translation of Real-World Codebases: How Far Are We? | Cristina David, Hanliang Zhang, Meng Wang |
| 2025 | Synchronous System Design with Quantitative Types. | Rui Chen, Ingo Sander |
| 2025 | Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-Flow Graphs. | Xuran Cai, Amir Kafshdar Goharshady |
| 2024 | Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. | Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang |
| 2024 | The Principle of Staking: Formal Verification of Staking Smart Contract. | Zhongyun Zhang, Kundu Chen, Weiqi Guo, Wenbo Zhang |
| 2024 | The Design of Intelligent Temperature Control System of Smart House with MARS. | Yihao Yin, Hao Wu, Shuling Wang, Xiong Xu, Fanjiang Xu, Naijun Zhan |
| 2024 | Cache Behavior Analysis with SP-Relative Addressing for WCET Estimation. | Shangshang Xiao, Mengxia Sun, Wei Zhang, Naijun Zhan, Lei Ju |
| 2024 | An Assertion-Based Logic for Local Reasoning about Probabilistic Programs. | Huiling Wu, Anran Cui, Yuxin Deng |
| 2024 | Extending Symbolic Heap to Support Shared Ownership. | Jiyang Wu, Qinxiang Cao |