direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Prof. Dr.-Ing. Stefan Jähnichen

Promotionen - Erstgutachten

20142013201220112010 200820072005 2004200320022001200019991998 19971996199519941993199219911990

2014
77
Benjamin Wilmes
Hybrides Testverfahren für Simulink/TargetLink-Modelle
Technische Universität Berlin, 2014
76
Anastasia Cmyrev
Optimierte Variantenselektion für einen effizienten E/E-Produktlinientest
Technische Universität Berlin, 2014
2013
75
Andreas Mertgen
Modularisierung und Wiederverwendung durch generische Klassen in Object Teams
Abstract, Volltext (pdf)
Technische Universität Berlin, 2013

74
Alexander Rein-Jury
Feature Constraint Propagation along Configuration Links for Advanced Feature Models
Abstract, Volltext (pdf)
Technische Universität Berlin, 2013

2012
73
Abdullah Al-Zaghameem
Extending the Object Teams Programming Model into Distributed Environments
Abstract, Voltext (pdf)
Technische Universität Berlin, 2012
72
Lars Kristian Klauske
Effizientes Bearbeiten von Simulink Modellen mit Hilfe eines spezifisch angepassten Layoutalgorithmus
Technische Universität Berlin, 2012
71
Felix Lindlar <felixlindlar(AT)yahoo.com>
Modellbasierter evolutionärer Funktionstest
Abstract, Volltext (pdf)
Technische Universität Berlin, 2012
70
Stefan Klose
Automatische Kalibrierung von Multiprojektorsystemen
Abstract, Volltext (pdf)
Technische Unviersität Berlin, 2012
2011
69
Andreas Windisch 
Suchbasierter Strukturtest für Simulink Modelle
Abstract, Volltext (pdf)
Technische Universität Berlin, 2011
68
Moritz Kleine
CSP as a Coordination Language
Abstract, Volltext (pdf)
Technische Universität Berlin, 2011
67
Fadi Chabarek
Interaktive Vervollständigung von Szenariospezifikationen
Abstract, Volltext (pdf)
Technische Universität Berlin, 2011
2010
66
Henry Sudhof                                                                 
A Mechanized Theory of Aspects
Abstract, Volltext (pdf)
Technische Universität Berlin, 2010
2008
65
Mark-Oliver Reiser
Managing Complex variability in Automotive Software Product Lines with Supscoping and Configuration Links
Abstract, Volltext (pdf)
Technische Universität Berlin, 2008
64
Kerstin Buhr
Methodenorientierte Gestaltung von Entwicklungsprozessen am Beispiel eingebetteter Fahrzeugsoftware
Abstract, Volltext (pdf)
Technische Universität Berlin, 2008

