Johannes Dyck

13 papers B 3Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
Modeling and formal analysis of meta-ecosystems with dynamic structure using graph transformation.
Ecol. Informatics
Boris Flotterer, Maria Maximova, Sven Schneider, Johannes Dyck, Christian Zöllner, Holger Giese, Christelle Hély, Cédric Gaucherel
2020 J jnl
Collective Risk Minimization via a Bayesian Model for Statistical Software Testing.
CoRR
Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese
2020 — conf
Collective risk minimization via a bayesian model for statistical software testing.
SEAMS@ICSE
Joachim Hänsel, Christian M. Adriano, Johannes Dyck, Holger Giese
2020 B conf
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.
ICGT
Sven Schneider, Johannes Dyck, Holger Giese
2020 — —
Verification of graph transformation systems with k-inductive invariants.
Johannes Dyck
2019 J jnl
Automatic verification of behavior preservation at the transformation level for relational model transformation.
Softw. Syst. Model.
Johannes Dyck, Holger Giese, Leen Lambers
2017 — conf
A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models.
RE Workshops
Dominique Blouin, Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen
2017 B conf
k-Inductive Invariant Checking for Graph Transformation Systems.
ICGT
Johannes Dyck, Holger Giese
2015 B conf
Inductive Invariant Checking with Partial Negative Application Conditions.
ICGT
Johannes Dyck, Holger Giese
2015 — conf
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations.
AMT@MoDELS
Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner
2014 — conf
Graph Transformation Systems and Verification with k-Inductive Invariants.
Joint Workshop of the German Research Training Groups in Computer Science
Johannes Dyck
2013 — conf
Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations.
ICMT
Christian Krause, Johannes Dyck, Holger Giese
2011 — conf
Iterative Development of Consistency-Preserving Rule-Based Refactorings.
ICMT@TOOLS
Basil Becker, Leen Lambers, Johannes Dyck, Stefanie Birth, Holger Giese