Liste der Promotionen am Department für Informatik

Nr. Datum der Disputation Autor Arbeit
292 27.09.2017 Nick Rüssmeier Testfeld für optische Sensoren zur Erstellung von maritimen Umweltlagebildern und optischer Strömungsmessung
291 Tayfun Gezgin State-based Timing Analysis for Distributed Systems
290 28.06.2017 Björn Wolff Support Vector Regression for Solar Power Prediction
289 Till Steinbach Ethernet-basierte Fahrzeugnetzwerkarchitekturen für zukünftige Echtzeitsysteme im Automobil
288 18.08.2017 Christian Neureiter A Domain-Specific, Model Driven Engineering Approach for Systems Engineering in the Smart Grid
287 31.05.2017 Reef Janes Eilers Abstraction of Aging Models for High Level Degradation Prediction
286 10.05.2017 Saskia Greiner Risikointegriertes Prozess Engineering am Beispiel Offshore Windpark
285 29.08.2017 Lars Weber Diver Modeling and Simulation of Lane Change Situations
284 24.04.2017 Judith Fröhling (geb. Neugebauer) Abstract Flexibility Description for Virtual Power Plant Scheduling
283 28.03.2017 Sören Zimmermann Dedicated Robotic Handling and Processing at the Submicrometer Scale: Feasibility Studies
282 09.08.2017 Ahmed Mahdi Advancing Software Model-Checking by SMT Interpolation Beyond Decidable Arithmetic Theories
281 07.06.2017 Cornelius Steinbrink A Non-Intrusive Uncertainty Quantification System for Modular Smart Grid Co-Simulation
280 19.05.2017 Saifullah Khan Geometry-Predicting Communication Protocols for Car2X Applications
279 26.04.2017 Yang Gao Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
278 19.12.2016 Daniel Lückehe Evolutionary Wind Turbine Placemanet Optimization with Geographical Constraints
277 14.02.2017 Stefan Janacek Identifikation von Freiheitsgraden und Wechselwirkungen in Rechenzentren unter Betrachtung elektrischer und thermischer Energie
276 18.11.2016 Oday Jubran Recurrence in Self-Stabilization
27505.12.2016 Justin Heinermann Wind Power Prediction with Machine Learning Ensembles
274 05.12.2016 Abhishek Awasthi Optimization of NP-hard Scheduling Problems by Developing Timing Algorithms and Parallelization
273 28.03.2017 Birthe Gebhardt Ein Analyse-Framework für zeitabhängige reaktive Ablaufplanung
272 12.12.2016 Janko Timmermann Development of a User-adaptive Mobile System to Support Running Training for Beginners
271 16.12.2016 Sebastian Beer Dynamic Coalition Formation in Electricity Markets
270 16.12.2016 Jutta Fortmann Wrist-Worn Light-Based Smart Digital Jewellery
269 28.11.2016 Volker Gollücke Bewertung von Simulationszuständen für eine gezielte Analyse risikoreicher Systeme
268 13.12.2016 Lama Balloul Life Cycle Management for System Landscape
267 21.10.2016 Nils Erik Flick Proving correctness of graph programs relative to recursively nested conditions
266 24.08.2016 Mirco Josefiok MedRec - Entwicklung eines Cockpits für die Ausbildung in der Differenzialdiagnostik
265 04.11.2016 Mohamed Abdelaal Enabling Energy-Efficient Wireless Sensing with Improved Service Quality
264 26.10.2016 Björn Engelmann Techniques for the Verification of Dynamically Typed Programs
263 17.06.2016 Serge Runge Energiewirtschaftlich optimierende Batterieeinsatzplanung in geschlossenen Transportsystemen mit Batteriewechsel
262 09.06.2016 Christian Denker Assessing the Spatio-Temporal Fitness of Information Supply and Demand on Ship Bridges
261 10.06.2016 Sören Schweigert Simulative Überprüfung von Sensordatenverarbeitungssystemen
260 11.07.2016 Maher Fakih State-Based Real-Time Analysis of Synchronous Date-Flow (SDF) Applications on MPSoCs with Shared Communication Resources
259 10.06.2016 Michael Blaich Path Planning and Collision Avoidance for Safe Autonomous Vessel Navigation in Dynamic Environments
258 09.06.2016 Sascha Hornauer Maritime Trajectory Negotiation for n-Vessel Collision Avoidance
257 02.09.2016 Markus Oertel A Linear Scaling Change Impact Analysis Based on a Formal Safety Model for Automotive Embedded Systems
256 17.05.2016 Daniel Schlitt Entwicklung einer auslastungsabhängigen Energieeffizienzmetrik für Rechenzentren
255 13.06.2016 Nico Grundmeier Simulationsbasierte Energiebedarfsprognose in Seehafen-Containerterminals
254 27.05.2016 Rainer Droste Modellbasierte Planung zur Unterstützung der Gefährdungsbeurteilung maritimer Operationen
253 28.04.2016 Chandan Kumar Regional Search and Visualization Methodologies for Multi-Criteria Geographic Retrieval
252 18.03.2016 Hendrik Radke A Theory of HR* Graph Conditions an their Application to Meta-Modeling
251 27.05.2016 Timo Michelsen Odysseus P2P: Verteile Datenstromverarbeitung in privaten P2P-Netzwerken
250 29.02.2016 Kiril Schröder Energie- und kostenorientiertes, auf Virtualisierung basiertes Last- und Powermanagement in einem Rechenzentrumsverbund
249 30.11.2015 Thomas Vogelgesang Multidimensionales Process-Mining für die Analyse medizinischer Versorgungsprozesse
248 16.12.2015 Marita Blank Reliability Assessment of Coalitions for the Provisions of Ancillary Services
247 20.11.2015 Tobias Krahn Flexible Detektion von Arzneimittelnebenwirkungen für die Versorgungsforschung
246 18.12.2015 Florian Fortmann Augmenting Monitoring Performance during Multi-UAV Supervisory Control with Adaptive Displays
245 04.12.2015 Anja Ohsenbrügge Dynamische Regel- und Reserveleistungsvorhaltung in zukünftigen Smart Grids
244 09.11.2015 Mani Swaminathan Quantitative and Structural Analysis of Real-Time and Probabilistic Systems
243 16.10.2015 Klaas Schmidt Wissensbasierte Entscheidungsunterstützungssysteme zur Übertragung und Wiederanwendung von Erfahrungswissen aus Entscheidungsprozessen
242 11.09.2015 Jan Pinkowski Prozessgetriebene Risikoanalyse zur Bewertung maritimer Operationen
241 03.07.2015 Andreas Solsbach Document Engineering als Ansatz für eine überbetriebliche Nachhaltigkeitsberichterstattung
240 29.06.2015 Ana-Maria Stoffers Subjektive Theorien von Informatiklehrkräften zur fachdidaktischen Strukturierung ihres Unterrichts
239 19.06.2015 Monika Walter Ein Konzept zur Identifikation von Unterstützungspotenzial für Simulationsstudien bei Verwendung multidimensionaler Datenmodelle
238 23.06.2015 Steffen Kruse Co-Evolution of Metamodels and Model Transformations
237 27.04.2015 Benjamin Wagner vom Berg Konzeption eines Substainability Customer Relationship Managements für Anbieter nachhaltiger Mobilität
236 06.03.2015 Kim Grüttner Application Mapping and Communication Synthesis for Object-Oriented Platform-Based Design
235 29.04.2015 Philipp Gringel Unternehmensspezifische Anpassung von Enterprise Architecture Frameworks
234 17.04.2015 Astrid Nieße Verteilte kontinuierliche Einsatzplanung in Dynamischen Verteilten Kraftwerken
233 09.03.2015 Carsten Wissing ReFlex:Marktbasiertes Redispatch mit Flexibilitäten von Netznutzern für das Verteilnetz
232 02.03.2015 Christian Kuka Qualitätssensitive Datenstromverarbeitung zur Erstellung von dynamischen Kontextmodellen
231 12.03.2015 Ralf Buschermöhle Optimizing Development Processes
230 04.02.2015 Jörg Bremer Constraint-Handling mit Supportvektor-Dekodern in der verteilten Optimierung
229 28.11.2014 Claas Diederichs Fast and robust camera-based notion tracking using FPGAs in microrobotics
228 20.02.2015 Sven Linker Proofs for Traffic Safety - Combining Diagrams and Logic
227 17.11.2014 Sebastian Senge Ein Bienen-inspiriertes Schwarmintelligenz-Verfahren zum Routing im Straßenverkehr
226 05.12.2014 Christian Dänekas Nutzung von Technologieroadmaps zur Planung der Unternehmensarchitektur von Energieversorgungsunternehmen
225 02.10.2014 Xuan Ha Nguyen Simulation, Validation and Optimization of Stick-Slip Drives for Nanorobotic Applications
224 07.11.2014 Miada Naana Data-Warehouse-basierte Konzeption eines Strategischen Öko-Controlling-Systems
223 05.09.2014 Florian Krohs Nanohandling and Nanometrology by the Atomic Force Microscope
222 31.07.2014 Abiot Sinamo Boltena Neuro-Fuzzy-ANP based Decision Model for ERP System Selection
221 10.11.2014 Ammar Memari A Model for Adaptive Applications on the Semantic Web
220 08.07.2014 Dirk Peters Adaptive Lehr- und Lernsysteme zur Unterstützung der praktischen Ausbildung an ERP-Systemen
219 17.07.2014 Benjamin Poppinga Sensor-supported, Unsupervised Observation Techniques for Field Studies
218 23.07.2014 Andreas Eggers Direct Handling of Ordinary Differential Equations in Constraint-Solving-Based Analysis of Hybrid Systems
217 24.11.2014 Tim Hoerstebrock Strategische Analyse der Elektromobilität in der Metropolregion Bremen/Oldenburg
216 05.06.2014 Christoph Schwarz Untersuchung zur Steigerbarkeit von Flexibilität, Performanz und Erweiterbarkeit von Fahrerlosen Transportsystemen durch den Einsatz dezentraler Steuerungstechniken
215 24.06.2014 Mohamad Rabbath Re-Composition of Distributed Social Media Content
214 19.06.2014 Bertram Wortelen Das Adaptive-Information-Expectancy-Modell zur Aufmerksamkeitssimulation eines kognitiven Fahrermodells
213 26.06.2014 Myriam Lipprandt Entwicklung eines modellgetriebenen Verfahrens zur Abbildung sensorbasierter Daten aus häuslichen Assistenzsystemen auf medizinische Befundberichte
212 15.05.2014 Christian Hinrichs Selbstorganisierte Einsatzplanung dezentraler Akteure im Smart Grid
211 26.02.2014 Christian Lüpkes Ad-hoc-Datentransformationen für Analytische Informationssysteme
210 13.01.2014 Dania Pérez Armayor Technology Combinations Decision Model for Supply Chains Information Systems Integration
209 25.02.2014 Melvin Isken Optimierte Roboter-Navigation und geriatrische Mobilitäts-Assessments in häuslichen Umgebungen
208 28.01.2014 Ralph Görgen Effiziente Integration von Hardwarebeschreibungen in Simulink/TDF-Simulationen
207 26.02.2014 Nils Henning Müllner Unmasking fault tolerance: Quantifying deterministic recovery dynamics in probabilistic environments
206 22.11.2013 Christian Dahmen Robust Object Tracking for Micro- and Nanorobotics
205 13.01.2014 Kai Hylla Bridging the Gap Between Precise RT-Level Power/Timing Estimation and Fast High-Level Simulation
204 29.11.2013 Dennis Geesen Maschinelles Lernen in Datenstrommanagementsystemen
203 16.12.2013 Tim Strazny An Algorithmic Framework for Checking Coverability in Well-Structured Transition Systems
202 27.11.2013 Steffen Schütte Simulation Model Composition for the Large-Scale Analysis of Smart Grid Control Mechanisms
201 05.11.2013 Olaf Wilken Aktivitätserkennung basierend auf Nutzung elektrischer Geräte im häuslichen Bereich
200 13.08.2013 Matthias Mertens KNOBI - Knowledge based Business Intelligence for Business User Information-Self-Service
199 05.07.2013 Tariq Mahmoud Lightweight Semantic-enabled Enterprise Service-Oriented Architecture
198 03.07.2013 Axel Helmer Integration medizinischer Modelle in elektronische Gesundheitsakten
197 05.07.2013 Jan-David Quesel Similarity, Logic, and Games - Bridging Modelling Layers of Hybrid Systems
196 30.05.2013 Eike Thaden Semi-Automatic Optimization of Hardware Architectures in Embedded Systems
195 03.05.2013 Abhishek Dhama A Compositional Framework for Designing Self-Stabilizing Distributed Algorithms
194 04.02.2013 Matthias Büker An Automated Semantic-Based Approach for Creating Task Structures
193 22.11.2012 Claas Busemann Ein effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden
192 04.10.2012 Mahmoud Amer Measuring Electronic Service Quality in the Business-to-Business Domain
191 08.10.2012 Tobias Hesselmann Designing User Interfaces for Interactive Tabletops
190 07.12.2012 Philipp Sandhaus Analysis, Retrieval and Layout for Digital Photobooks
189 18.10.2012 Thomas Frenken Technischer Ansatz zur unaufdringlichen Mobilitätsanalyse im Rahmen geriatrischer Assessments
188 24.09.2012 Sebastian Rohjans (S2)In - Semantic Service Integration for Smart Grids
187 01.10.2012 Daniela Wolff Kontextsensitive Unterstützung Wissensintensiver Geschäftsprozesse
186 20.07.2012 Stefan Flöring KnoVA: A Reference Architecture for Knowledge-based Visual Analytics
185 20.07.2012 Kinga Kiss Iakab Probabilistic Quorum Systems for Dependable Distributed Data Management
184 29.08.2012 Tino Teige Stochastic Satisfiability Modulo Theories - A Symbolic Technique for the Analysis of Probabilistic Hybrid Systems
183 27.09.2012 Sven Rosinger RT-Level Power-Gating Models optimizing Dynamic Leakage-Management
182 17.08.2012 Andreas Thiel Sicherheitskonzept für die medizinische Bildverarbeitung in unsicheren Grid-Umgebungen
181 20.08.2012 Martin Pielot Conveying Spatial Information for Navigation and Orientation
180 14.12.2012 Amna Asif Supporting route guidance of car drivers with a tactile display on urban roads
179 30.05.2012 Tim Wortmann Automatic Image Analysis in Micro- and Nanorobotic Environments
178 11.07.2012 Ontje Lünsdorf Selbstorganisation virtueller Geräte für das Lastmanagement von Kleinverbrauchern
177 18.06.2012 Henning Jost Reasoning on Domain Knowledge and Technical Standards to Support the Development of Safety-Critical Automotive Systems
176 19.07.2012 Niels Henze Camera-based Mobile Interaction with Physical Objects
175 12.06.2012 Yvette Teiken Automatic Model Driven Analytical Information Systems
174 01.06.2012 Stanley Mungwe Adaptive Control of a Tractile Surgical Navigation System
173 04.05.2012 Friedrich Kretschmer Automatisiertes Tracking von Kopf- und Augenbewegungen bei 360°-Stimulation zur Charakterisierung des visuellen Systems kleiner Wirbeltiere
172 03.07.2012 Christina Dörge Informatische Schlüsselkompetenzen - Konzepte der Informationstechnologie im Sinne einer informatischen Allgemeinbildung
171 03.04.2012 Daniel Süpke Referenzarchitektur zur dialogbasierten Nachhaltigkeitsberichterstattung im Web 2.0
170 13.04.2012 Stephan große Austing Komplexitätsmessung von Produktmodellen
169 27.04.2012 Roland Koppe Eine Methodik zur strategischen Einflussbewertung von Methodenänderungen in Entwicklungsprozessen
168 29.02.2012 Fabian Gieseke From Supervised to Unsupervised Support Vector Machines and Applications in Astronomy
167 14.05.2012 Carsten Homburg Mechatronic Processing Objects - Eine verarbeitungsorientierte Modellrepräsentation als Basis einer offenen Entwurfsumgebung für mechatronische Systeme
166 28.02.2012 José Manuel González Vázquez Ein Referenzmodellkatalog für die Energiewirtschaft
165 24.01.2012 Stefan Häusler Prozessorientiertes Produktmonitoring für die Entwicklung elektronischer Systeme
164 16.12.2011 Jens Oehlerking Decomposition of Stability Proofs for Hybrid Systems 
163 16.11.2011 Christoph Edeler Modellierung und Validierung der Krafterzeugung mit Stick-Slip-Antrieben für nanorobotische Anwendungen
162 29.08.2011 Johannes Faber Verification Architectures for Complex Real-Time Systems
161 19.09.2011 Oliver Koslowski Clinical Decision Support with Guidelines and Bayesian Networks
160 14.10.2011 Jonas Jacobi Latenzreduktion priorisierter Nachrichten in Datenstrom-Managementsystemen
159 10.10.2011 Matthias Postina Evolutionsmanagement prozess- und serviceorientierter Unternehmensarchitekturen
158

