4 citations · 8 across the 7 of their papers we have counts for
7 papers
Diagram Control and Model Order for Sugiyama Layouts
Sören Domrös, Reinhard von Hanxleden
Graphical WYSIWYG editors programming languages are popular since they allow to control the diagram layout to express intention via secondary notation such as proximity and topolog…
From STPA to Safe Behavior Models
Jette Petzold, Reinhard von Hanxleden
Model checking is a proven approach for checking whether the behavior model of a safety-critical system fulfills safety properties that are stated as LTL formulas.We propose rules…
SPViz: A DSL-Driven Approach for Software Project Visualization Tooling
Niklas Rentz, Reinhard von Hanxleden
For most service architectures, such as OSGi and Spring, architecture-specific tools allow software developers and architects to visualize otherwise obscure configurations hidden i…
Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
Alexander Schulz-Rosengarten, Akash Ahmad, Malte Clement +6
Behavior Trees (BTs) provide a lean set of control flow elements that are easily composable in a modular tree structure. They are well established for modeling the high-level behav…
Top-Down Drawings of Compound Graphs
Maximilian Kasperowski, Reinhard von Hanxleden
Bottom-up layout algorithms for compound graphs are suitable for presenting the microscale view of models and are often used in model-driven engineering. However, they have difficu…
The Eclipse Layout Kernel
Sören Domrös, Reinhard von Hanxleden, Miro Spönemann +2
The Eclipse Layout Kernel (ELK) is a collection of graph drawing algorithms that supports compound graph layout and ports as explicit anchor points of edges. It is available as ope…