direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Prof. Dr.-Ing. Stefan Jähnichen

Promotionen - Zweitgutachten

20152014201320122011 2010200920082007200620052004200320012000199919971996199419931992199119901989

2015
39


Mehlhase, Alexandra
Konzepte für die Modellierung und Simulation strukturvariabler Modelle, TU Berlin 2015
38


Venthur, Bastian
Design and Implementation of a Brain-Computer Interface System, TU Berlin 2015
2014
37
Wittern, Erik
Modeling and Selection of Software Service Variants, Karlsruher Institut für Technologie (KIT), 2014
36
Bartels, Björn
A Mechanized Verification Environment for Real-Time Process Algebras and Low-Level Programming Languages, TU Berlin, 2014
2013
35
Stoyanova, Nadya
Verbesserung der Qualität natürlich-sprachlicher Spezifikationen, Universität Stuttgart, 2013
2012
34
Wiese, Matthias
Kosten-Nutzenoptimierung von Tests modellbasiert entwickelter Fahrzeugfunktionen, Universität Stuttgart, 2012
35
Nörenberg, Ralf
Effizienter Regressionstest von E/E-Systemen nach ISO 26262, Karlsruher Institut für Technologie, 2012
2011
32
Andreas Schröder
Software engineering perspectives on physiological
computing
, LMU München, 2011
2010
31
Roland Reichle
Information Exchange and Fusion in Dynamic and Heterogeneous Distributed Environments, Universität Kassel, 2010
2009
30
Eicke Godehardt
Kontextualisierte Visualisierung am wissensintensiven Arbeitsplatz , TU Darmstadt, 2009
2008
29
Vladimir Stantchev
Architectural Translucency, TU Berlin, 2008
28
Matthias Krauledat
Analysis of Nonstationarities in EEG signals for improving Brain-Computer Interface performance. Technische Universität Berlin, 2008.
2007
27
Michael Niedermayer
Methodik zum Entwurf von miniaturisierten, energieautarken, verteilten Funksensorknoten, Technische Universität Berlin, 2007
26
Christian Ehrhardt
Static Code Analysis in Multi-Threaded Environments, Universität Ulm, 2007
2006
25
Stefan Wappler
Automatic Generation of Object-Oriented Unit Tests Using Genetic Programming, Technische Universität Berlin, 2007
2005
24
Katharina Mehner
Trace-based Debugging and Visualisation of Concurrent Java Programs with UML, Universität Paderborn, 2005
2004
23
Lars Grunske
Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf, Universität Potsdam, 2004
22
Markus Lepper
An Algorithm for the Real-Time Evaluation of Temporal Trace Specifications, Technische Universität Berlin, 2004
2003
21
Eckard Lehmann < eckard.lehmann(AT)daimlerchrysler.com >
Time Partition Testing - Systematischer Test des kontinuierlichen Verhaltens von eingebetteten Systemen, Technische Universität Berlin, 2003
2001
20
Klaus Didrich <klaus.didrich(AT)siemens.com>
Integration of Verification and Testing into Compilation Systems - Concept and Case Study - , Technische Universität Berlin, 2001
19
Christian Maeder
Zur Kontextanalyse einer algebraischen Programmiersprache, (pdf), Technische Universität Berlin, 2001
2000
18
Boris Bokowski
A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java, Freie Universität Berlin, 2000
17
Ullrich Köthe
Generische Programmierung für die Bildverarbeitung (pdf),  Universität Hamburg, 2000
1999
16
Holger Karl
Responsive Execution of Parallel Programs in Distributed Computing Environments, Humboldt-Universität zu Berlin, 1999
15
Wolfgang Grieskamp
A Set-Based Calculus and its Implementation, Technische Universität Berlin, 1999
14
Robert Geisler
Formal Semantics for the Integration of Statecharts and Z in a Metamodel-Based Framework, Technische Universität Berlin, 1999
1997
13
Patrick Jochum
Simulation und Optimierung solar unterstützter Heizsysteme mit dem Simulationssystem Smile, Technische Universität Berlin, 1997
12
Matthias Kloas
Eine Entwicklungsumgebung zur Unterstützung der Simulation energietechnischer Anlagen, Technische Universität Berlin, 1997
11
Dimitris Dranidis
A Formal Framework for the Design and Specification of Neural Networks, Ludwig-Maximilians-Universität München, 1997
1996
10
M.S. Weimin Chen
Efficient Multiple Dispatching based on Automata, Technische Hochschule Darmstadt, 1996
1994
9
Andreas Lampen
Attributierte Softwareobjekte als Basis zur Datenmodellierung in Software-Entwicklungsumgebungen, Technische Universität Berlin, 1994
1993
8
Knauer, Frank:
Subtraktive Adaption von Modularen Neuronalen Netzen. Technische Universität Berlin, 1993.
1992
7
Dieter Eßwein
Optimierte Compilation für superskalare Prozessoren nach dem Prinzip des strukturierten Scheduling, Technische Universität Berlin, 1992
6
Wolfram Schulte
Effiziente und korrekte Übersetzung strikter applikativer Programmiersprachen, Technische Universität Berlin, 1992
5
Maritta Heisel
Formale Programmentwicklung mit dynamischer Logik, Universität Karlsruhe, 1992
1991
4
Roland Zimbel
Graphische Spezifikationen - Ein graphik-adäquater, objekt-zentrierter Kalkül zur Entwicklung korrekter Programme, Universität Karlsruhe, 1991
1990
3
Alexander Bockmayr
Beiträge zur Theorie des logisch-funktionalen Programmierens, Universität Karlsruhe, 1990
2
Alexander Schill
Migrationssteuerung und Konfigurationsverwaltung für verteilte objektorientierte Anwendungen, Universität Karlsruhe, 1990
1989
1
Rainer Oechsle
Symmetrische und unterbrechende Prozeßkommunikation, Universität Karlsruhe, 1989

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe