| 2022 | CoCoSim: A Tool for Co-simulation of Mobile Cooperative Robots. | Matias Richart, Felipe Velzquez, Federico Ciuffardi, Jorge Visca, Javier Baliosian |
| 2022 | Debugging Support in Atelier B. | La Riant |
| 2022 | Quality Monitoring Procedure in Additive Material Extrusion Using Machine Learning. | Anne Rathje, Ronja Witt, Anna Lena Knott, Benjamin Kster, Malte Stonis, Ludger Overmeyer, Robert H. Schmitt |
| 2022 | Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers. | Junaid Rasheed, Michal Konecn |
| 2022 | Markov Blankets for Sustainability. | Maria Raffa |
| 2022 | Evaluating Zero-Cost Active Learning for Object Detection. | Dominik Probst, Hasnain Raza, Erik Rodner |
| 2022 | Executive Function and Intelligent Goal-Directed Behavior: Perspectives from Psychology, Neurology, and Computer Science. | Graham Pluck, Antonio Cerone, David Villagomez-Pacheco |
| 2022 | A Conceptual Framework for Production Process Parameter Optimization with Modular Hybrid Simulations. | Sylwia Olbrych, Marco Kemmerling, Hans Aoyang Zhou, Daniel Ltticke, Robert H. Schmitt |
| 2022 | SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. | Malte Mues, Falk Howar, Simon Dierl |
| 2022 | Strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications. | Lukas Miedema, Clemens Grelck |
| 2022 | A Co-simulation-Based System Using Vico for Marine Operation. | Zizheng Liu, Yingguang Chu, Guoyuan Li, Houxiang Zhang |
| 2022 | A Depth-Bounded Semantics for Becoming Informed. | Miguel A. Larotonda, Giuseppe Primiero |
| 2022 | The TLA | Markus Alexander Kuppe |
| 2022 | Condition Monitoring of a Mechanical Pulsatile Heart Support System via Support-Vector Machine. | Mario Koddenbrock, Hendrik Heinze |
| 2022 | Weighted Games for User Journeys. | Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen |
| 2022 | SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper). | Namrata Jain, Kosuke Kaneko, Subodh Sharma |
| 2022 | Building an Extensible Textual Framework for the Rodin Platform. | Thai Son Hoang, Colin F. Snook, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler |
| 2022 | Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning. | Nathaniel Hamilton, Preston Robinette, Taylor T. Johnson |
| 2022 | Information Exchange Between Over- and Underapproximating Software Analyses. | Jan Haltermann, Heike Wehrheim |
| 2022 | Test and Training Data Generation for Object Recognition in the Railway Domain. | Jrgen Gromann, Nicolas Grube, Sami Kharma, Dorian Knoblauch, Roman Krajewski, Mariia Kucheiko, Hans-Werner Wiesbrock |
| 2022 | A Program Slicer for Java (Tool Paper). | Carlos Galindo, Sergio Prez, Josep Silva |
| 2022 | Field-Sensitive Program Slicing. | Carlos Galindo, Jens Krinke, Sergio Prez, Josep Silva |
| 2022 | Runtime Verification with Imperfect Information Through Indistinguishability Relations. | Angelo Ferrando, Vadim Malvone |
| 2022 | Runtime Enforcement for IEC 61499 Applications. | Ylis Falcone, Irman Faqrizal, Gwen Salan |
| 2022 | Neural Network Verification Using Residual Reasoning. | Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz |