|
| [4] | k-Inductive Invariant Checking for Graph Transformation Systems (Johannes Dyck, Holger Giese), In Graph Transformation, ICGT 2017 (Juan de Lara, Detlef Plump, eds.), Springer, volume 10373, 2017. |
|
| [3] | Inductive Invariant Checking with Partial Negative Application Conditions (Johannes Dyck, Holger Giese), In Graph Transformation (Francesco Parisi-Presicce, Bernhard Westfechtel, eds.), Springer, volume 9151, 2015. |
|
| [2] | Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (Christian Krause, Johannes Dyck, Holger Giese), In Theory and Practice of Model Transformations, ICMT 2013 (Keith Duddy, Gerti Kappel, eds.), Springer, volume 7909, 2013. |
|
| [1] | Iterative Development of Consistency-Preserving Rule-Based Refactorings (Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese), In Theory and Practice of Model Transformations, ICMT 2011 (Jordi Cabot, Eelco Visser, eds.), Springer, volume 6707, 2011. |
|
| [2] | A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models (Dominique Blouin, Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen), In IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, 2017. |
|
| [1] | Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Analysis of Model Transformations, AMT 2015 (Jürgen Dingel, Sahar Kokaly, Levi Lúcio, Rick Salay, Hans Vangheluwe, eds.), CEUR-WS.org, volume 1500, 2015. |
|
| [5] | Automatic Verification of Behavior Preservation at the Transformation Level for Relational Model Transformation (Johannes Dyck, Holger Giese, Leen Lambers), Technical report 112, Hasso Plattner Institute, University of Potsdam, 2017. |
| [4] | K-Inductive Invariant Checking for Graph Transformation Systems (Johannes Dyck, Holger Giese), Technical report 119, Hasso Plattner Institute, University of Potsdam, 2017. |
|
| [3] | Inductive Invariant Checking with Partial Negative Application Conditions (Johannes Dyck, Holger Giese), Technical report 98, Hasso Plattner Institute, University of Potsdam, 2015. |
|
| [2] | Increasing expressive power of graph rules and conditions and automatic verification with inductive invariants (Johannes Dyck), Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2012. |
|
| [1] | Automatische Generierung von AUTOSAR-Software-Konfigurationen (Johannes Dyck), Bachelor's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2009. |