Alexander Bainczyk

According to our database, Alexander Bainczyk authored at least 13 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Language-Driven Engineering An Interdisciplinary Software Development Paradigm.

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

CoRR, 2024

2023

Forest GUMP: a tool for verification and explanation.

Alnis Murtovi, Alexander Bainczyk, Gerrit Nolte, Maximilian Schlüter, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., June, 2023

ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages.

Daniel Busch, Gerrit Nolte, Alexander Bainczyk, Bernhard Steffen

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Towards LLM-Based System Migration in Language-Driven Engineering.

Daniel Busch, Alexander Bainczyk, Bernhard Steffen

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

2022

Forest GUMP: A Tool for Explanation.

Alnis Murtovi, Alexander Bainczyk, Bernhard Steffen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

DIME Days (ISoLA 2022 Track Introduction).

Tiziana Margaria, Dominic Wirkner, Daniel Busch, Alexander Bainczyk, Tim Tegeler, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering.

Alexander Bainczyk, Daniel Busch, Marco Krumrey, Daniel Sami Mitwalli, Jonas Schürmann, Joel Tagoukeng Dongmo, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Towards Continuous Quality Control in the Context of Language-Driven Engineering.

Alexander Bainczyk, Steve Boßelmann, Marvin Krause, Marco Krumrey, Dominic Wirkner, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Lifelong Learning of Reactive Systems in Practice.

Alexander Bainczyk, Bernhard Steffen, Falk Howar

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Aligned, Purpose-Driven Cooperation: The Future Way of System Development.

Philip Zweihoff, Tim Tegeler, Jonas Schürmann, Alexander Bainczyk, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

An Introduction to Graphical Modeling of CI/CD Workflows with Rig.

Tim Tegeler, Sebastian Teumert, Jonas Schürmann, Alexander Bainczyk, Daniel Busch, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2017

Model-Based Testing Without Models: The TodoMVC Case Study.

Alexander Bainczyk, Alexander Schieweck, Bernhard Steffen, Falk Howar

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

ALEX: Mixed-Mode Learning of Web Applications at Ease.

Alexander Bainczyk, Alexander Schieweck, Malte Isberner, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016