default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th ICFEM 2025: Hangzhou, China
- Étienne André
, Jingyi Wang, Naijun Zhan:
Formal Methods and Software Engineering - 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings. Lecture Notes in Computer Science 16229, Springer 2026, ISBN 978-981-95-4212-3 - Kangfeng Ye, Roberto Metere, Jim Woodcock, Poonam Yadav:
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks. 1-21 - Xiaokun Luan, Zemin Wei, Yihao Zhang, Meng Sun:
Automata-Based Steering of Large Language Models for Diverse Structured Generation. 22-41 - Yifan Wu, Yanhong Huang, Jianqi Shi:
LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem Proving. 42-59 - Xiong Xu, Jixiang Miao, Shuling Wang, Jean-Pierre Talpin:
Modeling and Analysis of Cyber-Physical Systems in the Hybrid π-Calculus Using Extended Sequence Diagrams. 60-78 - Hongxu Zhu, Wanwei Liu, Ji Wang:
Neural-Symbolic System Control Adjustment Based on Runtime Verification. 79-96 - Yi-Han Lu, Xue-Yang Zhu, Wenhui Zhang, Rongjie Yan:
Formalizing Requirements into Dafny Specifications with LLMs. 97-116 - Siyu Liu, Liqian Chen, Guangsheng Fan, Banghu Yin, Chun Huang, Ji Wang:
Detecting Vector Container Errors in C++ Programs via Abstract Interpretation. 117-133 - Yi Chen, Xinyi Gong, Liangze Yin, Ji Wang, Ting Wang:
BCCIC3: Batch Clause Construction Enhanced Generalization in IC3. 134-151 - Yifan Shen, Yangyang Shu, Hye-young Paik, Yulei Sui:
MetaLogic: Robustness Evaluation of Text-to-Image Models via Logically Equivalent Prompts. 152-171 - Dumitru-Bogdan Prelipcean, Catalin Dima, Daniele Varacca:
Formal Construction of Threat Detections from Attack Trees. 172-188 - Haibo Li, Lixiao Zheng, Qihang Cai:
A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs. 189-208 - Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li:
ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs. 209-227 - Rui-Juan Jing, Yaru Yuan, Yuxing Cai, Yi Li, Changbo Chen:
Synthesizing Loops from Linear Ranking Functions. 228-246 - Huan Sun, David Sanán, Jun Sun, Wenhai Wang:
Modeling and Verifying Concurrent Reactive Systems Using Separation Logic. 247-265 - Minfan Xu, Shuo Zhou, Xian Xu, Huan Long:
Formal Modeling and Verification of Blockchain Consensus Protocols: A Case Study on ChainMaker. 266-284 - Julian Klein, Kuize Zhang, Sabine Glesner:
A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata. 285-304 - Qing Liu, Yuntao Li, Sungwoo Choi, Luan Viet Nguyen, Hoang-Dung Tran:
Quantitative Verification for Temporal Properties of Massive Linear Systems. 305-328 - Xinpeng Ni, Tianyi Ding, Bican Xia:
Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA. 329-347 - Tianyi Ding, Yuxin Lin, Meng Sun:
Formal Modeling of Reinforcement Learning Systems with SMT. 348-365 - Xiangyu Li:
Towards High-Level SMT Program Modeling: Bounded Integers, Simplified Structs, and Metaprogramming. 366-372 - Manon Lecart, Elena Troubitsyna:
Formal Modelling of Fault Tolerant Robotic Missions. 373-390
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
