Dominic Wirkner

According to our database, Dominic Wirkner authored at least 6 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

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

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

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

2017

Towards Reuse on the Meta-Level.

Dominic Wirkner, Steve Boßelmann

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

2016

DIME: A Programming-Less Modeling Environment for Web Applications.

Steve Boßelmann, Markus Frohme, Dawid Kopetzki, Michael Lybecait, Stefan Naujokat, Johannes Neubauer, Dominic Wirkner, Philip Zweihoff, Bernhard Steffen

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