Sebastian Teumert

According to our database, Sebastian Teumert authored at least 5 papers between 2021 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

2022

SOS-Supported Graph Transformation.

Sebastian Teumert, Marvin Krause, Bernhard Steffen

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022

Evaluation of Graphical Modeling of CI/CD Workflows with Rig.

Sebastian Teumert, Tim Tegeler, Jonas Schürmann, Daniel Busch, Dominic Wirkner

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

Executable Documentation: From Documentation Languages to Purpose-Specific Languages.

Tim Tegeler, Steve Boßelmann, Jonas Schürmann, Steven Smyth, Sebastian Teumert, Bernhard Steffen

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

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