Kontinuierliche Qualitätskontrolle von Webanwendungen auf Basis maschinengelernter Modelle
Stephan Windmüller, Technische Universität Dortmund, 2014
Higher order process engineering
Johannes Neubauer, Technische Universität Dortmund, 2014
User-Level Workflow Design: A Bioinformatics Perspective
Anna-Lena Lamprecht, Technische Universität Dortmund, 2013
Active automata learning for real life applications
Maik Merten, Technische Universität Dortmund, 2013
jETI: ein serviceorientiertes Framework zur high-level Ausführung von Remote-Komponenten
Christian Kubczak, Technische Universität Dortmund, 2013
Active learning of interface programs
Falk Howar, Technische Universität Dortmund, 2012
Large scale parallel state space search utilizing graphics processing units and solid state disks
Damian Sulewski, Technische Universität Dortmund, 2012
Construction and Evolution of Code Generators: A Model-Driven and Service-Oriented Approach
Sven Jörges, Technische Universität Dortmund, 2011
Feature-orientierte Entwicklung von rollenbasierten Systemen zur kooperativen Entscheidungsfindung
Martin Karusseit, Technische Universität Dortmund, 2010
Technische Herausforderungen modellgetriebener Beherrschung von Prozesslebenszyklen aus der Fachperspektive: von der Anforderungsanalyse zur Realisierung
Ralf Nagel, Technische Universität Dortmund, 2009
Extrapolation von Prozessmodellen aus Black-Box-Systemen mittels Automatenlernverfahren
Harald Raffelt, Technische Universität Dortmund, 2009
External memory algorithms for state space exploration in model checking and action planning
Shahid Jabbar, Universität Dortmund, 2008
Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese
Haiseung Yoo, Universität Dortmund, 2007
Challenges and Applications of Assembly-Level Software Model Checking
Tilman Mehler, Universität Dortmund, 2005
Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen
Claudia Gsottberger, Universität Dortmund, 2004
An integrated approach to testing complex systems
Oliver Niese, Universität Dortmund, 2003
A coarse granular approach to software development allowing non-programmers to build and deploy reliable, web based applications
Volker Braun, Universität Dortmund, 2002
