Sabine Winetzhammer
Papers
1
Total Citations
4
H-Index
1
About
Sabine Winetzhammer is a researcher whose work lies at the intersection of formal methods, software engineering, and model-driven development. Her primary research focuses on the specification and analysis of structurally dynamic reactive systems—systems whose architecture evolves during execution. Winetzhammer’s most cited paper, "Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems" (2014), proposes a novel integration of graph transformations with modal sequence diagrams to capture both structural reconfiguration and behavioral constraints. This contribution addresses a critical gap in modeling languages, enabling more precise and verifiable specifications for adaptive software. While her citation count is modest, her work is foundational for researchers tackling runtime adaptation and system evolution. Winetzhammer’s achievements include advancing the theoretical underpinnings of reactive system design, with implications for safety-critical and autonomous systems. Her research continues to influence the development of rigorous, model-based approaches to dynamic system engineering.
Research Focus
Key Achievements
Top Papers
- 1