12.10.2011

Ralph Stuber Integrationsnachgelagertes Datenmanagement in Data Warehouses
157

  24.10.2011

Jan Aalmink Enterprise Tomography – ein effizientes Diagnoseverfahren zur semiautomatischen Lokalisierung von polymorphen Intergrations-konzepten in Unternehmenssoftwaresystemen
156 18.07.2011 Astrid Rakow Slicing and Reduction Techniques for Model Checking Petri Nets
155 27.06.2011 Tim Puls Lokalisations- und Regelungsverfahren für einen 4-Rotor-Helikopter
154 8.07.2011 Bolles, André Ein datenstrombasiertes Framework zur Objektverfolgung am Beispiel von Fahrerassistenzsystemen Extended Abstract
153 06.06.2011 Daniel Jasper SEM-based motion control for automated robotic nanohandling Vollversion Externer Link auf Buch
152 24.05.2011

Marco Hoyer

Resource Management in Virtualized Data Centers Regarding Performance and Energy Aspects Vollversion
151 08.04.2011 Stefan Brüggemann Konsistenzsicherung im Datenqualitätsmanagement.
150 03.02.2011 Volkmar Eichhorn Nanorobotic handling and characterization of carbon nanotubes inside the scanning electron microscope Abstract
149 05.11.2010 Peter Cissek Strategische Unternehmensplanung in einer Data Warehouse-Umgebung unterstützt durch ein Wissensmanagementsystem Vollversion Abstract
148 13.03.2011 Christian Storm Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-based Data Replication Schemes
147 28.10.2010 Petra Beenken Schutz sicherheitsrelevanter Informationen in verteilten Energieinformationssystemen Abstract
146 13.12.2010 Dirk Ahlers Geographically Focused Web Information Retrieval
145 27.09.2010 Jan Stefan Addicks Bewertung betrieblicher Anwendungen im Kontext ihrer Unternehmensarchitektur
144 04.08.2010 Christian Herde Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
143 14.04.2010 Martin Tröschel Aktive Einsatzplanung in holonischen virtuellen Kraftwerken
142 19.02.2010 Henrik Lipskoch Optimisation of battery operating life considering software tasks and their timing behavior
141 12.05.2010 Andreas Schallenberg Dynamic Partial Self-Reconfiguration: Quick Modeling, Simulation, and Synthesis
140 10.12.2009 Marko Boskovic Model-driven Performance Measurement and Assessment races
139 26.11.2009 Domenik Helms Leakage Models for High Level Power Estimation 
138 13.11.2009 Thomas Biskup Agile fachmodellgetriebene Softwareentwicklung für mittelständische IT-Projekte
137 21.10.2009 Mathias Uslar Ontologiebasierte Integration heterogener Standards in der Energiewirtschaft
136 13.10.2009 Sven Frimont Ein Ansatz für die Nutzung teildefekter Field Programmable Gate Arrays (FPGAs) in der Serienproduktion
135 28.09.2009 Timo Warns Structural Failure Models for Fault-Tolerant Distributed Computing
134 11.09.2009 Karl-Heinz Pennemann Development of Correct Graph Transformation Systems
133 08.07.2009 Jasminka Matevska Modellbasierte erreichbarkeitsoptimierte Rekonfiguration komponentenbasierter Softwaresysteme zur Laufzeit
132 07.07.2009 Melina Brell Eine vibrotaktile Mensch-Maschine-Schnittstelle für chirurgische Applikationen
131 30.06.2009 Fabian Grüning Datenqualitätsmanagement in der Energiewirtschaft
130 29.06.2009 Ludger Winkels Referenzmodell für die Tageseinsatzplanung dezentraler heterogener Energieerzeugungsanlagen
129 23.04.2009 Tanja Schmedes Serviceorientierte Architekturen für dezentrales Energiemanagement
128 20.02.2009 Roland Meyer Structural Stationarity in the π-Calculus
127 10.02.2009 Nico Brehm Förderierte ERP-Systeme auf Basis von  Web Services
126 10.02.2009 Tobe Toben Analysis of Dynamic Evolution Systems by Spotlight Abstraction Refinement
125 09.01.2009 Kevin Hausmann Permeter-Performanzmessung in der Produktentwicklung auf Basis semantisch integrierter Produktmodelle
124  19.12.2008 André Platzer Differential Dynamic Logics
123 15.12.2008 Richard Hackelbusch Ein ontologiebasierter Ansatz zur Repräsentation von Studiengängen und ihren Regelungen
122 28.11.2008 Jens Happe Predicting Software Performance in Symmetric Multi-core and Multiprocessor Environments
  121 30.10.2008 Christian Grünwald iBUIS: Konzeption eines integrierten Betrieblichen Umweltinformationssystems
  120 23.10.2008 Jan Strickmann Analysemethoden zur Bewertung von Entwicklungsprojekten
  119 26.09.2008 Simon Giesecke Architectural Styles for Early Goal-driven Middleware Platform Selection
  118 19.09.2008 Ludger Bischofs Simulationsbasierte Analyse und Entwicklung von Peer-to-Peer-System
  117 03.07.2008 Thomas Wich Werkzeuge und Methoden zur Automatisierung der seriellen Nanomontage im Rasterelektronenmikroskop
  116 26.06.2008 Marco Jähnisch 3D-Bildsystem für die Nanohandhabung im Rasterelektronenmikroskop
