Universität Paderborn » SFB 901 » Projects » Project Area B » B3 » Theses

Publications - Theses


2017 (2)

Sven Walther:
Knowledge-based Verification of Service Compositions
PhD thesis, Universität Paderborn (2017)

[Show BibTeX]
Matthias Becker:
Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction
PhD thesis, Universität Paderborn (2017)

[Show BibTeX] [DOI]

2016 (3)

Markus Dewender:
Verifikation von Service Kompositionen mit Spin
Bachelor thesis, Paderborn University (2016)

[Show Abstract] [Show BibTeX]
Philipp Heinisch:
Verifikation von Service Kompositionen mit Prolog
Bachelor thesis, Paderborn University (2016)

[Show Abstract] [Show BibTeX]
Mike Czech:
Predicting Rankings of Software Verification Tools Using Kernels for Structured Data
Master's thesis, Paderborn University (2016)

[Show BibTeX]

2015 (1)

Galina Besova:
Systematic Development and Re-Use of Model Tranformations
PhD thesis, University of Paderborn (2015)

[Show BibTeX] [DOI]

2014 (6)

Sebastian Osterbrink:
Visualisierung von SMT-Solver-Ausgaben
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]
Manuel Töws:
Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Maryam Sanati:
Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Suman Jojiju:
Finding Optimal Self-Adaption Rules by Design-Space Exploration
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Benjamin Bulk:
Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction
Master's thesis, University of Paderborn (2014)

[Show BibTeX]
Andreas Krakau:
Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT
Bachelor thesis, University of Paderborn (2014)

[Show BibTeX]

2013 (2)

Marco Engelbrecht:
Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern
Bachelor thesis, University of Paderborn (2013)

[Show BibTeX]
Tobias Nickel:
Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking
Bachelor thesis, University of Paderborn (2013)

[Show BibTeX]

2012 (2)

Mario Mohr:
Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis
Master's thesis, University of Paderborn (2012)

[Show BibTeX]
Sebastian Lehrig:
Empirischer, quantitativer Vergleich von Modelltransformationssprachen
Master's thesis, University of Paderborn (2012)

[Show BibTeX]

2011 (1)

Joachim Meyer:
Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud
Master's thesis, University of Paderborn (2011)

[Show BibTeX]