Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis.

Scenario-based Derivation of Digital Ecosystem Requirements.

Data-driven context modeling for the elicitation of context-aware functionalities.

Automated Fault Tree Analysis by Composition of Type-Annotated Component Fault Trees.

Incorporating Software Product Line Knowledge into Requirements Processes.

AssistU - A framework for user interaction forensics.