- Nicholas Coughlin, Kirsten Winter, Graeme Smith 0001. Compositional Reasoning for Non-multicopy Atomic Architectures. Formal Asp. Comput., 35(2), June 2023.
- Daniel Wright, Sadegh Dalvandi, Mark Batty, Brijesh Dongol. Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies. Formal Asp. Comput., 35(2), June 2023.
- Marieke Huisman, Corina S. Pasareanu, Naijun Zhan. Introduction to the Special Section on FM 2021. Formal Asp. Comput., 35(2), June 2023.
- Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný 0001, Jiri Zárevúcky, Dorde Zikelic. On Lexicographic Proof Rules for Probabilistic Termination. Formal Asp. Comput., 35(2), June 2023.
- Arthur Charguéraud. By Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer, and Bohua Zhan Freely downloadable: https://functional-algorithms-verified.org. Formal Asp. Comput., 35(2), June 2023.
- Maria Maximova, Sven Schneider 0001, Holger Giese. Compositional Analysis of Probabilistic Timed Graph Transformation Systems. Formal Asp. Comput., 35(3), September 2023.
- Alen Arslanagic, Pavle Subotic, Jorge A. Pérez 0001. Bit-Vector Typestate Analysis. Formal Asp. Comput., 35(3), September 2023.
- Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl. Formal Specification and Verification of JDK's Identity Hash Map Implementation. Formal Asp. Comput., 35(3), September 2023.
- Anne Elisabeth Haxthausen, Alessandro Fantechi. Compositional Verification of Railway Interlocking Systems. Formal Asp. Comput., 35(1), March 2023.
- Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock 0001. Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Asp. Comput., 35(1), March 2023.