logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
F

Formal Aspects of Computing

IF1.4
Papers23
Citations471
Journal Papers 23
Publication Date
delete
Jean-Raymond Abrial (1938-2025) Pioneer of Formal Methods and Inventor of the B Method. An Obituary
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete1
PREAI
deleteWoodcock, James
deleteShare
deleteSave
Decidability of Liveness on the TSO Memory Model
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteWang, Chao; Petri, Gustavo; Lv, Yi; Long, Teng; Song, Xinhang; Liu, Zhiming
deleteShare
deleteSave
Analysing a Library of Concurrency Primitives using CSP
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteLowe, Gavin
deleteShare
deleteSave
Specification and Verification of the Alpha Swarm Algorithm using NuXMV and GROOVE
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteSaadat, Maryam Ghaffari; Dixon, Clare; Fisher, Michael
deleteShare
deleteSave
Improving Bigraph Rewriting with GrGen.NET to Enable Efficient System Simulation
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteGrzelak, Dominik; Hamann, Markus
deleteShare
deleteSave
AC4: Algebraic Computation Checker for Circuit Constraints in Zero-Knowledge Proofs
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteYang, Qizhe; Liang, Boxuan; Chen, Hao; Li, Guoqiang
deleteShare
deleteSave
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
deleteShare
deleteSave
Remembering Jean-Raymond Abrial
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete1
PREAI
deleteJones, Cliff
deleteShare
deleteSave
Communicating Cooperatively Scheduled Processes: On the Unlikelihood of Implementing a Pure CSP Channel
deleteFormal Aspects of Computing
IF1.4
delete2026-03-01
delete0
PREAI
deleteChalmers, Kevin; Pedersen, Jan Baekgaard
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
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
deleteShare
deleteSave
Canonical Automata for Persistent Linearizability-A Corrigendum
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteWehrheim, Heike
deleteShare
deleteSave
Validation of CHC Satisfiability with ATHENA
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteOtoni, Rodrigo; Blicha, Martin; Eugster, Patrick; Sharygina, Natasha
deleteShare
deleteSave
Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deletePaganoni, Marco; Furia, Carlo A.
deleteShare
deleteSave
Introduction to the Special Collection from iFM 2023
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteHerber, Paula; Wijs, Anton
deleteShare
deleteSave
Internal and External Performance Fuzzing of Well-Defined Constraints for the B Method
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteDunkelau, Jannik; Leuschel, Michael
deleteShare
deleteSave
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteZiani, Yani; Bernier, Teo; Kosmatov, Nikolai; Loulergue, Frederic; Perez, Daniel Gracia
deleteShare
deleteSave
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
deleteShare
deleteSave
Farewell Editorial
deleteFORMAL ASPECTS OF COMPUTING
IF1.4
delete2025-12-01
delete0
PREAI
deleteWoodcock, James
deleteShare
deleteSave