Inhalt des Dokuments
Prof. Dr.-Ing. Stefan Jähnichen
Promotionen - Erstgutachten
2012 • 2011 • 2010 • 2008 • 2007 • 2005 • 2004 • 2003 • 2002 • 2001 • 2000 • 1999 • 1998 • 1997 • 1996 • 1995 • 1994 • 1993 • 1992 • 1991 • 1990
| 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 |
| 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 |
| 66 | Henry Sudhof A Mechanized Theory of Aspects Abstract, Volltext (pdf) Technische Universität Berlin, 2010 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 5 | Gerd Kock < gerd.kock(AT)first.fraunhofer.de > Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme, Universität Karlsruhe, 1992 |
| 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 |
| 1 | Wolf Zimmermann < zimmer(AT)informatik.uni-halle.de > Automatische Komplexitätsanalyse funktionaler Programme, Universität Karlsruhe, 1990 |