30 citations · 32 across the 2 of their papers we have counts for
2 papers
cs.PF2023★ 2 cited
Shirac: A linear algebra for event-based system modeling
Iwan Feras Fattohi, Christian Prehofer, Frank Slomka
Digital signal theory is an extension of the analysis of continuous signals. This extension is provided by discretization and sampling. The sampling of signals can be mathematicall…
cs.SE2014★ 30 cited
Feature Specification and Refinement with State Transition Diagrams
Cornel Klein, Christian Prehofer, Bernhard Rumpe
In this paper, we introduce a graphic specification technique, called state transition diagrams (STD), and show the application to the feature interaction problem. Using a stream-b…