115 25.04.2008 Jens Finke Ein Framework zur Modellierung, Bewertung und Optimierung von Korridornetzen unter Berücksichtigung anthropogener Störungen
114 25.04.2008 Stephan Fahlbusch Entwicklung integrierbarer Mikrokraftsensoren für die roboterbasierte Mikro- und Nanohandhabung
113 17.04.2008 Bernd Westphal Specification and Verification of Dynamic Topology Systems
112 27.03.2008 Heiko Koziolek Parameter Dependencies for Reusable Performance Specifications of Software Components
111 27.03.2008 Steffen Becker Coupled Model Transformations for QoS Enabled Component-Based Software Design
110 31.01.2008

Sascha Koch

Analytisches Performance Management
109 05.10.2007  Liane Haak Semantische Integration von Data Warehousing und Wissensmanagement
108 21.09.2007 

Wilko Heuten

Non-Visual Support for Navigation in Urban Environments
107 11.07.2007

Tobias Musiolik

Steuer- und Regelsysteme für die Direkteinblasung gasförmiger Kraftstoffe an Verbrennungsmotoren
106 11.07.2007 

Marc Segelken

Abstraction and counterexample-guided construction of omegaautomata for model checking of step-discrete linear hybrid motors
105 20.04.2007 Heiko Tapken Verteilte Klassifikation mit multi-relationalen Entscheidungsbäumen unter Berücksichtigung von Privacy-Aspekten
104 16.04.2007 Markus Schmees Electronic Commerce im Technology Enhanced Learning
103 02.04.2007

