Alexander Bainczyk

16 papers C 2Journal 3Unranked 10

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	LLM-based code generation and system migration in language-driven engineering. Int. J. Softw. Tools Technol. Transf. Daniel Busch, Alexander Bainczyk, Steven Smyth, Bernhard Steffen
2024	J	`jnl`	Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR Bernhard Steffen, Tiziana Margaria, Alexander Bainczyk, Steve Boßelmann, Daniel Busch, Marc Driessen, Markus Frohme, Falk Howar, Sven Jörges, Marvin Krause, Marco Krumrey, Anna-Lena Lamprecht, Michael Lybecait, Alnis Murtovi, Stefan Naujokat, Johannes Neubauer, Alexander Schieweck, Jonas Schürmann, Steven Smyth, Barbara Steffen, Fabian Storek, Tim Tegeler, Sebastian Teumert, Dominic Wirkner, Philip Zweihoff
2024	—	`conf`	Malwa: Learnability by Design. Principles of Verification (3) Marco Krumrey, Alexander Bainczyk, Falk Howar, Bernhard Steffen
2023	—	`conf`	ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. AISoLA Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen
2023	J	`jnl`	Forest GUMP: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen
2023	—	`—`	Simplicity-oriented lifelong learning of web applications. Alexander Bainczyk
2023	—	`conf`	Towards LLM-Based System Migration in Language-Driven Engineering. ECBS Daniel Busch, Alexander Bainczyk, Bernhard Steffen
2022	—	`conf`	Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. ISoLA (2) Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schürmann, Joel Tagoukeng Dongmo, Bernhard Steffen
2022	—	`conf`	DIME Days (ISoLA 2022 Track Introduction). ISoLA (2) Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen
2022	—	`conf`	Forest GUMP: A Tool for Explanation. TACAS (2) Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen
2022	—	`conf`	Lifelong Learning of Reactive Systems in Practice. The Logic of Software. A Tasting Menu of Formal Methods Alexander Bainczyk, Bernhard Steffen, Falk Howar
2022	—	`conf`	Towards Continuous Quality Control in the Context of Language-Driven Engineering. ISoLA (2) Alexander Bainczyk, Steve Boßelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen
2021	C	`conf`	Aligned, Purpose-Driven Cooperation: The Future Way of System Development. ISoLA Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen
2021	C	`conf`	An Introduction to Graphical Modeling of CI/CD Workflows with Rig. ISoLA Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen
2017	—	`conf`	Model-Based Testing Without Models: The TodoMVC Case Study. ModelEd, TestEd, TrustEd Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar
2016	—	`conf`	ALEX: Mixed-Mode Learning of Web Applications at Ease. ISoLA (2) Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen