Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tamer N. Jarada
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Carlos Paredes
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Michelle Larissa Luciano Carvalho
Home
/
Author
/
JOHANNES DYCK
Author Info
Open Visualization
Name
Affiliation
Papers
JOHANNES DYCK
Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany
7
Collaborators
Citations
PageRank
14
20
2.68
Referers
Referees
References
53
234
97
Search Limit
100
234
Publications (7 rows)
Collaborators (14 rows)
Referers (53 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions.
0
0.34
2020
Collective risk minimization via a bayesian model for statistical software testing
0
0.34
2020
Automatic verification of behavior preservation at the transformation level for relational model transformation
0
0.34
2019
A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models.
0
0.34
2017
Inductive Invariant Checking With Partial Negative Application Conditions
2
0.37
2015
Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations.
7
0.41
2013
Iterative development of consistency-preserving rule-based refactorings
11
0.55
2011
1