 |
|
- Angerstein, Tobias: Modularization of representative load tests for microservice applications, Master Thesis No. 2, 2018.
- Antunovic, Ivan: Simulation, Modeling and Verification Environment for Multi-core Software Architectures for Automotive Embedded Systems, Master Thesis No. 93, 2019.
- Bilgery, Dominik: An industrial case study of Palladio: Evaluating the scalability, elasticity and cost-efficiency of a cloud-based architecture, Master Thesis No. 17, 2019.
- Borja, Manuel: Automatic software repair of C programs with genetic programming and fix patterns, Master Thesis No. 30, 2015.
- Düllmann, Thomas F.: Performance anomaly detection in microservice architectures under continuous change, Master Thesis No. 23, 2017.
- Keller, Fabian: Introducing Performance Awareness in an Integrated Specification Environment, Master Thesis No. 2016.
- Mahadevan, Saravanan: Implementation of a Consistency Test for Free-Choice Sugnal Transition Graphs, Master Thesis No. 1, 2004.
- Meyer, Philipp: Ein systematischer Vergleich zwischen modellbasierten und profiling-basierten Performance-Analyseverfahren, Master Thesis No. 61, 2018.
- Nguyen, Quang Tuan Anh: Performance Simulation of Scheduling Mechanisms for Heterogeneous Automotive Software Systems, Master Thesis No. 65, 2018.
- Niethammer, Philipp: Syntax-directed Incremental Verification of Java Modeling Language Contracts, Master Thesis No. 62, 2016.
- Noller, Yannic: Model counting of string constraints for probabilistic symbolic execution, Master Thesis No. 63, 2016.
- Paule, Christina: Securing DevOps : detection of vulnerabilities in CD pipelines, Master Thesis No. 66, 2018.
- Rudolph, Tobias: Improving Automatic Software Repair with Probabilistic Symbolic Execution, Master Thesis No. 2016.
- Suwimonteerabuth, Dejvuth: Verifying Java Bytecode with the Moped Model Checker, Master Thesis No. 5, 2004.
- Tarikere Phaniraja Setty, Raghuraj: Code generation from on-board software models conforming to the On-board Software Reference Architecture (OSRA) using DLR software technologies, Master Thesis No. 93, 2018.
- Vogel, Sebastian: Automated root cause isolation in performance regression testing, Master Thesis No. 96, 2017.
- Waldvogel, Claudio: Specification and Runtime Extraction of Enterprise Application Architectures for Expert-Guided Performance Problem Diagnosis, Master Thesis No. 21, 2015.
- Zwietasch, Tim: Online failure prediction for microservice architectures, Master Thesis No. 102, 2017.
|
|
Webmaster
)
| © University of Stuttgart |
Legal notice