Dr.
Research Associate

Email
Phone: +49 351 463 37857
Google Scholar

Dominik Grzelak

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”.

Publications:

Projects/Cooperation within CeTI you are involved in:

TP5, U2

CeTI rooms within CeTI you are involved:

TP5, U2

Further Questions:

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:
1.

Dominik Grzelak

A bigraphical vending machine as a webservice (Technical Manual)

2023.

(Links | BibTeX)

2.

Dominik Grzelak

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

Technische Universität Dresden 2021.

(Links | BibTeX)

3.

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)

4.

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)

5.

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)

6.

Ronny Seiger; Uwe Aßmann; Dominik Grzelak; Mikhail Belov; Paul Riedel; Ariel Podlubne; Wanqi Zhao; Jens Kerber; Jonas Mohr; Fabio Espinosa; Tim Schwartz

Immersives verteiltes Robotic Co-working (Journal Article)

In: Informatik Spektrum, vol. 43, no. 4, pp. 425–435, 2020.

(Links | BibTeX)

7.

Dominik Grzelak; Uwe Aßmann

Preparatory reflections on safe context-adaptive software (Position paper) (Proceedings Article)

In: Proceedings of the International Conference on Internet of Things, Big Data and Security (IoTBDS), 2020.

(Links | BibTeX)

8.

Romina Kühn; Mandy Korzetz; Dominik Grzelak; Uwe Aßmann; Thomas Schlegel

Towards interaction design for mobile devices in collocated mixed-focus collaboration (Book Section)

In: Stephanidis, Constantine; Antona, Margherita (Ed.): HCI International 2020 – Posters, vol. 1224, pp. 35–43, Springer, 2020.

(Links | BibTeX)

9.

Dominik Grzelak; Uwe Aßmann

Bigraphical meta-modeling of fog computing-based systems (Proceedings Article)

In: Proceedings of the International Conference on Discrete Models of Complex Systems (SOLSTICE), 2019.

(BibTeX)