2007
63
Dirk Seifert
Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten Technische Universität Berlin, 2007
62
Steffen Helke
Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion
Abstract, Volltext(pdf)
Technische Universität Berlin, 2007
61
Jan Wloka
Tool-supported Refactoring of Aspect-oriented Programs
Abstract , Volltext (pdf)
Technische Universität Berlin, 2007
2005
60
Dirk Matzke
Mehrdimensionale Multiressourcenplanung mit Constraintlösern 
Abstract, Volltext (pdf)
Technische Universität Berlin, 2005
59
Margot Bittner
Enhancing the Fusion Method to FusionB - Requirements Engineering and Formal Specificationopus.kobv.de/tuberlin/volltexte/2006/1303/pdf/bittner_margot.pdf
Abstract, Volltext (pdf)
Technische Universität Berlin, 2005
58
Roman Leshchinskiy
Higher-Order Nested Data Parallelism: Semantics and Implementation
Abstract, Volltext (pdf)
Technische Universität Berlin, 2005
57
Hasan Gökhan Bakir
Extensions to Kernel Dependency Estimation
Abstract, Volltext (pdf)
Technische Universität Berlin, 2005
56
Dehla Sokenou
UML-basierter Klassen- und Integrationstest objektorientierter Programme
Abstract, Volltext (pdf)
Technische Universität Berlin, 2005
2004
55
Julian Laub < jlulian.laub(AT)first.fhg.de >
Non-metric Pairwise Proximity Data (pdf), Technische Universität Berlin, 2004
54
Roman Krepki <roman.krepki(AT)accenture.com>
Brain-Computer Interfaces: Design and Implementation of an On-line BCI System for the Control in Gaming Applications and Virtual Limbs (pdf), Technische Universität Berlin, 2004
53
Ulrike von Luxburg < ulrike.luxburg(AT)tuebingen.mpg.de >
Statistical Learning with Similarity and Dissimilarity Functions, Technische Universität Berlin, 2004
52
Hans Schlenker < hans.schlenker@(AT)irst.fraunhofer.de >
Verteilte Constraint-basierte Eisenbahn-Simulation (pdf), Technische Universität Berlin, 2004
51
Mirko Conrad < Mirko.Conrad(AT)mathworks.com >
Modell-basierter Test eingebetteter Software im Automobil - Auswahl und Beschreibung von Testszenarien (html), Technische Universität Berlin, Deutscher Universitäts-Verlag, 2004
2003
50
Robert Büssow < buessow(AT)cs.tu-berlin.de >
Model Checking Combined Z and Statechart Specifications (pdf), Technische Universität Berlin, 2003
49
André Nordwig < nordwig(AT)cs.tu-berlin.de >
Integration von Sichten für die objektorientierte Modellierung hybrider Systeme (html), Technische Universität Berlin, 2003
48
Georg Ringwelski <g.ringwelski (AT)4c.ucc.ie>
Asynchrones Constraintlösen - Ein generische Ausführungsmodell zur adaptiven, inkrementellen Constraintverarbeitung (pdf), Technische Universität Berlin, 2003
2002
47
Sebastian Mika < sebastian.mika(AT)idalab.de >
Kernel Fisher Discriminants (pdf), Technische Universität Berlin, 2002
46
Carsten Sühl < carsten.suehl(AT)first.fraunhofer.de >
An Integration of Z and Timed CSP for Specifying Real-Time Embedded Systems (pdf), Technische Universität Berlin, 2002
45
Stephan Herrmann < stephan(AT)cs.tu-berlin.de >
Views and Concern and Interrelationships - Lessons Learned from Developing the Multi-View Software Engineering Environment PIROL (pdf), Technische Universität Berlin, 2002
44
Jens Gerlach < jens.gerlach(AT)first.fraunhofer.de >
Domain Engineering and Generic Programming for Parallel Scientific Computing (pdf), Technische Universität Berlin, 2002
43
Ulrich John
Konfiguration und Rekonfiguration mittels Constraint-basierter Modellierung, Technische Universität Berlin, 2002
2001
42
Annalisa Di Deo
Modeling Spatial and Temporal Data in an Object-Oriented Constraint Database Framework (pdf), Technische Universität Berlin, 2001
41
Markus Hannebauer < mhannebauer(AT)think-cell.com >
Autonomous Dynamic Reconfiguration in Collaborative Problem Solving (pdf), Technische Universität Berlin, 2001
40
Antônio Augusto Fröhlich < guto(AT)lisha.ufsc.br >
Application-Oriented Operating Systems (pdf), Technische Universität Berlin, 2001
39
Kirsten Winter < kirsten(AT)itee.uq.edu.au >
Model Checking Abstract State Machines (pdf), Technische Universität Berlin, 2001
2000
38
Wolf Pfannenstiel
Piecewise Execution of Nested Data-Parallel Programs, Technische Universität Berlin, 2000
37
Alexander Nareyek < alex(AT)ai-center.com >
Constraint-Based Agents (html), Technische Universität Berlin, 2000
36
Tobias Schrag < schrag(AT)dezentral.de >
Modellierung, Simulation und Optimierung solarthermischer Anlagen in einer objektorientierten Simulationsumgebung (pdf), Technische Universität Berlin, 2000
1999
35
Kathleen Steinhöfel
Stochastic Algorithms in Scheduling Theory, Technische Universität Berlin, 1999
34
Armin Wolf
Adaptive Constraintverarbeitung mit Constraint-Handling-Rules, Technische Universität Berlin, 1999
33
Thomas Santen < santen(AT)cs,tu-berlin.de >
Mechanized Logical Model of Z and Object-Oriented Specification Technische Universität Berlin, Shaker-Verlag, 1999
32
Gabriele Keller < keller(AT)cse.unsw.edu.au >
Transformation-based Implementation of Nested Data Parallelism for Distributed Memory Machines, Technische Universität Berlin, 1999
31
Andreas Fordan
Projection in Constraint Logic Programming, Technische Universität Berlin, 1999
1998
30
Jan-Juan Hiemer
Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts (html), Technische Universität Berlin, 1998
29
Alexander Smola
Lernen mit Kernen - Learning with Kernels (pdf), Technische Universität Berlin, 1998
28
Frank Lattemann
Systematische Spezifikation von Echtzeiteigenschaften: Die Punkt-Intervall Logik und ihre Anwendung, Technische Universität Berlin, 1998
27
Sadegh Sadeghipour
Testing Cyclic Software Components of Reactive Systems on the Basis of Formal Specifications (html), Technische Universität Berlin, 1998
26
Jens Kohlmorgen
Analyse schaltender und driftender Dynamik mit neuronalen Netzen (pdf), Technische Universität Berlin, 1998
1997
25
Viktor Friesen < viktor.friesen(AT)daimlerchrysler.com >
Objektorientierte Spezifikation hybrider Systeme (postscript), Technische Universität Berlin, 1997
24
Bernhard Schölkopf < bernhard.schoelkopf(AT)tuebingen.mpg.de >
Support Vector Learning (postscript), Technische Universität Berlin, 1997
23
Peter Rüppel < mail@peter-rueppel.de >
Ein generisches Werkzeug für den objektorientierten Softwaretest, Technische Universität Berlin, 1997
22
Manuel Chakravarty < chak(AT)cse.unsw.edu.au >
On the Massively Parallel Execution of Declarative Programs (html), Technische Universität Berlin, 1997
1996
21
Martin Simons < Martin.Simons(AT)daimlerchrysler.com >
The Presentation of Formal Proofs, Technische Universität Berlin, 1997
20
Jochen Liedtke (†2001)
On the Realization of Huge Sparsely-Occupied and Fine-Grained Address Spaces, Technische Universität Berlin, 1996
19
Herbert Mayer
Parallel Execution Enable by Refined Source Analysis: Cost and Benifits in a Supercompiler, Technische Universität Berlin, 1996
18
Birgit Heinz < b.heinz(AT)dr-birgit-heinz.de  >
Anti-Unifikation modulo Gleichheitstheorie und deren Anwendung zur Lemmagenerierung, Technische Universität Berlin, 1996
17
Joachim Trescher < Joachim.Trescher(AT)Philips.com >
Wohlgeformtheits-Kriterien für kompositionelle Spezifikationen paralleler zeitkritischer Systeme, Technische Universität Berlin, 1996
1995
16
Robert Gabriel
Eine Methode zur Spezifikation von Geometrie und Struktur zweidimensionaler Darstellungen, Technische Universität Berlin, 1995
15
Klaus Grimm
Systematisches Testen von Software - Eine neue Methode und eine effektive Teststrategie, Technische Universität Berlin, 1995
14
Thomas Jung < t.jung@fhtw-berlin.de >
Entwicklung einer Plattform zur interaktiven physikalisch basierten Animation gelenkig verbundener Systeme, Technische Universität Berlin, 1995
13
Matthias Anlauff < ma@kestrel.edu >
Rechnerunterstützung formaler Beweissprachen, Technische Universität Berlin, 1995
12
T.C. Nicholas Graham < graham@cs.queensu.ca >
Declarative Development of Interactive Systems, Technische Universität Berlin, stl.cs.queensu.ca/~graham/stl/pubs/ddis.html, 1995
1994
11
Jörg Nolte
Duale Objekte - Ein Modell zur objektorientierten Konstruktio
10
Frank Bieler
Spezifikationsbasiertes Testen verteilter Systeme, Technische Universität Berlin, 1994
9
Jiawang Wei
Fixpoint Transformations and Parallel Asynchronous Iterative Algorithms, Technische Universität Berlin, 1994
1993
8
Jochen Burghardt
Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion (postscript), Universität Karlsruhe, 1993
7
Markus Endler < endler(AT)inf.puc-rio.br >
A Language for High-Level Programming of Dynamic Reconfiguration, Technische Universität Berlin, 1993
6
Hendrik Lock < Hendrik.Lock(AT)sap-ag.de >
The Implementation of Functional Logic Programming Languages, Technische Universität Berlin, 1993
1992
5
Gerd Kock < gerd.kock(AT)first.fraunhofer.de >
Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme, Universität Karlsruhe, 1992
1991
4
Oliver Bittel
Ein tableaubasierter Theorembeweiser für die intuitionistische Logik, Universität Karlsruhe, 1991
3
Eduard Klein < Eduard.Klein(AT)fh-konstanz.de >
Ein Modell zur Generierung paralleler Attributauswerter, Universität Karlsruhe, 1991
2
Matthias Weber < matthias.weber(AT)carmeq.com>
A Meta-Calculus for Formal System Development, Universität Karlsruhe, 1991
1990
1
Wolf Zimmermann < zimmer(AT)informatik.uni-halle.de >
Automatische Komplexitätsanalyse funktionaler Programme, Universität Karlsruhe, 1990

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe