| ALEX: mixed-mode learning of web applications at ease A Bainczyk, A Schieweck, M Isberner, T Margaria, J Neubauer, B Steffen Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 27 | 2016 |
| Model-based testing without models: the TodoMVC case study A Bainczyk, A Schieweck, B Steffen, F Howar ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of …, 2017 | 24 | 2017 |
| ChatGPT in the loop: a natural language extension for domain-specific modeling languages D Busch, G Nolte, A Bainczyk, B Steffen International Conference on Bridging the Gap between AI and Reality, 375-390, 2023 | 22 | 2023 |
| An introduction to graphical modeling of CI/CD workflows with rig T Tegeler, S Teumert, J Schürmann, A Bainczyk, D Busch, B Steffen Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021 | 19 | 2021 |
| Aligned, purpose-driven cooperation: the future way of system development P Zweihoff, T Tegeler, J Schürmann, A Bainczyk, B Steffen Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021 | 15 | 2021 |
| Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering A Bainczyk, D Busch, M Krumrey, DS Mitwalli, J Schürmann, ... International Symposium on Leveraging Applications of Formal Methods, 407-425, 2022 | 12 | 2022 |
| Forest GUMP: a tool for verification and explanation A Murtovi, A Bainczyk, G Nolte, M Schlüter, B Steffen International Journal on Software Tools for Technology Transfer 25 (3), 287-299, 2023 | 10 | 2023 |
| 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 |
| Lifelong learning of reactive systems in practice A Bainczyk, B Steffen, F Howar The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022 | 7 | 2022 |
| Towards LLM-based system migration in language-driven engineering D Busch, A Bainczyk, B Steffen International Conference on Engineering of Computer-Based Systems, 191-200, 2023 | 5 | 2023 |
| 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 |
| Forest GUMP: a tool for explanation A Murtovi, A Bainczyk, B Steffen International Conference on Tools and Algorithms for the Construction and …, 2022 | 1 | 2022 |
| Malwa: Learnability by Design M Krumrey, A Bainczyk, F Howar, B Steffen Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | | 2024 |
| 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 |
| Simplicity-Oriented Lifelong Learning of Web Applications JA Bainczyk | | 2024 |
| Simplicity-Oriented Web-Based Control of Active Automata Learning A Bainczyk Technische Universität Dortmund, 2015 | | 2015 |
