logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
arrow
返回期刊详情
I

INTEGRATED FORMAL METHODS, IFM 2025

IF
论文数23
被引数
期刊论文 23
发表时间
delete
Formal Verification of Legal Contracts: A Translation-Based Approach法律合同的形式化验证：一种基于翻译的方法
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHaehnlei, Reiner; Laneve, Cosimo; Veschetti, Adele
delete分享
delete收藏
CHC-Based Reachability Analysis via Cycle Summarization基于CHC的可达性分析通过循环概括
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBritikov, Konstantin; Fedyukovich, Grigory; Sharygina, Natasha
delete分享
delete收藏
Online Model Checking for Anomaly Detection in Industrial Control Systems工业控制系统异常检测的在线模型检测
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFraser, Douglas; Miller, Alice; Cook, Marco; PezarosL, Dimitrios
delete分享
delete收藏
The CAISAR Platform: Extending the Reach of Machine Learning Specification and VerificationCAISAR平台：扩展机器学习规范与验证的适用范围
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAlberti, Michele; Bobot, Francois; Girard-Satabin, Julien; Grastien, Alban; Varasse, Aymeric; Chihani, Zakaria
delete分享
delete收藏
From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes从 zonotopes 到证明证书：安全控制包络的正式管道
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHellwig, Jonathan; Schaefer, Lukas; Qian, Long; Platzerl, Andre; Althoff, Matthias
delete分享
delete收藏
Reachability Analysis of Function-as-a-Service Scheduling Policies函数即服务调度策略的可达性分析
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteDe Palma, Giuseppe; Giallorenzo, Saverk; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
delete分享
delete收藏
Concurrency Under Control: Systematic Analysis of SDN Races Hazards在控制下的并发：SDN竞态风险系统化分析
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCaltais, Georgiana; Covaci, Andrei; Hojjat, Hossein
delete分享
delete收藏
Formal Modeling of Trust in Autonomous Delivery Vehicles自主配送车辆的信任形式化建模
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteAltamimi, Manar; Fathabadi, Asieh Salehi; Yazdanpanah, Vahid
delete分享
delete收藏
Safe Temperature Regulation: Formally Verified and Real-World Validated安全温度调节：形式化验证和真实世界验证
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteIsasa, Carlos; El Wafa, Noah Abou; Gomes, Claudio; Larsen, Peter Gorm; Platzer, Andre
delete分享
delete收藏
When Separation Arithmetic is Enough当分离算法足够时
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFilliatre, Jean-Christophe; Paskevich, Andrei; Danvy, Olivier
delete分享
delete收藏
Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees使用线索红黑树验证关联容器的迭代器实现
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteBlazquez, Jorge; Montenegro, Manuel; Segura, Clara
delete分享
delete收藏
Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment Plants利用贝叶斯推断和流管构造来约束废水处理厂中生物气体产量的预测
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteChapin, Fletcher; Varma, Ankur; Akinwande, Samuel; Mauter, Meagan; Sankaranarayanan, Sriram
delete分享
delete收藏
Model Checking Buffered Durable Linearizability in CSPCSP中缓冲持久线性化的模型检测
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteEdmonds, Chelsea; Derrick, John; Dongol, Brijesh; Schellhorn, Gerhard; Wehrheim, Heike
delete分享
delete收藏
Extending Timed Automata with Clock Derivatives为时序自动机扩展时钟导数
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteCortes, David; Leneutrei, Jean; Malvone, Vadim; Ortiz, James; Schobbens, Pierre-Yves
delete分享
delete收藏
Distributed Timed Scenarios分布式定时场景
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteSaeedloei, Neda; Klukliak, Feliks
delete分享
delete收藏
Quick Theory Exploration for Algebraic Data Types via Program Transformations通过程序转换对代数数据类型的快速理论探索
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteErnst, Gidon; Fedyukovich, Grigory
delete分享
delete收藏
Game Modeling of Blockchain Protocols区块链协议的游戏建模
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteRain, Sophie; Komel, Anja Petkovi; Rawson, Michael; Kovacsk, Laura
delete分享
delete收藏
Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+闪电网络的安全性：使用TLA+对逐步精化进行模型检测
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteGrundmann, Matthias; Hartenstein, Hannes
delete分享
delete收藏
Auto-Generating Visual Editors for Formal Logics with Blockly基于Blockly的形式逻辑自动生成可视化编辑器
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteFerrando, Angelo; Lu, Peng; Malvone, Vadim
delete分享
delete收藏
Formal Verification of PKCS#1 Signature Parser Using Frama-C使用Frama-C对PKCS#1签名解析器进行形式验证
deleteINTEGRATED FORMAL METHODS, IFM 2025
IF0
delete2026-01-01
delete0
PREAI
deleteHana, Martin; Kosmatov, Nikolai; Prevosto, Virgile; Signoles, Julien
delete分享
delete收藏