Alexander Bainczyk

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Software Development

Reactive Systems

Pedagogical Scenarios

Natural Language

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

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
Language-Driven Engineering An Interdisciplinary Software Development Paradigm. CoRR (2024)
Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen
ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages. AISoLA (2023)
Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen
Forest GUMP: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. 25 (3) (2023)
Daniel Busch, Alexander Bainczyk, Bernhard Steffen
Towards LLM-Based System Migration in Language-Driven Engineering. ECBS (2023)
Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen
DIME Days (ISoLA 2022 Track Introduction). ISoLA (2) (2022)
Alexander Bainczyk, Bernhard Steffen, Falk Howar
Lifelong Learning of Reactive Systems in Practice. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Alexander Bainczyk, Steve Boßelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen
Towards Continuous Quality Control in the Context of Language-Driven Engineering. ISoLA (2) (2022)
Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schürmann, Joel Tagoukeng Dongmo, Bernhard Steffen
Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering. ISoLA (2) (2022)
Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen
Forest GUMP: A Tool for Explanation. TACAS (2) (2022)
Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen
An Introduction to Graphical Modeling of CI/CD Workflows with Rig. ISoLA (2021)
Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen
Aligned, Purpose-Driven Cooperation: The Future Way of System Development. ISoLA (2021)
Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar
Model-Based Testing Without Models: The TodoMVC Case Study. ModelEd, TestEd, TrustEd (2017)
Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen
ALEX: Mixed-Mode Learning of Web Applications at Ease. ISoLA (2) (2016)