Curriculum Vitae

Dominik studied Computer Science (Master) at the Brandenburgische Technische Universität in Senftenberg. He then started working as a part-time researcher at Technische Universität Chemnitz, where he was concerned with a holistic approach for the economic evaluation of process chains. After, he joined the IoSense project, funded by the EU under Horizon 2020, to develop a software toolkit for sensor pilot lines, before he joined his research group at CeTI.

Within CeTI, Dominik studies process calculi In connection with the development of model-based programming paradigms that allow the formal verification of conceptual business logic specifications to facilitate “correctness-by-design”.

What do you value most about your work at CeTI?

The multi-faceted interdisciplinary nature of this project and the possibility to research on foundational matter.

What was your best moment at CeTI so far?

To celebrate the jubilee of 50 years of computer science education in Dresden by contributing a distributed immersive robot demonstrator with a cool team.

What else would you like to research?

On AI-driven code audit techniques and semi/fully automatic methods that can „train“ software like dogs to not write code at all.

How do you spend your spare time?

Nature, Cooking, Sports and Friends.

Publications

14 Einträge « ‹ 1 of 2 › »
1.

Dominik Grzelak; Victor Victor

XR-PALS: XR tool for Loco Positioning System (Book Section)

In: Paolis, Lucio Tommaso De; Arpaia, Pasquale; Sacco, Marco (Ed.): Extended Reality, vol. 15740, pp. 14–32, Springer, 2025.

(Links | BibTeX)

2.

Dominik Grzelak; Markus Hamann

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

In: Formal Aspects of Computing, pp. 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 (Journal Article)

In: Drones, vol. 9, no. 6, pp. 394:1–35, 2025.

(Links | BibTeX)

4.

Dominik Grzelak

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

In: Journal of Open Source Software, vol. 9, no. 98, pp. 6491:1–4, 2024.

(Links | BibTeX)

5.

Dominik Grzelak

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

Technische Universität Dresden, Germany, 2023.

(Links | BibTeX)

6.

Dominik Grzelak

A bigraphical vending machine as a webservice (Technical Manual)

2023.

(Links | BibTeX)

7.

Dominik Grzelak

Bigraphical domain-specific language (BDSL) (Technical Manual)

Technische Universität Dresden 2021.

(Links | BibTeX)

8.

Dominik Grzelak; Uwe Aßmann

A canonical string encoding for pure bigraphs (Journal Article)

In: SN Computer Science, vol. 2, no. 4, pp. 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 (Book Chapter)

In: Fitzek, Frank H. P.; Li, Shu-Chen; Speidel, Stefanie; Strufe, Thorsten; Şimşek, Meryem; Reisslein, Martin (Ed.): Tactile Internet with Human-in-the-Loop, Chapter 13, pp. 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 (Book Chapter)

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

(BibTeX)

14 Einträge « ‹ 1 of 2 › »