Johannes Dyck

According to our database, Johannes Dyck authored at least 12 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation.

Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel

Ecol. Informatics, July, 2023

2020

Verification of graph transformation systems with k-inductive invariants.

Johannes Dyck

PhD thesis, 2020

Collective risk minimization via a bayesian model for statistical software testing.

Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese

Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.

Sven Schneider, Johannes Dyck, Holger Giese

Proceedings of the Graph Transformation - 13th International Conference, 2020

2019

Automatic verification of behavior preservation at the transformation level for relational model transformation.

Johannes Dyck, Holger Giese, Leen Lambers

Softw. Syst. Model., 2019

2017

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

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

k-Inductive Invariant Checking for Graph Transformation Systems.

Johannes Dyck, Holger Giese

Proceedings of the Graph Transformation - 10th International Conference, 2017

2015

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

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Inductive Invariant Checking with Partial Negative Application Conditions.

Johannes Dyck, Holger Giese

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Graph Transformation Systems and Verification with k-Inductive Invariants.

Johannes Dyck

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations.

Christian Krause, Johannes Dyck, Holger Giese

Proceedings of the Theory and Practice of Model Transformations, 2013

2011

Iterative Development of Consistency-Preserving Rule-Based Refactorings.

Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese

Proceedings of the Theory and Practice of Model Transformations, 2011