| DIME: a programming-less modeling environment for web applications S Boßelmann, M Frohme, D Kopetzki, M Lybecait, S Naujokat, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 98 | 2016 |
| Towards continuous quality control in the context of language-driven engineering A Bainczyk, S Boßelmann, M Krause, M Krumrey, D Wirkner, B Steffen International Symposium on Leveraging Applications of Formal Methods, 389-406, 2022 | 8 | 2022 |
| Merge-Strategien für Graphmodelle am Beispiel von jABC und Git D Wirkner Diploma thesis, TU Dortmund, 2015 | 4 | 2015 |
| Evaluation of graphical modeling of ci/cd workflows with rig S Teumert, T Tegeler, J Schürmann, D Busch, D Wirkner International Symposium on Leveraging Applications of Formal Methods, 374-388, 2022 | 3 | 2022 |
| DIME Days (ISoLA 2022 Track Introduction) T Margaria, D Wirkner, D Busch, A Bainczyk, T Tegeler, B Steffen International Symposium on Leveraging Applications of Formal Methods, 367-373, 2022 | 1 | 2022 |
| Language-Driven Engineering An Interdisciplinary Software Development Paradigm B Steffen, T Margaria, A Bainczyk, S Boßelmann, D Busch, M Driessen, ... arXiv preprint arXiv:2402.10684, 2024 | | 2024 |
| Towards Reuse on the Meta-Level D Wirkner, S Boßelmann Electronic Communications of the EASST 74, 2017 | | 2017 |
| KoKoVa: Kontinuierliche und Kompositionelle S Dierl, T Tegeler, D Wirkner | | |
