| 2022 | Validity in (Co-) Simulation. | Joachim Denil |
| 2022 | Robot as Embodied Agent? A Phenomenological Critique. | Laura Corti |
| 2022 | Ivette: A Modern GUI for Frama-C. | Loc Correnson |
| 2022 | A Query Language for Language Analysis. | Matteo Cimini |
| 2022 | Timely Specification Repair for Alloy 6. | Jorge Cerqueira, Alcino Cunha, Nuno Macedo |
| 2022 | A BRDL-Based Framework for Motivators and Emotions. | Antonio Cerone |
| 2022 | A Formal IDE for Railways: Research Challenges. | Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Angelo Susi |
| 2022 | Robot Nudgers. What About Transparency? | Stefano Calboli |
| 2022 | VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. | Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer |
| 2022 | Forecasting Algae Growth in Photo-Bioreactors Using Attention LSTMs. | Daniel Boiar, Nils Killich, Lukas Schulte, Victor Hernandez Moreno, Jochen Deuse, Thomas Liebig |
| 2022 | Cooperation Between Automatic and Interactive Software Verifiers. | Dirk Beyer, Martin Spiessl, Sven Umbricht |
| 2022 | A Unifying Approach for Control-Flow-Based Loop Abstraction. | Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl |
| 2022 | Do-it-Yourself FMU Generation. | Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara |
| 2022 | A Case Study in Formal Analysis of System Requirements. | Dimitri Belli, Franco Mazzanti |
| 2022 | High-Fidelity Modeling & Co-simulation with π sc HyFlow. | Fernando J. Barros |
| 2022 | Fast Simulation Response by a Simulation Based Machine Learning (SMiLe) Approach. | Youness Bami, Yannik Luysberg, Jrgen Jakumeit |
| 2022 | Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts. | Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe |
| 2022 | Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox. | Alessandro Aldini, Samuel Allen Alexander, Pierluigi Graziani |
| 2022 | Constrained Training of Recurrent Neural Networks for Automata Learning. | Bernhard K. Aichernig, Sandra Knig, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler |
| 2021 | Learning from Mistakes in an Open Source Software Course. | Olzhas Zhangeldinov |
| 2021 | Open Source Discovery, Adoption, and Use: An Informal Perspective. | Anthony I. Wasserman |
| 2021 | Effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation. | Tongtong Wang, Lars Ivar Hatledal, Motoyasu Kanazawa, Guoyuan Li, Houxiang Zhang |
| 2021 | Counterexample Classification. | Cole Vick, Eunsuk Kang, Stavros Tripakis |
| 2021 | A Life-Long Learning Education Passport Powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project. | Sofia Terzi, Ioannis Stamelos, Konstantinos Votis, Thrasyvoulos Tsiatsos |
| 2021 | Active Model Learning of Stochastic Reactive Systems. | Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Ingo Pill |