| 2023 | Attack Time Analysis in Dynamic Attack Trees via Integer Linear Programming. | Milan Lopuha-Zwakenberg, Marille Stoelinga |
| 2023 | Mentalistic Stances Towards AI Systems: Beyond the Intentional Stance. | Silvia Larghi, Edoardo Datteri |
| 2023 | PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking. | Max Korn, Julin Mndez, Sascha Klppelholz, Ricardo Langner, Christel Baier, Raimund Dachselt |
| 2023 | Ranged Program Analysis via Instrumentation. | Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim |
| 2023 | Herding CATs. | Reiner Hhnle, Marco Scaletta, Eduard Kamburjan |
| 2023 | An Active Learning Approach to Synthesizing Program Contracts. | Sandip Ghosal, Bengt Jonsson, Philipp Rmmer |
| 2023 | Scientific Understanding and the Explanatory Integration in Cognitive Sciences. | Giovanni Galli |
| 2023 | Code Biology and Enactivism: Bringing Adaptors to Basic Minds. | Rasmus Gahrn-Andersen |
| 2023 | Capturing Smart Contract Design with DCR Graphs. | Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider |
| 2023 | Decoupled Fitness Criteria for Reactive Systems. | Derek Egolf, Stavros Tripakis |
| 2023 | Robustness Testing of Software Verifiers. | Florian Dyck, Cedric Richter, Heike Wehrheim |
| 2023 | The Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker. | Sylvain Conchon, Alexandrina Korneva |
| 2023 | Using Maude to Model Motivation in Human Behaviour. | Antonio Cerone, Olzhas Zhalgendinov |
| 2023 | Refinements for Open Automata. | Raba Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine |
| 2023 | Private Memory Confers No Advantage. | Samuel A. Alexander |
| 2023 | Frequentist Probability Logic. | Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri |
| 2022 | CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). | Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang |
| 2022 | Paving the Way for Reinforcement Learning in Smart Grid Co-simulations. | Dominik Vereno, Jonas Harb, Christian Neureiter |
| 2022 | Using INTO-CPS Tools in the Development of a Digital Twin for the F1TENTH Race Car. | Malthe Faurschou Tttrup, Emil Chao Hu, Bastian Aron Kramer, Hugo Daniel Macedo, Lukas Esterle |
| 2022 | Using Justified True Beliefs to Explore Formal Ignorance. | Mirko Tagliaferri |
| 2022 | Safety Controller Synthesis for a Mobile Manufacturing Cobot. | Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law |
| 2022 | Developing the UML-B Modelling Tools. | Colin F. Snook, Michael J. Butler, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym |
| 2022 | BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. | Bernard Serbinowski, Taylor T. Johnson |
| 2022 | Siamese Basis Function Networks for Data-Efficient Defect Classification in Technical Domains. | Tobias Schlagenhauf, Faruk Yildirim, Benedikt Brckner |
| 2022 | Information Flow Control-by-Construction for an Object-Oriented Language. | Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer |