


default search action
Formal Aspects of Computing, Volume 37
Volume 37, Number 1, March 2025
- Jim Woodcock

:
In Memoriam: Ernest Allen Emerson II. 1:1
- Marsha Chechik

, Joost-Pieter Katoen
:
Introduction to the Special Collection from FM 2023. 2:1-2:2 - Francesco Belardinelli

, Ioana Boureanu
, Vadim Malvone
, Fortunat Rajaona
:
An SMT-Based Approach to the Verification of Knowledge-Based Programs. 3:1-3:24 - Sven Dziadek

, Uli Fahrenberg, Philipp Schlehuber:
ω-Regular Energy Problems. 4:1-4:30
- Luigia Petre

, Ana Cavalcanti
:
Special Collection on Computer Science Education. 5:1-5:2 - Manfred Broy, Achim D. Brucker, Alessandro Fantechi

, Mario Gleirscher
, Klaus Havelund
, Markus Alexander Kuppe
, Alexandra Mendes
, André Platzer
, Jan Oliver Ringert
, Allison Sullivan
:
Does Every Computer Scientist Need to Know Formal Methods? 6:1-6:17 - Maurice H. ter Beek, Rod Chapman

, Rance Cleaveland
, Hubert Garavel, Rong Gu
, Ivo ter Horst
, Jeroen J. A. Keiren, Thierry Lecomte
, Michael Leuschel, Kristin Yvonne Rozier
, Augusto Sampaio, Cristina Seceleanu, Martyn Thomas, Tim A. C. Willemse, Lijun Zhang:
Formal Methods in Industry. 7:1-7:38 - Brijesh Dongol

, Catherine Dubois
, Stefan Hallerstede, Eric C. R. Hehner, Carroll Morgan, Peter Müller, Leila Ribeiro, Alexandra Silva, Graeme Smith
, Erik P. de Vink
:
On Formal Methods Thinking in Computer Science Education. 8:1-8:23
Volume 37, Number 2, June 2025
- Bertrand Meyer

:
Obituary for Niklaus Wirth. 9:1-9:11
- Silvia Lizeth Tapia Tarifa

, José Proença
, José N. Oliveira
:
Introduction to the Special Collection from FACS 2022. 10:1-10:2 - Frank S. de Boer

, Stijn de Gouw
, Hans-Dieter A. Hiep
, Jinting Bian
:
Footprint Logic for Object-Oriented Components (extended paper). 11:1-11:23 - Susmoy Das

, Arpit Sharma
:
Embeddings Between State and Action Based Probabilistic Logics. 12:1-12:58 - Silvia Bonfanti

, Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. 13:1-13:26
- Hongyan Zhao

, Huibiao Zhu
, Feng Sheng
, Jifeng He
, Jonathan P. Bowen
:
Theoretical and Practical Approach to the Soundness and Completeness of Operational Semantics based on Denotational Semantics for MDESL. 14:1-14:51 - Diego Marmsoler

, Achim D. Brucker
:
Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL. 15:1-15:56 - Robert Sachtleben

, Anne E. Haxthausen
, Jan Peleska
:
Mechanised Safety Verification for a Distributed Autonomous Railway Control System. 16:1-16:33 - Jinlong He

, Zhilin Wu
, Taolue Chen
:
Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps. 17:1-17:86
Volume 37, Number 3, September 2025
- Nicola Gambino

:
In Memoriam: Peter H. G. Aczel (1941-2023). 18:1-18:2 - Yongjian Li

, Zhenghai Cai
, Bow-Yaw Wang
, Yongxin Zhao
:
Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation And Its Linkage With Concrete Hardware Verification At Netlist Level. 19:1-19:30 - Blair Archibald

, Muffy Calder
, Michele Sevegnani
:
Practical Modelling with Bigraphs. 20:1-20:36 - Guoqiang Li

, Qizhe Yang
, Jinhao Tan
, Ying Zhao
:
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. 21:1-21:21 - Akshay Gopalakrishnan

, Clark Verbrugge
, Mark Batty
:
Memory Consistency and Program Transformations. 22:1-22:42 - Wim Hendrik Hesselink

:
Waitfree Linearization of an Arbitrary Data Object. 23:1-23:26 - J. Paul Gibson

:
Review on : Domain Science and Engineering - A Foundation for Software Development: By Dines Bjørner Monographs in Theoretical Computer Science, Springer International Publishing, ISBN 3030734831, 1st ed., 400 pages, 2021. 24:1-24:3

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














