TrustSoft - Graduate School on Trustworthy Software Systems

Dissertations

Students with Scholarship

  • Happe, Jens: Predicting Software Performance in Symmetric Multiprocessing Environments, Supervisors: R. Reussner, E. Best PDF-Dokument
  • Koziolek, Heiko: Parameter Dependencies for Reusable Performance Specifications of Software Components, Supervisors: R. Reussner, W. Hasselbring PDF-Dokument
  • Meyer, Roland: Structural Stationarity in the π -Calculus, Supervisors: E.-R. Olderog, E. Best, D. Sangiorgi PDF-Dokument
  • Winteler, Daniel: Haftung und Regressanspruch des Automobilherstellers bei fehlerhafter Fahrzeugsoftware, Supervisor: J. Taeger PDF-Dokument

Students with other Funding

  • Becker, Steffen: Coupled Model Transformations for QoS Enabled Component-Based Software Design, Supervisors: R. Reussner, W. Hasselbring PDF-Dokument
  • Giesecke, Simon: Architectural Styles for Early Goal-driven Middleware Platform Selection, Supervisors: R. Reussner, W. Hasselbring PDF-Dokument
  • Platzer, Andre: Differential Dynamic Logics - Automated Theorem Proving for Hybrid Systems, Supervisors: E.-R. Olderog, W. Damm, T. Nipkow PDF-Dokument
  • Westphal, Bernd: Specification and Verification of Dynamic Topology Systems - On the Applicability of Query- and Data-Type-Reduction-based Abstractions, Supervisors: W. Damm, A. Podelski PDF-Dokument