| An Introduction to Graphical Modeling of CI/CD Workflows with Rig T Tegeler, S Teumert, J Schürmann, A Bainczyk, D Busch, B Steffen International Symposium on Leveraging Applications of Formal Methods, 3-17, 2021 | 19 | 2021 |
| Aligned, Purpose-Driven Cooperation: The Future Way of System Development P Zweihoff, T Tegeler, J Schürmann, A Bainczyk, B Steffen International Symposium on Leveraging Applications of Formal Methods, 426-449, 2021 | 15 | 2021 |
| A Model-driven Approach to Continuous Practices for Modern Cloud-based Web Applications T Tegeler, F Gossen, B Steffen 2019 9th International Conference on Cloud Computing, Data Science …, 2019 | 13 | 2019 |
| Executable Documentation: From Documentation Languages to Purpose-Specific Languages T Tegeler, S Boßelmann, J Schürmann, S Smyth, S Teumert, B Steffen International Symposium on Leveraging Applications of Formal Methods, 174-192, 2022 | 8 | 2022 |
| Agile Business Engineering: From Transformation Towards Continuous Innovation B Steffen, F Howar, T Tegeler, B Steffen International Symposium on Leveraging Applications of Formal Methods, 77-94, 2021 | 8 | 2021 |
| Guaranteeing Type Consistency in Collective Adaptive Systems J Schürmann, T Tegeler, B Steffen International Symposium on Leveraging Applications of Formal Methods, 311-328, 2020 | 6 | 2020 |
| Product Line Verification via Modal Meta Model Checking T Tegeler, A Murtovi, M Frohme, B Steffen From Software Engineering to Formal Methods and Tools, and Back, 313-337, 2019 | 6 | 2019 |
| Evaluation of Graphical Modeling of CI/CD Workflows with Rig S Teumert, T Tegeler, J Schürmann, D Busch, D Wirkner International Symposium on Leveraging Applications of Formal Methods, 374-388, 2022 | 3 | 2022 |
| A case-study on structured modeling with internal domain-specific languages S Smyth, T Tegeler, D Busch, S Boßelmann The Combined Power of Research, Education, and Dissemination: Essays …, 2024 | 2 | 2024 |
| Value-driven industry transformation: Leveraging open-source to establish new standards B Steffen, E Duparc, T Tegeler ITM Web of Conferences 62, 05001, 2024 | 2 | 2024 |
| Code-centric code generation D Busch, S Smyth, T Tegeler, B Steffen International Symposium on Leveraging Applications of Formal Methods, 340-355, 2024 | 1 | 2024 |
| Discussing the future role of documentation in the context of modern software engineering (ISoLA 2022 Track Introduction) K Havelund, T Tegeler, S Smyth, B Steffen International Symposium on Leveraging Applications of Formal Methods, 3-9, 2022 | 1 | 2022 |
| DIME Days (ISoLA 2022 Track Introduction) T Margaria, D Wirkner, D Busch, A Bainczyk, T Tegeler, B Steffen International Symposium on Leveraging Applications of Formal Methods, 367-373, 2022 | 1 | 2022 |
| Evolve: Language-Driven Engineering in Industrial Practice T Tegeler, J Schürmann Electronic Communications of the EASST 78, 2019 | 1 | 2019 |
| Language-Driven Engineering An Interdisciplinary Software Development Paradigm B Steffen, T Margaria, A Bainczyk, S Boßelmann, D Busch, M Driessen, ... arXiv preprint arXiv:2402.10684, 2024 | | 2024 |
| A Lingualization Strategy for Knowledge Sharing in Large-Scale DevOps T Tegeler Department of Computer Science, TU Dortmund University, 2023 | | 2023 |
| KoKoVa: Kontinuierliche und Kompositionelle S Dierl, T Tegeler, D Wirkner | | 2022 |
| Kontinuierliche und Kompositionelle Validierung für Autonomes Fahren S Dierl, T Tegeler, DID Wirkner | | 2022 |
| Agile Business Engineering: From B Steffen, F Howar, T Tegeler, B Steffen Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021 | | 2021 |
Bernhard SteffenProfessor für Informatik, TU DortmundE-mail megerősítve itt: cs.uni-dortmund.de