4 citations · 8 across the 7 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
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…
cs.SE2024★ 1 cited
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…