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

Formal Methods in System Design

IF0.8
论文数11
被引数
期刊论文 11
发表时间
delete
Linear temporal constraints for sketch-based synthesizers基于草图合成的线性时间约束
deleteFormal Methods in System Design
IF0.8
delete2026-05-12
delete0
deleteOAAI
deleteGalicia-Mendoza, Fernando A.; Rosenblueth, David A.; Solar-Lezama, Armando
delete分享
delete收藏
A program instrumentation framework for automatic verification用于自动验证的程序插桩框架
deleteFormal Methods in System Design
IF0.8
delete2026-03-20
delete0
PREAI
deleteAmilon, Jesper; Esen, Zafer; Gurov, Dilian; Lidstrom, Christian; Rummer, Philipp; Voorberg, Marten
delete分享
delete收藏
Symbolic computer algebra for multipliers revisited - demonstrating the significance of order and phase optimization符号计算机代数在乘子中的应用再探——展示顺序和相位优化的重要性
deleteFormal Methods in System Design
IF0.8
delete2026-03-19
delete0
PREAI
deleteKonrad, Alexander; Scholl, Christoph
delete分享
delete收藏
Search and explore: symbiotic policy synthesis in POMDPs搜索与探索：POMDPs中的共生策略综合
deleteFormal Methods in System Design
IF0.8
delete2026-02-01
delete0
PREAI
deleteAndriushchenko, Roman; Bork, Alexander; Ceska, Milan; Junges, Sebastian; Katoen, Joost-Pieter; Macak, Filip
delete分享
delete收藏
Modular analysis of distributed hybrid systems using post-regions分布式混合系统的模块化分析使用后区域
deleteFormal Methods in System Design
IF0.8
delete2026-02-01
delete0
PREAI
deleteKamburjan, Eduard
delete分享
delete收藏
A scalable anytime algorithm for learning fragments of linear temporal logic可扩展的任意时刻算法用于学习线性时态逻辑片段
deleteFormal Methods in System Design
IF0.8
delete2026-01-08
delete0
PREAI
deleteRaha, Ritam; Roy, Rajarshi; Fijalkow, Nathanael; Neider, Daniel
delete分享
delete收藏
Formal methods for mobile ad hoc networks: a survey移动自组织网络的形式化方法：综述
deleteFormal Methods in System Design
IF0.8
delete2025-12-15
delete0
PREAI
deleteFokkink, Wan; van Glabbeek, Rob
delete分享
delete收藏
Preserving provability over GPU program optimizations with annotation-aware transformations在GPU程序优化中通过标注感知转换来保持可证明性
deleteFormal Methods in System Design
IF0.8
delete2025-11-01
delete0
PREAI
deleteSakar, Omer; Safari, Mohsen; Huisman, Marieke; Wijs, Anton
delete分享
delete收藏
Bounded satisfiability checking of FOL* formulas with aggregations包含聚集的FOL*公式的有界可满足性检验
deleteFormal Methods in System Design
IF0.8
delete2025-11-01
delete0
PREAI
deleteFeng, Nick; Marsso, Lina; Kholodetska, Yuliia; Chechik, Marsha
delete分享
delete收藏
Formalization of robot collision detection method based on conformal geometric algebra基于共形几何代数的机器人碰撞检测方法的形式化
deleteFormal Methods in System Design
IF0.8
delete2025-10-01
delete0
PREAI
deleteWu, Yingjie; Wang, Guohui; Chen, Shanyan; Shi, Zhiping; Guan, Yong; Li, Ximeng
delete分享
delete收藏
Editorial: Special issue on formal methods in computer-aided design编辑：计算机辅助设计中形式方法的特刊
deleteFormal Methods in System Design
IF0.8
delete2025-10-01
delete0
deleteOAAI
deleteGriggio, Alberto; Rungta, Neha
delete分享
delete收藏