Curriculum Vitae

Dominik studierte Informatik (Master) an der Brandenburgischen Technischen Universität in Senftenberg. Anschließend arbeitete er als wissenschaftlicher Mitarbeiter an der Technischen Universität Chemnitz, wo er sich mit einem ganzheitlichen Ansatz zur wirtschaftlichen Bewertung von Prozessketten beschäftigte. Danach nahm er an dem von der EU im Rahmen von Horizon 2020 geförderten Projekt IoSense teil, um ein Software-Toolkit für Sensor-Pilotlinien zu entwickeln, bevor er zu seiner Forschungsgruppe am CeTI wechselte.

Im Rahmen von CeTI untersucht Dominik Prozesskalküle im Zusammenhang mit der Entwicklung modellbasierter Programmierparadigmen, die die formale Verifizierung konzeptioneller Geschäftslogikspezifikationen ermöglichen, um "correctness-by-design" zu erleichtern.

Was schätzen Sie an Ihrer Arbeit bei CeTI am meisten?

Der vielschichtige interdisziplinäre Charakter dieses Projekts und die Möglichkeit an grundlegenden Themen zu forschen.

Was war Ihr bisher schönster Moment bei CeTI?

Die Feier des Jubiläums von 50 Jahren Informatikausbildung in Dresden mit einem verteilten immersiven Roboterdemonstrator und einem coolen Team.

Woran würden Sie gerne noch forschen?

Über KI-gesteuerte Code-Audit-Techniken und halb- bzw. vollautomatische Methoden, mit denen Software wie Hunde darauf "trainiert" werden kann, überhaupt keinen Code zu schreiben.

Wie verbringen Sie Ihre Freizeit?

Natur, Kochen, Sport und Freunde treffen.

Veröffentlichungen

14 Einträge « 1 von 2 »
1.

Dominik Grzelak; Victor Victor

XR-PALS: XR tool for Loco Positioning System (Buchabschnitt)

In: Paolis, Lucio Tommaso De; Arpaia, Pasquale; Sacco, Marco (Hrsg.): Extended Reality, Bd. 15740, S. 14–32, Springer, 2025.

(Links | BibTeX)

2.

Dominik Grzelak; Markus Hamann

Improving bigraph rewriting with GrGen.NET to enable efficient system simulation (Artikel)

In: Formal Aspects of Computing, S. 1–52, 2025, (early access).

(Links | BibTeX)

3.

Tianxiong Zhang; Dominik Grzelak; Wanqi Zhao; M. Ashraful Islam; Hartmut Fricke; Uwe Aßmann

A review on the construction, modeling, and consistency of digital twins for advanced air mobility applications (Artikel)

In: Drones, Bd. 9, Nr. 6, S. 394:1–35, 2025.

(Links | BibTeX)

4.

Dominik Grzelak

BiGGer: A model transformation tool written in Java for bigraph rewriting in GrGen.NET (Artikel)

In: Journal of Open Source Software, Bd. 9, Nr. 98, S. 6491:1–4, 2024.

(Links | BibTeX)

5.

Dominik Grzelak

Model-oriented programming with bigraphical reactive systems: Theory and implementation (Promotionsarbeit)

Technische Universität Dresden, Germany, 2023.

(Links | BibTeX)

6.

Dominik Grzelak

A bigraphical vending machine as a webservice (Dokumentation)

2023.

(Links | BibTeX)

7.

Dominik Grzelak

Bigraphical domain-specific language (BDSL) (Dokumentation)

Technische Universität Dresden 2021.

(Links | BibTeX)

8.

Dominik Grzelak; Uwe Aßmann

A canonical string encoding for pure bigraphs (Artikel)

In: SN Computer Science, Bd. 2, Nr. 4, S. 246:1–14, 2021.

(Links | BibTeX)

9.

Uwe Aßmann; Christel Baier; Clemens Dubslaff; Dominik Grzelak; Simon Hanisch; Ardhi P. P. Hartono; Stefan Köpsell; Tianfang Lin; Thorsten Strufe

Tactile computing: Essential building blocks for the Tactile Internet (Buchkapitel)

In: Fitzek, Frank H. P.; Li, Shu-Chen; Speidel, Stefanie; Strufe, Thorsten; Şimşek, Meryem; Reisslein, Martin (Hrsg.): Tactile Internet with Human-in-the-Loop, Kapitel 13, S. 301–326, Academic Press, 2021.

(BibTeX)

10.

Uwe Aßmann; Lingyun Chen; Sebastian Ebert; Diana Göhringer; Dominik Grzelak; Diego X. Hidalgo Carvajal; Lars Johannsmeier; Sami Haddadin; Johannes Mey; Ariel Podlubne

Human–robot co-habitation in industry (Buchkapitel)

In: Fitzek, Frank H. P.; Li, Shu-Chen; Speidel, Stefanie; Strufe, Thorsten; Şimşek, Meryem; Reisslein, Martin (Hrsg.): Tactile Internet with Human-in-the-Loop, Kapitel 3, S. 41–75, Academic Press, 2021.

(BibTeX)

14 Einträge « 1 von 2 »