1 citations · 1 across the 1 of their papers we have counts for
4 papers
Using weakest application conditions to rank graph transformations for graph repair
Lars Fritsche, Alexander Lauer, Maximilian Kratz +2
When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph i…
Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
Maximilian Kratz, Steffen Zschaler, Jens Kosiol +1
Once an optimisation problem has been solved, the solution may need adaptation when contextual factors change. This challenge, also known as reoptimisation, has been addressed in v…
Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
Maximilian Kratz, Sebastian Ehmes, Philipp Maximilian Menzel +1
Software engineers are faced with the challenge of creating control algorithms for increasingly complex dynamic systems, such as the management of communication network topologies.…
Graph-Based Specification and Automated Construction of ILP Problems
Sebastian Ehmes, Maximilian Kratz, Andy Schürr
In the Model-Driven Software Engineering (MDSE) community, the combination of techniques operating on graph-based models (e.g., Pattern Matching (PM) and Graph Transformation (GT))…