| 2024 | Towards a Readability Criterion for Humans and Machines. | Pedro Quaresma, Pierluigi Graziani |
| 2024 | Unlocking the Power of Environment Assumptions for Unit Proofs. | Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel |
| 2024 | Executive Cognitive Control of Free Choices. | Graham Pluck, Fei Gu, Natasha Asawanuchit, Suphasiree Chantavarin |
| 2024 | Verified Configuration and Deployment of Layered Attestation Managers. | Adam Petz, Will Thomas, Anna Fritz, T. J. Barclay, Logan Schmalz, Perry Alexander |
| 2024 | Model-Checking the Implementation of Consent. | Ral Pardo, Daniel Le Mtayer |
| 2024 | Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards. | Matteo Paier, Roberto van Eeden, Marino Miculan |
| 2024 | Secure Smart Contracts with Isabelle/Solidity. | Diego Marmsoler, Asad Ahmed, Achim D. Brucker |
| 2024 | Higher-Order Arrows for Path-Dependent Many-Valued Systems. | Srgio Marcelino |
| 2024 | Towards Resolving Distributed Beliefs. | John Lindqvist, Fernando R. Velzquez-Quesada, Thomas gotnes |
| 2024 | A Non-geographical Approach to the Study of Culture-Mediated Acceptance of Social Robots. | Leonardo Lapomarda, Alex Barco, Edoardo Datteri |
| 2024 | Towards Quantum Multiparty Session Types. | Ivan Lanese, Ugo Dal Lago, Vikraman Choudhury |
| 2024 | An Operational Semantics for Yul. | Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos |
| 2024 | Partially-Observable Security Games for Attack-Defence Analysis in Software Systems. | Narges Khakpour, David Parker |
| 2024 | Right or Wrong - Understanding How Users Write Software Models in Alloy. | Ana Jovanovic, Allison Sullivan |
| 2024 | Reconfiguring Staggered Quantum Walks with ZX. | Bruno Jardim, Jaime Santos, Lus Soares Barbosa |
| 2024 | Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions. | Paula Herber, Julius Adelt, Philip Tasche |
| 2024 | Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems. | Srajan Goyal, Alberto Griggio, Stefano Tonetta |
| 2024 | Time Factor in Neural Learning Processes. | Fabrizia Giulia Garavaglia, Marco Giunti, Giuseppe Sergioli |
| 2024 | On the Morphic Problem in Artificial Neural Networks. | Giovanni Galli |
| 2024 | Binders for Switch Graphs Specification. | Daniel Figueiredo, Alexandre Madeira |
| 2024 | Arbitrary Radical Upgrades. | Raul Fervari, Benjamin Icard |
| 2024 | Composing Run-Time Variability Models. | Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko |
| 2024 | Paraconsistent Reactive Graphs. | Juliana Cunha, Alexandre Madeira, Lus Soares Barbosa |
| 2024 | Validating Traces of Distributed Programs Against TLA | Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz |
| 2024 | Exploiting Assumptions for Effective Monitoring of Real-Time Properties Under Partial Observability. | Alessandro Cimatti, Thomas Mller Grosen, Kim G. Larsen, Stefano Tonetta, Martin Zimmermann |