| 2021 | Agile Business Engineering: From Transformation Towards ContinuousInnovation. Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen |
| 2021 | Aligned, Purpose-Driven Cooperation: The Future Way of System Development. Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen |
| 2021 | An Introduction to Graphical Modeling of CI/CD Workflows with Rig. Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen |
| 2021 | Asking Why. Barbara Steffen, Bernhard Steffen |
| 2021 | DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart Factories. Jobish John, Amrita Ghosal, Tiziana Margaria, Dirk Pesch |
| 2021 | Fixing Classification: A Viewpoint-Based Approach. Bran Selic, Alfonso Pierantonio |
| 2021 | Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. Falk Howar, Hardi Hungar, Andreas Rausch |
| 2021 | From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse Logistics. Malte Mauritz, Moritz Roidl |
| 2021 | Fundamental Constructs in Programming Languages. Peter D. Mosses |
| 2021 | GATE: Gradual Effect Types. Philip Wadler |
| 2021 | HAMR: An AADL Multi-platform Code Generation Toolset. John Hatcliff, Jason Belt, Robby, Todd Carpenter |
| 2021 | Integrated Modeling and Development of Component-Based Embedded Software in Scala. Klaus Havelund, Robert Bocchino |
| 2021 | Integrating External Services in DIME. Hafiz Ahmad Awais Chaudhary, Tiziana Margaria |
| 2021 | Introducing Dynamical Systems andChaos Early in Computer Science andSoftware Engineering Education Can Help Advance Theory and Practice ofSoftware Development and Computing. David Harel, Assaf Marron |
| 2021 | Leveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings Tiziana Margaria, Bernhard Steffen |
| 2021 | Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software Engineering. Timothy C. Lethbridge |
| 2021 | Mining Data Quality Rules for Data Migrations: A Case Study on Material Master Data. Marcel Altendeitering |
| 2021 | Programming - What is Next? Klaus Havelund, Bernhard Steffen |
| 2021 | Programming vs. That Thing Subject Matter Experts Do. Markus Voelter |
| 2021 | Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service Composition. Philip Zweihoff, Bernhard Steffen |
| 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 | Slang: The Sireum Programming Language. Robby, John Hatcliff |
| 2021 | The Future of Programming andModelling: A Vision. Perdita Stevens |
| 2021 | The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS. Tiziana Margaria, Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Stephen Ryan, Alexander Schieweck |
| 2021 | Time for All Programs, Not Just Real-Time Programs. Edward A. Lee, Marten Lohstroh |
| 2021 | Towards Living Canvases. Barbara Steffen, Frederik Möller, Alex Rotgang, Stephen Ryan, Tiziana Margaria |
| 2021 | Towards Model-Based Intent-Driven Adaptive Software. Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai |
| 2021 | Use Cases for Simulation in the Development of Automated Driving Systems. Hardi Hungar |
| 2021 | Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. Luca Di Stefano, Frédéric Lang |
| 2021 | sVerify: Verifying Smart Contracts Through Lazy Annotation and Learning. Bo Gao, Ling Shi, Jiaying Li, Jialiang Chang, Jun Sun, Zijiang Yang |