Torsten Sievers

Echtzeit-Objektverfolgung im Rasterelektronenmikroskop
102 30.03.2007 Helge Hülsen Self-Organising Locally Interpolading Maps in Control Engineering
101 02.02.2007 Markus Kemper Development of an Indoor Attitude Control and Indoor Navigation System for 4-Rotors-Micro-Helicopters
100 20.12.2006 Andreas Schäfer Specification and Verification of Mobile Real-Time Systems
99 01.12.2006 Michael Kersten A Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models
98 25.08.2006 Ansgar Scherp A Component Framework for Personalized Multimedia Applications
97 19.07.2006 Menno Heeren Swarm Intelligence als Strategie zur Lösung reaktiver Planungsprobleme in Wertschöpfungsketten
96 12.07.2006 Jochen Hoenicke Combination of Processes, Data and Time
95 19.05.2006

Alexander Metzner

Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme
94 21.04.2006

Jürgen Meister

Software-Produktlinie für analytische Anwendungssoftware
93 21.04.2006

Sergej Alekseev

Graphentheoretische Methoden in der Ablaufanalyse Objekt-Orientierter Anwendungen
92 20.04.2006

Sven Abels

Reklassifikation von Produktdaten elektronischer Produktkataloge
91 25.11.2005 Marc Lettrari Efficient State Space Exploration of Reactive Object-Oriented Programs
90 18.11.2005 Hartmut Wittke An Environment for Compositional Specification Verification of Complex Embedded Systems
89 03.11.2005

