| 2021 | Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. | Clemens Dubslaff, Patrick Wienhft, Ansgar Fehnker |
| 2021 | Mixed-Neighborhood, Multi-speed Cellular Automata for Safety-Aware Pedestrian Prediction. | Sebastian vom Dorff, Chih-Hong Cheng, Hasan Esen, Martin Frnzle |
| 2021 | Checking Opacity and Durable Opacity with FDR. | Brijesh Dongol, Jay Le-Papin |
| 2021 | Regret from Cognition to Code. | Alan J. Dix, Genovefa Kefalidou |
| 2021 | Configuration Space Exploration for Digital Printing Systems. | Jasper Denkers, Marvin Brunner, Louis van Gool, Eelco Visser |
| 2021 | Parallelized Sequential Composition and Hardware Weak Memory Models. | Robert J. Colvin |
| 2021 | Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis. | Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta |
| 2021 | Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework. | Jean-Baptiste Chaudron, Aleksandar Joksimovic, Pierre Siron, Rob A. Vingerhoeds, Xavier Carbonneau |
| 2021 | In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL). | Antonio Cerone, Diana Murzagaliyeva, Nuray Nabiyeva, Ben Tyler, Graham Pluck |
| 2021 | RoboWorld: Where Can My Robot Work? | Ana Cavalcanti, James Baxter, Gustavo Carvalho |
| 2021 | A Probabilistic Model Checking Approach to Self-adapting Machine Learning Systems. | Maria Casimiro, David Garlan, Javier Cmara, Lus Rodrigues, Paolo Romano |
| 2021 | Formal Methods Communities of Practice: A Survey of Personal Experience. | Jonathan P. Bowen, Peter T. Breuer |
| 2021 | Co-simulation of a Model Predictive Control System for Automotive Applications. | Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Ayoub Mouhagir, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Lilia Zaourar |
| 2021 | Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum. | Paolo Bellavista |
| 2021 | Upper Bound Computation of Information Leakages for Unbounded Recursion. | Johannes Bechberger, Alexander Weigl |
| 2021 | Grounding Psychological Shape Space in Convolutional Neural Networks. | Lucas Bechberger, Kai-Uwe Khnberger |
| 2021 | DrPython-WEB: A Tool to Help Teaching Well-Written Python Programs. | Tommaso Battistini, Nicol Isaia, Andrea Sterbini, Marco Temperini |
| 2021 | Mining Shape Expressions with ShapeIt. | Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin |
| 2021 | Probabilistic BDI Agents: Actions, Plans, and Intentions. | Blair Archibald, Muffy Calder, Michele Sevegnani, Mengwei Xu |
| 2021 | Refining Privacy-Aware Data Flow Diagrams. | Hanaa Alshareef, Sandro Stucki, Gerardo Schneider |
| 2021 | Can Reinforcement Learning Learn Itself? A Reply to 'Reward is Enough'. | Samuel Allen Alexander |
| 2020 | Sound C Code Decompilation for a Subset of x86-64 Binaries. | Freek Verbeek, Pierre Olivier, Binoy Ravindran |
| 2020 | A Case Study on Formally Validating Motion Rules for Autonomous Cars. | Mrio Henrique Cruz Torres, Jean-Pierre Giacalone, Joelle Abou Faysal |
| 2020 | Introducing Regression Tests and Upgrades to the INTO-CPS Application. | Prasad Talasila, Armine Sanjari, Kristoffer Villadsen, Casper Thule, Peter Gorm Larsen, Hugo Daniel Macedo |
| 2020 | Code Coverage Aware Test Generation Using Constraint Solver. | Krystof Sykora, Bestoun S. Ahmed, Miroslav Bures |