2 citations · 3 across the 4 of their papers we have counts for
4 papers · 1 filter
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.…
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…
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))…