Jonas Schürmann

According to our database, Jonas Schürmann authored at least 10 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

2022

Lazy Merging: From a Potential of Universes to a Universe of Potentials.

Jonas Schürmann, 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

Executable Documentation: Test-First in Action.

Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, 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

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

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

2018

Evolve: Language-Driven Engineering in Industrial Practice.

Tim Tegeler, Jonas Schürmann

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