Vol. 84 (2025): 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation / 2nd AISoLA - Doctoral Symposium, 2024

DOI: https://doi.org/10.14279/eceasst.v84

Published: 2025-11-24

Preface

Preface

Sven Jörges, Salim Saay, Steven Smyth
- PDF

Articles

DAOMod: A Modeling Method for Decentralized Autonomous Organization Development

Sowelu Avanzo, Daniele Pautasso, Irene Domenicale, Alex Norta, Claudio Schifanella, Marie Hattingh, Daniel Sami Mitwalli
- PDF
Towards X-as-Models in the Context of CI/CD

Sebastian Teumert, Tim Tegeler
- PDF
Accelerating Graphical DSL Development: Live Metamodeling in Cinco Cloud

Daniel Sami Mitwalli
- PDF
Unintended Consequences of Large Language Models and Their Impact on Society

Ursula Coester, Dominik Adler, Christian Böttger, Norbert Pohlmann
- PDF
Human-AI Collaboration in Coding: A Trust Perspective

Sonja Niemann, Ute Schmid
- PDF
Towards Test-Driven Conflict Resolution

Jonas Schürmann, Bernhard Steffen
- PDF