先进制造业知识服务平台
国家科技图书文献中心机械分馆　　工信部产业技术基础公共服务平台　　国家中小企业公共服务示范平台

会议文集


文集名Theoretical Aspects of Software Engineering
会议名19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025)
中译名《第十九届国际软件工程的理论问题研讨会》
会议日期July 14-16, 2025
会议地点Limassol, Cyprus
出版年2026
馆藏号358002


题名作者出版年
Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk)Min Zhang2026
Testing-Based Formal Verification with Program Slicing on Functional Soundness and CompletenessAi Liu; Yang Liu; Shaoying Liu; Zhibin Yang2026
Dependent Assertion Logic for Modular Software VerificationLukas Gratz2026
A Formal Framework for Naturally Specifying and Verifying Sequential AlgorithmsChengxi Yang; Shushu Wu; Qinxiang Cao2026
Machine-Checked Compositional Specification and Proofs for Embedded SystemsKarl Palmskog; Mattias Nyberg; Dilian Gurov2026
Failure Divergence Refinement for Event-BSebastian Stock; Michael Leuschel; Atif Mashkoor2026
Mining Diamonds in Labelled Transition SystemsP. H. M. van Spaendonck; K. H. J. Jilissen2026
Portability of Optimizations from SC to TSOAkshay Gopalakrishnan; Clark Verbrugge2026
Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal VerificationWenda Leng; Meihua Liu; Yufeng Jin2026
SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft ClausesShuhao Chen; Menghua Jiang; Yin Chen2026
Robust Deep Reinforcement Learning Using Formal VerificationAvraham Raviv; Shaiel Vistuch; Boaz Gurevich; Erel Dekel; Hillel Kugler2026
A Formally Verified Neural Network Converter for the Interactive Theorem Prover CoqLeo Alexander Gummersbach; Kim Vollinger; Andrei Aleksandrov2026
COMPASS: An Agent for MLIR Compilation Pass Pipeline GenerationHongbin Zhang; Shihao Gao; Yang Liu; Mingjie Xing; Yanjun Wu; Chen Zhao2026
A Coherent Index for Dichotomy in Version-Controlled RepositoriesLaurent Bulteau; Pierre-Yves David; Florian Horn; Euxane Tran-Girard2026
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs Towards CWE DetectionRichard A. Dubniczky; Krisztofer Zoltan Horvat; Tamas Bisztray; Mohamed Amine Ferrag; Lucas C. Cordeiro; Norbert Tihanyi2026
FAMiT: Mitigating False Alarms for Program Analysis Using Large Language ModelsJiabao Zeng; Yuanlin Li; Ran Zhang; Yuanmin Xie; Kejia Li; Min Zhou2026
A Cross-Domain Data Sharing Scheme Based on Federated BlockchainHonglin Mao; Jie Zhang; Yao Zhang; Xiaohong Li2026
Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMsZiyun Xu; Hao Wang; Meng Sun2026
Detecting Speculative Data Flow Vulnerabilities Using Weakest Precondition ReasoningGraeme Smith2026
Random Testing of Model Checkers for Timed Automata with Automated Oracle GenerationAndrea Manini; Matteo Rossi; Pierluigi San Pietro2026
12



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2025