Johannes Dyck

Degree: Master of Science

Research interests:

Teaching:

Master project: Rebuilding and Maintaining Architecture Traces (winter term 2016/17)
Supervised master's thesis: Using exchangeable constraint solvers for invariant checking on attributed graph transformation systems (2016)
Bachelor project: Ein Framework für Graphdatenbanken auf Basis von Graphtransformationen und Multi-Core-Architekturen (2014/15)
Seminar: Formal Foundations of Graph Transformation Systems (winter term 2014/15)
Seminar: Automated Analysis of Formal Models (summer term 2014)
Seminar: Automated Analysis of Formal Models (winter term 2013/14)
Seminar: Automated Analysis of Formal Models (summer term 2013)
Master project: Iterative Development and Execution of Consistency-Preserving Rule-Based Refactorings (winter term 2012/13)

Publications

Contact

System Analysis and Modeling Group

Tel.: +49 (0)331 5509 -366
E-Mail: holger.giese(at)hpi.de

Tel.: +49 (0)331 5509 -314
E-Mail: office-giese(at)hpi.de

Hasso Plattner Institute for Digital Engineering

Campus I, Building A, 2nd floor
Prof.-Dr.-Helmert-Str. 2-3, 14482 Potsdam (Getting there)

1st International Workshop on Neuro-Symbolic Software Engineering co-located with ICSE 2025 Ottawa, Ontario, Canada > Go to article

20th International Conference on Software Engineering for Adaptive and Self-Managing Systems > Go to article