2 citations · 3 across the 6 of their papers we have counts for
6 papers
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.…
Checking Timed Bisimilarity with Virtual Clocks
Alexander Lieb, Hendrik Göttmann, Lars Luthmann +2
Timed automata are a widely used formalism for specifying the discrete-state/continuous-time behavior of time-critical reactive systems. For the fundamental verification problem of…
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…
Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules
Lars Fritsche, Jens Kosiol, Alexander Lauer +2
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation 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))…
Model Transformations in Practice Workshop (MTiP)
Jean Bézivin, Bernhard Rumpe, Andy Schürr +1
Model Transformations in Practice (MTiP) 2005 was a workshop which provided a forum for the model transformation community to discuss practical model transformation issues. Althoug…