Susanne Pedersen

Interoperabilität heterogener Informationsquellen im Gesundheitswesen auf Grundlage von Standards für die medizinische Kommunikation und  Dokumentation
88 26.10.2005 Jens Krösche Konzeption einer Systemplattform für die Entwicklung kontextsensitiver mobiler Anwendungen
87 20.10.2005 Jörg Riesmeier Ein generisches Verfahren zur adaptiven Visualisierung von strukturierten medizinischen Befundberichten
86 12.09.2005 Andreea Barbu Developing Mobile Agents Through a Formal Approach
85 13.05.2005 Eike Grimpe Performance Optimising Hardware Synthesis of Shared Objects
84 21.02.2005

Marco Grawunder

DYNAQUEST - Dynamische und adaptive Anfrageverarbeitung in virtuellen Datenbanksystemen
83 09.02.2005 Frank Oppenheimer OOCOSIM - An Object-Oriented Co-design Method for Embedded HW/SW Systems
82 10.12.2004 Palle Klante Gestaltung auditiver Umgebungen
81 19.11.2004 Marco Schlattmann Methoden und  Werkzeuge zur Entwicklung virtueller multimedialer Labore
80 15.10.2004 Andreas Lüdtke Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basis eines integrierten Mensch-Maschine-Modells
79 05.07.2004 Guido Schimm Workflow Mining - Verfahren zur Extraktion von Workflow-Schemata aus ereignisbasierten Daten
78 02.07.2004 Frank Oldenettel Integration digitaler Bibliotheken in Learning-Management-Systeme
77 10.06.2004 Arndt Schönberg Architektur einer wissensbasierten Bedrohungs- und Risikoanalyse von IT-Systemen mit automatisierter Auswahl und Integration von Sicherheitsmechanismen - Are_U_WAITing?
76 03.06.2004 Arne Harren Temporale Datenintegration in Data-Warehouse-Systemen
75 02.02.2004 Dirk Stüker Heterogene Sensordatenfusion zur robusten Objektverfolgung im automobilen Straßenverkehr
74 27.02.2004 Vera Kamp Datenbanksystemunterstützung für mehrdimensionale intelligente Datenanalysen
73 11.11.2003 Thorsten Teschke Semantische Komponentensuche auf Basis von Geschäftsprozessmodellen
72 22.09.2003 Jochen Klose Live Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior
71 26.06.2003 Tom Bienmüller Reducing Complexity for the Verification of Statemate Designs
70 05.05.2003 Edward Kwaw An Interactive Design Alternative for Structural Engineering on the basis of the Geometric Cell Complex
69 10.02.2003 Eike Schmidt Power Modeling of Embedded Memories
68 20.12.2002 Cornelia Haber COMMA - Eine Entwicklungsmethode für interaktive kooperative Anwendungen
67 16.10.2002 Laila Kabous An Object Oriented Design Methodology for Hard Real Time Systems: The OOHARTS Approach
66 28.06.2002 Dietrich Boles Integration von Konzepten und Technologien des Elektronic Commerce in digitale Bibliotheken
65 31.05.2002 Nils Faltin Strukturiertes aktives Lernen von Algorithmen mit interaktiven Visualisierungen
64 31.05.2002 Janine Willms Konzeption einer Intelligenten Problemlöseumgebung für die Patentanmeldung und -prüfung
63 08.04.2002 Holger Hinrichs Datenqualitätsmanagement in Data Warehouse-Systemen
62 21.12.2001 Olaf Herden Eine Entwurfsmethodik für Data Warehouses
61 23.04.2001 Olaf Maibaum Bestimmung symbolischer Laufzeiten in eingebetteten Echtzeitsystemen
60 18.10.2001 Marco Eichelberg Ein Verfahren zur Bewertung der Interoperabilität medizinischer Bildkommunikationssysteme
59 12.10.2001 Lars Kruse Estimating and Optimizating Power Consumption of Integrated Macro Blocks at the Behavioral Level
58 12.09.2001 Frank Köster Analyse von Simulationsmodellen mit Methoden des Knowledge Discovery in Databases
57 16.07.2001 Alfred Mikschl WAMCOT
56 12.11.2001 Hilko Donker Entwurf einer Methode für ein didaktisches Interaktions- und Informationsdesign
55 03.07.2001 Dirk Rabe Accurate Power Analysis of Integrated CMOS Circuits on Gate Level
54 27.08.2001 Ingo Stierand Ambrosia/MP - Ein Echtzeitbetriebssystem für eingebettete Mehrprozessorsysteme
53 22.06.2001 Josef Tapken Model-Checking of Duration Calculus Specifications
52 23.08.2001 Björn Briel Analyse eingebetteter Systeme mittels verteilter Simulation
51 15.05.2001 Gerd Jochens Modellierung und Simulation der Verlustleistung von integrierten Schaltungs-Makros
50 30.04.2001 Wolfram Putzke-Röming Durchgängiges Kommunikationsdesign für den strukturalen, objektorientierten Hardware-Entwurf
49 06.03.2001 Jörg Friebe Architekturen für komponentenbasierte Geographische Informationssyteme im Internet
48 02.03.2001 Rainer Schlör Symbolic Timing Diagrams: A Visual Formalism for Model Verification
47 21.07.2000 Cheryl Kleuker Constraint Diagrams
46 08.05.2000 Jörg Ritter Prozessorientierte Konfiguration komponentenbasierter Anwendungsysteme
45 08.05.2000 Frank Wietek Intelligente Analyse multidimensionaler Daten in einer visuellen Programmierumgebung und deren Anwendung in der Krebsepidemiologie
44 03.04.2000 Clemens Fischer Combination and Implementation of Processes and Data: from CSP-OZ to Java
43 03.04.2000 Martin Radetzki Synthesis of Digital Circuits from Object-Oriented Specifications
42 10.12.1999 Thomas Thielke Linear-algebraische Methoden zur Beschreibung, Verfeinerung und Analyse gefärbter Petrinetze
41 03.12.1999 Rainer von Ammon Entwicklung eines benutzerzentrierten Verfahrens zum Entwerfen und automatischen Generieren von Applikations-Software-Prototypen in iterativen Software-Entwicklungszyklen
40 22.10.1999 Henning Dierks Specification and Verification of Polling Ral-Time-Systems
39 22.10.1999 Udo Brockmeyer Verifikation von STATEMATE Designs
38 02.07.1999 Wilfried Thoben Wissensbasierte Bedrohungs- und Risikoanalyse Workflow-basierter Anwendungssysteme
37 25.06.1999 Gunnar Wittich Ein problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme
36 12.02.1999 Frank Rump Durchgängiges Management von Geschäftsprozessen auf Basis ereignisgesteuerter Prozeßketten
35 29.01.1999 Guido Schumacher Object-Oriented Hardware Specification and Design with a Language Extension to VHDL
34 14.12.1998 Clemens Otte Fuzzy-Prototyp-Klassifikatoren und deren Anwendung zur automatischen Merkmalsselektion
33 13.11.1998 Juliane Vorndamme Die Auswirkungen rechtlicher Verpflichtungen auf die Softwareentwicklung
32 23.09.1998 Michael Stadler Abstrakte Rechnernetzmodelle als Grundlage einer umfassenden Automatisierung des Netzmanagement
31 29.05.1998 Helmut Lorek Computerwerkzeuge zur Unterstützung bei der Entwicklung und beim Einsatz individuen-orientierter ökologischer Modelle
30 29.04.1998 Ronald Herrmann Effizientes symbolisches Model-Checking von Realzeitaspekten für VHDL
29 27.03.1998 Lutz Köhler Fuzzy Geometrie und Anwendungen in der medizinischen Bildverarbeitung 
28 13.03.1998 Olaf Zukunft Integration mobiler und aktiver Datenbankmechanismen als Basis für die ortsungebundene Vorgangsbearbeitung
27 13.02.1998 Michael Sampels Algebraische Konstruktion effizienter Verbindungsnetzwerke
26 22.12.1997 Jürgen Bohn Mechanical Support and Validation of a Design Calculus for Communicating Systems by a Logic-Baded Proof System
25 19.12.1997 Stephan Kleuker Inkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme
24 18.12.1997 Franz Korf System-Level Synthesewerkzeuge: Von der Theorie zur Anwendung
23 18.12.1997 Hergen Pargmann COMDES: Simulations- und Verifikationstechniken für den Hardware Entwurf auf Systemebene
22 31.10.1997 Ralf Wieting Modellbildung und Simulation mit hybriden höheren Netzen
21 24.10.1997 Stefan Schöf Verteilte Simulation höherer Petrinetze
20 18.07.1997 Herwig Henseler Aktive Ablaufplanung mit Multi-Agenten
19 02.05.1997 Ludger Bölke Ein akustischer Interaktionsraum für blinde Rechnerbenutzer
18 18.02.1997 Johannes Helbig Linking Visual Formalisms: A Compositinal Proof System for Statecharts Based on Symbolic Timing Diagrams
17 05.07.1996 Ralf Bruns Genetische Algorithmen + Constraint Programmierung = Wissensbasierte Genetische Algorithmen
16 16.02.1996 Manfred Burke FDDI und ATM in multimedialen Anwendungsumgebungen
15 07.02.1996 Ina Pitschke Interaktive Rekonstruktion geometrischer Modelle aus digitalen Bildern
14 20.12.1995 Peter Kelb Abstraktionstechniken für automatische Verifikationsmethoden
13 20.10.1995 Helge Behrends Beschreibung ereignisgesteuerter Aktivitäten in datenbankgestützten Informationssystemen
12 23.06.1995 Henning Reineke Struktur und Verhalten von verteilten endlichen Automaten
11 19.12.1994 Gerlinde Schreiber Funktionale Äquivalenz von Petri-Netzen
10 20.10.1994 Stephan Rössig A Transformation Approach to the Design of Communicating Systems
9 21.03.1994 Bernd Müller PPO - Eine objektorientierte Prolog-Erweiterung
8 11.02.1994 Rainer Götze Modellierung multimedialer Benutzerschnittstellen
7 12.02.1993 Jürgen Sauer Wissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken
6 08.05.1991 Helmut Eirund Modellierung und Manipulation multimedialer Dokumente im Archivsystem MARS
5 13.07.1990 Heinrich Jasper Datenbankunterstützung für Prolog-Programmierungsumgebungen
4 20.03.1990 Ulrike Lichtblau Flußgraphgrammatiken
3 16.02.1990 Andreas Schwill Shortest edge-disjoint paths in graphs
2 05.06.1989 Jürgen Kämper Strukturelle Untersuchungen im Umfeld der Komplexitätsklassen P und NP
1 19.12.1986 Axel Viereck Klassifikation, Konzepte und Modelle für den Mensch-Rechner Dialog