22 Publications

2023 | Dissertation | LibreCat-ID: 47833
König, J. (2023). On the Membership and Correctness Problem for State Serializability and Value Opacity.
LibreCat
 
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer, S. (2020). Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn.
LibreCat
 
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat
 
2018 | Bachelorsthesis | LibreCat-ID: 3320
Rautenberg, K. (2018). Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn.
LibreCat
 
2017 | Mastersthesis | LibreCat-ID: 3512
Börding, P. (2017). Testing Java Method Contracts. Universität Paderborn.
LibreCat
 
2017 | Dissertation | LibreCat-ID: 707
Walther, S. (2017). Knowledge-based Verification of Service Compositions. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-307
LibreCat | DOI
 
2017 | Dissertation | LibreCat-ID: 102
Becker, M. (2017). Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-133
LibreCat | DOI
 
2016 | Mastersthesis | LibreCat-ID: 164
Czech, M. (2016). Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 133
Dewender, M. (2016). Verifikation von Service Kompositionen mit Spin. Universität Paderborn.
LibreCat
 
2016 | Bachelorsthesis | LibreCat-ID: 134
Heinisch, P. (2016). Verifikation von Service Kompositionen mit Prolog. Universität Paderborn.
LibreCat
 
2015 | Dissertation | LibreCat-ID: 246
Besova, G. (2015). Systematic Development and Re-Use of Model Tranformations. Universität Paderborn.
LibreCat | Files available
 
2014 | Bachelorsthesis | LibreCat-ID: 333
Osterbrink, S. (2014). Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 359
Töws, M. (2014). Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 422
Sanati, M. (2014). Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions. Universität Paderborn.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 423
Jojiju, S. (2014). Finding Optimal Self-Adaption Rules by Design-Space Exploration. Universität Paderborn.
LibreCat
 
2014 | Mastersthesis | LibreCat-ID: 427
Bulk, B. (2014). Evaluating the Influence of Different Abstraction Levels of Software Design on Performance prediction. Universität Paderborn.
LibreCat
 
2014 | Bachelorsthesis | LibreCat-ID: 430
Krakau, A. (2014). Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT. Universität Paderborn.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 472
Engelbrecht, M. (2013). Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn.
LibreCat
 
2013 | Bachelorsthesis | LibreCat-ID: 556
Nickel, T. (2013). Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking. Universität Paderborn.
LibreCat
 
2012 | Mastersthesis | LibreCat-ID: 610
Mohr, M. (2012). Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis. Universität Paderborn.
LibreCat | Files available
 
2012 | Mastersthesis | LibreCat-ID: 614
Lehrig, S. (2012). Empirischer, quantitativer Vergleich von Modelltransformationssprachen. Universität Paderborn.
LibreCat
 
2011 | Mastersthesis | LibreCat-ID: 655
Meyer, J. (2011). Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud. Universität Paderborn.
LibreCat
 

Filters and Search Terms

project=11

(type=bachelorsthesis OR type=mastersthesis OR type=dissertation)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export