Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Laufende Arbeiten

Simplicity-Oriented Web-Based Control of Active Automata Learning

Betreuer:

Bachelorarbeit, Alexander Bainczyk, Technische Universität Dortmund

Counterexample-Guided Abstraction Refinement for the Verification of Large-Scale Reactive Systems

Betreuer:

Bachelorarbeit, Marc Jasper, Technische Universität Dortmund, 2015 (vsl.)

A service-oriented Interface for testing web applications via automata learning

Betreuer:

Bachelorarbeit, Alexander Schieweck, Technische Universität Dortmund

Entwicklung eines Sourcecode-Integrationsframeworks für TwinCAT

Betreuer:

Bachelorarbeit, Christoph Schürmann, Technische Universität Dortmund, 2015 (vsl.)

Entwicklung einer modular erweiterbaren Schnittstelle zur Untersuchung voneinander abhängiger, heterogener Testsysysteme

Betreuer:

Bachelorarbeit, Lutz Thrun, Technische Universität Dortmund, 2015 (vsl.)

Merge-Strategien für Graphmodelle am Beispiel von jABC und Git

Betreuer:

Diplomarbeit, Dominic Wirkner, Technische Universität Dortmund, 2015 (vsl.)



Nebeninhalt

 

Kontakt

Tel. (0231) 755-5801
Fax (0231) 755-5802