| 2022 | Runtime Verification Meets Controller Synthesis. | Shaun Azzopardi, Nir Piterman, Gerardo Schneider |
| 2022 | Bringing Aggregate Programming Towards the Cloud. | Giorgio Audrito, Ferruccio Damiani, Gianluca Torta |
| 2022 | Deductive Verification Based Abstraction for Software Model Checking. | Jesper Amilon, Christian Lidstrm, Dilian Gurov |
| 2022 | Model Checking Reconfigurable Interacting Systems. | Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman |
| 2022 | Measuring Convergence Inertia: Online Learning in Self-adaptive Systems with Context Shifts. | Elvin Alberts, Ilias Gerostathopoulos |
| 2022 | Selective Presumed Benevolence in Multi-party System Verification. | Wolfgang Ahrendt, Gordon J. Pace |
| 2022 | SpecifyThis - Bridging Gaps Between Program Specification Paradigms. | Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich |
| 2022 | TriCo - Triple Co-piloting of Implementation, Specification and Tests. | Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rmmer |
| 2022 | Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. | Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke |
| 2022 | A Notion of Equivalence for Refactorings with Abstract Execution. | Ole Jrgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz |
| 2022 | Leveraging System Dynamics in Runtime Verification of Cyber-Physical Systems. | Houssam Abbas, Borzoo Bonakdarpour |
| 2021 | Aligned, Purpose-Driven Cooperation: The Future Way of System Development. | Philip Zweihoff, Tim Tegeler, Jonas Schrmann, Alexander Bainczyk, Bernhard Steffen |
| 2021 | Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. | Philip Zweihoff, Bernhard Steffen |
| 2021 | GATE: Gradual Effect Types. | Philip Wadler |
| 2021 | Programming vs. That Thing Subject Matter Experts Do. | Markus Voelter |
| 2021 | An Introduction to Graphical Modeling of CI/CD Workflows with Rig. | Tim Tegeler, Sebastian Teumert, Jonas Schrmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen |
| 2021 | The Future of Programming andModelling: A Vision. | Perdita Stevens |
| 2021 | Asking Why. | Barbara Steffen, Bernhard Steffen |
| 2021 | Towards Living Canvases. | Barbara Steffen, Frederik Mller, Alex Rotgang, Stephen Ryan, Tiziana Margaria |
| 2021 | Agile Business Engineering: From Transformation Towards ContinuousInnovation. | Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen |
| 2021 | Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. | Luca Di Stefano, Frdric Lang |
| 2021 | Fixing Classification: A Viewpoint-Based Approach. | Bran Selic, Alfonso Pierantonio |
| 2021 | Slang: The Sireum Programming Language. | Robby, John Hatcliff |
| 2021 | Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous Vehicles. | Robin Philipp, Hedan Qian, Lukas Hartjen, Fabian Schuldt, Falk Howar |
| 2021 | Fundamental Constructs in Programming Languages. | Peter D. Mosses |