Johannes Dyck

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 7

Top Topics

Software Testing

Formal Verification

Graph Transformation

Risk Minimization

Top Venues

Softw. Syst. Model.

Publications

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