Tim Tegeler

According to our database, Tim Tegeler authored at least 12 papers between 2018 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

A lingualization strategy for knowledge sharing in large-scale DevOps

Tim Tegeler

PhD thesis, 2023

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

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

Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction).

Klaus Havelund, Tim Tegeler, Steven Smyth, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 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

Agile Business Engineering: From Transformation Towards ContinuousInnovation.

Barbara Steffen, Falk Howar, Tim Tegeler, Bernhard Steffen

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

2020

Guaranteeing Type Consistency in Collective Adaptive Systems.

Jonas Schürmann, Tim Tegeler, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

Product Line Verification via Modal Meta Model Checking.

Tim Tegeler, Alnis Murtovi, Markus Frohme, Bernhard Steffen

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Evolve: Language-Driven Engineering in Industrial Practice.

Tim Tegeler, Jonas Schürmann

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