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

Formal Aspects of Computing

IF1.4
论文数23
被引数471
期刊论文 23
发表时间
delete
Decidability of Liveness on the TSO Memory ModelTSO内存模型中活性问题的可判定性
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteWang, Chao; Petri, Gustavo; Lv, Yi; Long, Teng; Song, Xinhang; Liu, Zhiming
delete分享
delete收藏
Specification and Verification of the Alpha Swarm Algorithm using NuXMV and GROOVE使用NuXMV和GROOVE对Alpha Swarm算法进行规范与验证
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteSaadat, Maryam Ghaffari; Dixon, Clare; Fisher, Michael
delete分享
delete收藏
Jean-Raymond Abrial (1938-2025) Pioneer of Formal Methods and Inventor of the B Method. An Obituary让-雷蒙德·阿布里尔（1938-2025）——形式方法先驱与B方法发明者。讣告
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete1
PREAI
deleteWoodcock, James
delete分享
delete收藏
Analysing a Library of Concurrency Primitives using CSP使用CSP分析并发原语库
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteLowe, Gavin
delete分享
delete收藏
Improving Bigraph Rewriting with GrGen.NET to Enable Efficient System Simulation使用GrGen.NET改进双图重写以实现高效系统仿真
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteGrzelak, Dominik; Hamann, Markus
delete分享
delete收藏
AC4: Algebraic Computation Checker for Circuit Constraints in Zero-Knowledge ProofsAC4: 零知识证明中电路约束的代数计算检查器
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteYang, Qizhe; Liang, Boxuan; Chen, Hao; Li, Guoqiang
delete分享
delete收藏
Remembering Jean-Raymond Abrial纪念让-雷蒙德·阿布里尔
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete1
PREAI
deleteJones, Cliff
delete分享
delete收藏
Communicating Cooperatively Scheduled Processes: On the Unlikelihood of Implementing a Pure CSP Channel协同调度进程的通信：实现纯CSP通道的不可能性
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteChalmers, Kevin; Pedersen, Jan Baekgaard
delete分享
delete收藏
Editorial Introducing the New Editors-in-Chief编者按：介绍新主编
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteter Beek, Maurice H.; Johnsen, Einar Broch
delete分享
delete收藏
Enhancing Context Awareness with Model Checking-based Uncertainty Representation in Decision Support Systems基于模型检测的不确定性表示增强决策支持系统中的情境感知
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteChen, Guangyao; Li, Zeyu; Gu, Jicheng; She, Yining; Zhu, Chenyang; Jiang, Zhihao
delete分享
delete收藏
Development and Validation of a Formal Model and Prototype for an Air Traffic Control System航空交通管制系统的形式模型与原型开发及验证
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteGelessus, David; Stock, Sebastian; Vu, Fabian; Leuschel, Michael; Mashkoor, Atif
delete分享
delete收藏
Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System面向特征的建模与分析：一种自适性机器人系统
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deletePassler, Juliane; Beek, Maurice H. Ter; Damiani, Ferruccio; Dubslaff, Clemens; Johnsen, Einar Broch; Tarifa, Silvia Lizeth Tapia
delete分享
delete收藏
Canonical Automata for Persistent Linearizability-A Corrigendum规范自动机用于持久线性化-勘误
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteWehrheim, Heike
delete分享
delete收藏
Validation of CHC Satisfiability with ATHENAATHENA框架下CHC可满足性的验证
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteOtoni, Rodrigo; Blicha, Martin; Eugster, Patrick; Sharygina, Natasha
delete分享
delete收藏
Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack使用ByteBack在Java字节码层面推理异常行为
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deletePaganoni, Marco; Furia, Carlo A.
delete分享
delete收藏
Introduction to the Special Collection from iFM 2023iFM 2023特刊引言
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteHerber, Paula; Wijs, Anton
delete分享
delete收藏
Internal and External Performance Fuzzing of Well-Defined Constraints for the B Method针对B方法中良好定义约束条件的内部与外部性能模糊测试
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteDunkelau, Jannik; Leuschel, Michael
delete分享
delete收藏
Towards Formal Verification of a TPM Software Stack: Achievements and OpportunitiesTPM软件栈的形式化验证：成就与机遇
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteZiani, Yani; Bernier, Teo; Kosmatov, Nikolai; Loulergue, Frederic; Perez, Daniel Gracia
delete分享
delete收藏
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains软件工程形式化方法综述：语言、方法与应用领域
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteBeek, Maurice H. Ter
delete分享
delete收藏
Farewell Editorial告别致辞
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteWoodcock, James
delete分享
delete收藏