Kontakt

Ansprechpartner/Sachbearbeitung:

Anna Schlünzen

Raum A2 2-206

Tel. 0441-798-4727

Weiterführende Links:

Promotionen

Liste der Promotionen am Department für Informatik

Nr.Datum der DisputationAutorArbeit
360 Christian Sandmann

A Theory on Graph Generation and Graph Repair with Application to Meta-Modeling

35918.08.2021Syed Mohtashim Abbas Bokhari

Design of Scenario-based Application-optimized Data Replication Strategies through Genetic Programming

35830.07.2021Nils PancratzVorstellungen von Lernenden zum Aufbau von Informatiksystemen. Eine multimethodische Untersuchung von Lernvoraussetzungen zum Denken in Teilen von Ganzen
35709.07.2021Constanze HungarMap-based Localization for Automated Vehicles using LiDAR Features
35631.05.2021Fabian von Kleist-RetzowRobotic Liquid Metal Manipulation and Electrical Contact Probing at Small Scales
35504.06.2021Ammar AlsousQoS-Aware Backup Model for Cloud SDN Using Feedforward Neural Networks
35415.02.2021Alexander BorgerdingRessourcen-Provisionierungsverfahren zur Erweiterung energetischer Freiheitsgrade von Rechenzentren unter Veränderung der IT-Last
35325.02.2021Christos ChytasMaterializing Creative Coding Ideas - Applications and Challenges of Computational Making in Youth's Coding Education
35229.03.2021Robert SchadekAnalysis and Development of Quorum Protocols for Real-World Network Topologies
35103.11.2020Agnetha FloreReifegradmodell für Smart Grids: Bewertung der Migrationspfade anhand von zwei Fallstudien
35003.12.2020Tim DethlefsDynamische Energiedienstleistungen für Virtuelle Kraftwerke
34910.12.2020Jörg WalterPredicting Power and Timing of Large-Scale Distributed Applications on Highly Heterogeneous Platforms
34815.09.2020Dennis SchwäkeKonzeption zur Entwicklung Digitaler Regelkreise als Beitrag der Smarten Fabrik
34723.09.2020Volkan GizliPräferenzorientierte Stärken- und Schwächenidentifizierung zur Effizienzsteigerung von Rechenzentren
34608.07.2020Jonas PrellbergEvolving Deep Neural Networks: Optimization of Weights and Architectures
34529.05.2020Jörn SyrbeCompetence Identification in Computer Science Teaching Materials. A Quantitative Approach Based on Information Retrieval
34413.05.2020Nils-Steffen WorzykAdversarials-1: Detecting Adversarial Inputs with Internal Attacks
34312.06.2020Tim Claudius StratmannSpatial Attention Guidance for Deck Officers on Ship Bridges
34215.05.2020Liqun WuA Language-Driven Development Framework for Simulation Components to Generate Simulated Environments
341 Jan JelschenSoftware Evolution Services - A Framework for the Integration and Development of Flexible and Reusable Toolchains
34026.06.2020Irune Yarza PérezLegacy Software Migration Based on Timing Contract aware Real-Time Execution Environments
33903.06.2020Sven HallerbachSimulation-Based Testing of Cooperative and Automated Vehicles
33820.04.2020Almuth MeierPrediction-Based Nature-Inspired Dynamic Optimization
33730.03.2020Vanessa CobusMultimodal Alarm Distribution System for Intensive Care Units
33607.02.2020Uwe Wilko GrünefeldVisual Cues for Locating Out-of-View Objects in Mixed Reality
33520.03.2020Maike SchwammbergerDistributed Controllers for Provably Safe, Live and Fair Autonomous Car Manoeuvres in Urban Traffic
33405.06.2020Peilin ZhangImproving End-to-end Quality of Service in Low-power Wireless Sensor Networks
33327.03.2020Heinrich OdyMonitoring of Traffic Manoeuvres with Imprecise Information
33210.01.2020Cornelius LudmannKontinuierliche Verarbeitung von Datenströmen zur Berechnung von Objektempfehlungen auf Basis von Datenstromqueries
33111.11.2019Tobias BrandtQuery Processing on Spatio-temporal Data Streams from Moving Objects
33012.12.2019Andrii MatviienkoDesigning Multimodal Assistance Systems for Child Cyclists
32905.11.2019Marion KoelleDesigning Socially Acceptable Body-worn Cameras
32803.09.2019Fabiola Goncalves Coelho RibeiroMulti-formalism in Different Levels of Abstraction for Requirements Engineering and Architectural Design of Real-Time Embedded Systems
32708.11.2019Paulin Pekezou FouopiHolistische Modellierung und Interpretation von Szenen und Situationen basierend auf symbolischen, probabilistischen und sub-symbolischen Modellen
32617.09.2019Ruthbetha KateuleReference Architecture for Smart Environment Information Systems
32521.10.2019Christian JeppingModellierung von kinematischen Rotorblattdeformationen auf Basis sequentiell erfasster Bild- und Oberflächendaten
32408.08.2019Safwan SulaimanKnowledge Transfer-based Recommendations to Enable Self-Service Business Intelligence
32319.06.2019Stefan PuchStatistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzssysteme
32221.10.2019Peter Nazier MosaadHandling Delay Differential Equations in Automatic Verification
32115.05.2019Basel HasanA Conceptual Framework for Mobile Security Supporting Enterprises in Adopting Mobility
32002.05.2019Andreas LöckenIn-Vehicle Ambient Light Displays for Advanced Driver Assistant Systems
31906.06.2019Johann KelschOperative strukturfokussierte Gestaltung kognitiver Systeme am Beispiel hochautomatisierter Fahrzeuge
31816.04.2019Guido PleßmannModeling decarbonization pathways of Europe's electricity supply system until 2050
31711.02.2019Dilshodbek KuryazovModel Difference Representation
31619.02.2019Marie-Christin HarreSupporting Supervisory Control of Safety-Critical Systems with Psychologically Well-Founded Information  Visualizations
31517.12.2018Mohamed Elsayed Hasan AbdelaalNon linear Model Predictive Control for Trajectory Tracking an Collision Avoidance of Surface Vessels
31417.12.2018Man ZhuOptimized Support Vector Regression Algorithm-based Modeling of Ship Dynamics
31306.12.2018Torben WallbaumSupporting Interpersonal Awareness Over a Distance
31230.11.2018Malte BartenwerferAutomation Capabilities in the Nanorobotic Handling of Nanomaterials
31123.11.2018Philipp IttershagenApplication Modelling and Performance Estimation of Mixed-Critical Embedded Systems
31024.10.2018Marius BrinkmannPhysikalische Testfeld-Architektur für die Unterstützung der Entwicklung von automatisierten Schiffsführungssystemen
30912.02.2019Oliver NorkusIT-Architekturentwicklung für BI in der Cloud
30812.11.2018Uli SchlachterPetri Net Synthesis and Modal Specifications
30710.08.2018Shadan Sadeghian BorojeniSupporting Drivers in Take-over Situations in Highly- Automated Driving
30605.12.2018Eike MöhlmannAutomatic Stability Verification via Lyapunov Functions - Representations, Transformations, and Pratical Issues
30504.10.2018Norman IhlePrognoseverfahren für den elektrischen Lastgang in maritimen Containerterminals
30423.10.2018Abdelkerim RezguiDecision Evaluation System - Towards Sustainable Decision-Making
30315.10.2018Timo von der DovenmühleIntegration externer Dienstleister in den Leistungserstellungsprozess der betrieblichen Informationsverarbeitung
30229.03.2018Benjamin WeinertEin Framework zur Architekturbeschreibung von soziotechnischen maritimen Systemen
30115.05.2018Heiko MüllerAmbient Light Displays for Temporal Information
30007.05.2018Malte Christoph MetzdorfIntegration einer Zuverlässigkeitsbewertung und -optimierung in den RT- und Gate-Level Entwurfsfluss
29907.05.2018Khalil OmarA Conceptual Framework for Devising Adaptive User Interfaces to Improve the Usability of Mobile ERP
29827.04.2018Larissa JanssenAbfallreduktion im Lebensmitteleinzelhandel mittels mathematischer Optimierung und simulationsbasierter Evaluierung
29720.04.2018Stefan OehmckeDeep Learning of Virtual Marine Sensors
29620.04.2018Evgeny ErofeevCharacterisation of a Class of Petri Net Solvable Transition Systems
29522.02.2018Olaf HänßlerMultimodal Sensing and Imaging Technology by Integrated Scanning Electron, Force, and Nearfield Microwave Microscopy and its Application to Submicrometer Studies
29431.01.2018Jochen MeyerLong-term monitoring of personal health parameters for the prevention of cardiovascular diseases
29312.01.2018Daniel HölkerQualitätsbewertung von Energiemanagement-Algorithmen unter Berücksichtigung eingeschränkter Kommunikationsparameter
29227.09.2017Nick RüssmeierTestfeld für optische Sensoren zur Erstellung von maritimen Umweltlagebildern und optischer Strömungsmessung
29102.10.2017Tayfun GezginState-based Timing Analysis for Distributed Systems
29028.06.2017Björn WolffSupport Vector Regression for Solar Power Prediction
28923.05.2018Till SteinbachEthernet-basierte Fahrzeugnetzwerkarchitekturen für zukünftige Echtzeitsysteme im Automobil
28818.08.2017Christian NeureiterA Domain-Specific, Model Driven Engineering Approach for Systems Engineering in the Smart Grid
28731.05.2017Reef Janes EilersAbstraction of Aging Models for High Level Degradation Prediction
28610.05.2017Saskia GreinerRisikointegriertes Prozess Engineering am Beispiel Offshore Windpark
28529.08.2017Lars WeberDriver Modeling and Simulation of Lane Change Situations
28424.04.2017Judith Fröhling (geb. Neugebauer)Abstract Flexibility Description for Virtual Power Plant Scheduling
28328.03.2017Sören ZimmermannDedicated Robotic Handling and Processing at the Submicrometer Scale: Feasibility Studies
28209.08.2017Ahmed MahdiAdvancing Software Model-Checking by SMT Interpolation Beyond Decidable Arithmetic Theories
28107.06.2017Cornelius SteinbrinkA Non-Intrusive Uncertainty Quantification System for Modular Smart Grid Co-Simulation
28019.05.2017Saifullah KhanGeometry-Predicting Communication Protocols for Car2X Applications
27926.04.2017Yang GaoVerification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
27819.12.2016Daniel LückeheEvolutionary Wind Turbine Placemanet Optimization with Geographical Constraints
27714.02.2017Stefan JanacekIdentifikation von Freiheitsgraden und Wechselwirkungen in Rechenzentren unter Betrachtung elektrischer und thermischer Energie
27618.11.2016Oday JubranRecurrence in Self-Stabilization
27505.12.2016Justin HeinermannWind Power Prediction with Machine Learning Ensembles
27405.12.2016Abhishek AwasthiOptimization of NP-hard Scheduling Problems by Developing Timing Algorithms and Parallelization
27328.03.2017Birthe GebhardtEin Analyse-Framework für zeitabhängige reaktive Ablaufplanung
27212.12.2016Janko TimmermannDevelopment of a User-adaptive Mobile System to Support Running Training for Beginners
27116.12.2016Sebastian BeerDynamic Coalition Formation in Electricity Markets
27016.12.2016Jutta FortmannWrist-Worn Light-Based Smart Digital Jewellery
26928.11.2016Volker GollückeBewertung von Simulationszuständen für eine gezielte Analyse risikoreicher Systeme
26813.12.2016Lama BalloulLife Cycle Management for System Landscape
26721.10.2016Nils Erik FlickProving correctness of graph programs relative to recursively nested conditions
26624.08.2016Mirco JosefiokMedRec - Entwicklung eines Cockpits für die Ausbildung in der Differenzialdiagnostik
26504.11.2016Mohamed AbdelaalEnabling Energy-Efficient Wireless Sensing with Improved Service Quality
26426.10.2016Björn EngelmannTechniques for the Verification of Dynamically Typed Programs
26317.06.2016Serge RungeEnergiewirtschaftlich optimierende Batterieeinsatzplanung in geschlossenen Transportsystemen mit Batteriewechsel
26209.06.2016Christian DenkerAssessing the Spatio-Temporal Fitness of Information Supply and Demand on Ship Bridges
26110.06.2016Sören SchweigertSimulative Überprüfung von Sensordatenverarbeitungssystemen
26011.07.2016Maher FakihState-Based Real-Time Analysis of Synchronous Date-Flow (SDF) Applications on MPSoCs with Shared Communication Resources
25910.06.2016Michael BlaichPath Planning and Collision Avoidance for Safe Autonomous Vessel Navigation in Dynamic Environments
25809.06.2016Sascha HornauerMaritime Trajectory Negotiation for n-Vessel Collision Avoidance
25702.09.2016Markus OertelA Linear Scaling Change Impact Analysis Based on a Formal Safety Model for Automotive Embedded Systems
25617.05.2016Daniel SchlittEntwicklung einer auslastungsabhängigen Energieeffizienzmetrik für Rechenzentren
25513.06.2016Nico GrundmeierSimulationsbasierte Energiebedarfsprognose in Seehafen-Containerterminals
25427.05.2016Rainer DrosteModellbasierte Planung zur Unterstützung der Gefährdungsbeurteilung maritimer Operationen
25328.04.2016Chandan KumarRegional Search and Visualization Methodologies for Multi-Criteria Geographic Retrieval
25218.03.2016Hendrik RadkeA Theory of HR* Graph Conditions an their Application to Meta-Modeling
25127.05.2016Timo MichelsenOdysseus P2P: Verteile Datenstromverarbeitung in privaten P2P-Netzwerken
25029.02.2016Kiril SchröderEnergie- und kostenorientiertes, auf Virtualisierung basiertes Last- und Powermanagement in einem Rechenzentrumsverbund
24930.11.2015Thomas VogelgesangMultidimensionales Process-Mining für die Analyse medizinischer Versorgungsprozesse
24816.12.2015Marita BlankReliability Assessment of Coalitions for the Provisions of Ancillary Services
24720.11.2015Tobias KrahnFlexible Detektion von Arzneimittelnebenwirkungen für die Versorgungsforschung
24618.12.2015Florian FortmannAugmenting Monitoring Performance during Multi-UAV Supervisory Control with Adaptive Displays
24504.12.2015Anja OhsenbrüggeDynamische Regel- und Reserveleistungsvorhaltung in zukünftigen Smart Grids
24409.11.2015Mani SwaminathanQuantitative and Structural Analysis of Real-Time and Probabilistic Systems
24316.10.2015Klaas SchmidtWissensbasierte Entscheidungsunterstützungssysteme zur Übertragung und Wiederanwendung von Erfahrungswissen aus Entscheidungsprozessen
24211.09.2015Jan PinkowskiProzessgetriebene Risikoanalyse zur Bewertung maritimer Operationen
24103.07.2015Andreas SolsbachDocument Engineering als Ansatz für eine überbetriebliche Nachhaltigkeitsberichterstattung
24029.06.2015Ana-Maria StoffersSubjektive Theorien von Informatiklehrkräften zur fachdidaktischen Strukturierung ihres Unterrichts
23919.06.2015Monika WalterEin Konzept zur Identifikation von Unterstützungspotenzial für Simulationsstudien bei Verwendung multidimensionaler Datenmodelle
23823.06.2015Steffen KruseCo-Evolution of Metamodels and Model Transformations
23727.04.2015Benjamin Wagner vom BergKonzeption eines Substainability Customer Relationship Managements für Anbieter nachhaltiger Mobilität
23606.03.2015Kim GrüttnerApplication Mapping and Communication Synthesis for Object-Oriented Platform-Based Design
23529.04.2015Philipp GringelUnternehmensspezifische Anpassung von Enterprise Architecture Frameworks
23417.04.2015Astrid NießeVerteilte kontinuierliche Einsatzplanung in Dynamischen Verteilten Kraftwerken
23309.03.2015Carsten WissingReFlex:Marktbasiertes Redispatch mit Flexibilitäten von Netznutzern für das Verteilnetz
23202.03.2015Christian KukaQualitätssensitive Datenstromverarbeitung zur Erstellung von dynamischen Kontextmodellen
23112.03.2015Ralf BuschermöhleOptimizing Development Processes
23004.02.2015Jörg BremerConstraint-Handling mit Supportvektor-Dekodern in der verteilten Optimierung
22928.11.2014Claas DiederichsFast and robust camera-based notion tracking using FPGAs in microrobotics
22820.02.2015Sven LinkerProofs for Traffic Safety - Combining Diagrams and Logic
22717.11.2014Sebastian SengeEin Bienen-inspiriertes Schwarmintelligenz-Verfahren zum Routing im Straßenverkehr
22605.12.2014Christian DänekasNutzung von Technologieroadmaps zur Planung der Unternehmensarchitektur von Energieversorgungsunternehmen
22502.10.2014Xuan Ha NguyenSimulation, Validation and Optimization of Stick-Slip Drives for Nanorobotic Applications
22407.11.2014Miada NaanaData-Warehouse-basierte Konzeption eines Strategischen Öko-Controlling-Systems
22305.09.2014Florian KrohsNanohandling and Nanometrology by the Atomic Force Microscope
22231.07.2014Abiot Sinamo BoltenaNeuro-Fuzzy-ANP based Decision Model for ERP System Selection
22110.11.2014Ammar MemariA Model for Adaptive Applications on the Semantic Web
22008.07.2014Dirk PetersAdaptive Lehr- und Lernsysteme zur Unterstützung der praktischen Ausbildung an ERP-Systemen
21917.07.2014Benjamin PoppingaSensor-supported, Unsupervised Observation Techniques for Field Studies
21823.07.2014Andreas EggersDirect Handling of Ordinary Differential Equations in Constraint-Solving-Based Analysis of Hybrid Systems
21724.11.2014Tim HoerstebrockStrategische Analyse der Elektromobilität in der Metropolregion Bremen/Oldenburg
21605.06.2014Christoph SchwarzUntersuchung zur Steigerbarkeit von Flexibilität, Performanz und Erweiterbarkeit von Fahrerlosen Transportsystemen durch den Einsatz dezentraler Steuerungstechniken
21524.06.2014Mohamad RabbathRe-Composition of Distributed Social Media Content
21419.06.2014Bertram WortelenDas Adaptive-Information-Expectancy-Modell zur Aufmerksamkeitssimulation eines kognitiven Fahrermodells
21326.06.2014Myriam LipprandtEntwicklung eines modellgetriebenen Verfahrens zur Abbildung sensorbasierter Daten aus häuslichen Assistenzsystemen auf medizinische Befundberichte
21215.05.2014Christian HinrichsSelbstorganisierte Einsatzplanung dezentraler Akteure im Smart Grid
21126.02.2014Christian LüpkesAd-hoc-Datentransformationen für Analytische Informationssysteme
21013.01.2014Dania Pérez ArmayorTechnology Combinations Decision Model for Supply Chains Information Systems Integration
20925.02.2014Melvin IskenOptimierte Roboter-Navigation und geriatrische Mobilitäts-Assessments in häuslichen Umgebungen
20828.01.2014Ralph GörgenEffiziente Integration von Hardwarebeschreibungen in Simulink/TDF-Simulationen
20726.02.2014Nils Henning MüllnerUnmasking fault tolerance: Quantifying deterministic recovery dynamics in probabilistic environments
20622.11.2013Christian DahmenRobust Object Tracking for Micro- and Nanorobotics
20513.01.2014Kai HyllaBridging the Gap Between Precise RT-Level Power/Timing Estimation and Fast High-Level Simulation
20429.11.2013Dennis GeesenMaschinelles Lernen in Datenstrommanagementsystemen
20316.12.2013Tim StraznyAn Algorithmic Framework for Checking Coverability in Well-Structured Transition Systems
20227.11.2013Steffen SchütteSimulation Model Composition for the Large-Scale Analysis of Smart Grid Control Mechanisms
20105.11.2013Olaf WilkenAktivitätserkennung basierend auf Nutzung elektrischer Geräte im häuslichen Bereich
20013.08.2013Matthias MertensKNOBI - Knowledge based Business Intelligence for Business User Information-Self-Service
19905.07.2013Tariq MahmoudLightweight Semantic-enabled Enterprise Service-Oriented Architecture
19803.07.2013Axel HelmerIntegration medizinischer Modelle in elektronische Gesundheitsakten
19705.07.2013Jan-David QueselSimilarity, Logic, and Games - Bridging Modelling Layers of Hybrid Systems
19630.05.2013Eike ThadenSemi-Automatic Optimization of Hardware Architectures in Embedded Systems
19503.05.2013Abhishek DhamaA Compositional Framework for Designing Self-Stabilizing Distributed Algorithms
19404.02.2013Matthias BükerAn Automated Semantic-Based Approach for Creating Task Structures
19322.11.2012Claas BusemannEin effizienter Ansatz zur Übersendung zwischen Service-Protokollen durch die Modellierung von Verhaltensunterschieden
19204.10.2012Mahmoud AmerMeasuring Electronic Service Quality in the Business-to-Business Domain
19108.10.2012Tobias HesselmannDesigning User Interfaces for Interactive Tabletops
19007.12.2012Philipp SandhausAnalysis, Retrieval and Layout for Digital Photobooks
18918.10.2012Thomas FrenkenTechnischer Ansatz zur unaufdringlichen Mobilitätsanalyse im Rahmen geriatrischer Assessments
18824.09.2012Sebastian Rohjans(S2)In - Semantic Service Integration for Smart Grids
18701.10.2012Daniela WolffKontextsensitive Unterstützung Wissensintensiver Geschäftsprozesse
18620.07.2012Stefan FlöringKnoVA: A Reference Architecture for Knowledge-based Visual Analytics
18520.07.2012Kinga Kiss IakabProbabilistic Quorum Systems for Dependable Distributed Data Management
18429.08.2012Tino TeigeStochastic Satisfiability Modulo Theories - A Symbolic Technique for the Analysis of Probabilistic Hybrid Systems
18327.09.2012Sven RosingerRT-Level Power-Gating Models optimizing Dynamic Leakage-Management
18217.08.2012Andreas ThielSicherheitskonzept für die medizinische Bildverarbeitung in unsicheren Grid-Umgebungen
18120.08.2012Martin PielotConveying Spatial Information for Navigation and Orientation
18014.12.2012Amna AsifSupporting route guidance of car drivers with a tactile display on urban roads
17930.05.2012Tim WortmannAutomatic Image Analysis in Micro- and Nanorobotic Environments
17811.07.2012Ontje LünsdorfSelbstorganisation virtueller Geräte für das Lastmanagement von Kleinverbrauchern
17718.06.2012Henning JostReasoning on Domain Knowledge and Technical Standards to Support the Development of Safety-Critical Automotive Systems
17619.07.2012Niels HenzeCamera-based Mobile Interaction with Physical Objects
17512.06.2012Yvette TeikenAutomatic Model Driven Analytical Information Systems
17401.06.2012Stanley MungweAdaptive Control of a Tractile Surgical Navigation System
17304.05.2012Friedrich KretschmerAutomatisiertes Tracking von Kopf- und Augenbewegungen bei 360°-Stimulation zur Charakterisierung des visuellen Systems kleiner Wirbeltiere
17203.07.2012Christina DörgeInformatische Schlüsselkompetenzen - Konzepte der Informationstechnologie im Sinne einer informatischen Allgemeinbildung
17103.04.2012Daniel SüpkeReferenzarchitektur zur dialogbasierten Nachhaltigkeitsberichterstattung im Web 2.0
17013.04.2012Stephan große AustingKomplexitätsmessung von Produktmodellen
16927.04.2012Roland KoppeEine Methodik zur strategischen Einflussbewertung von Methodenänderungen in Entwicklungsprozessen
16829.02.2012Fabian GiesekeFrom Supervised to Unsupervised Support Vector Machines and Applications in Astronomy
16714.05.2012Carsten HomburgMechatronic Processing Objects - Eine verarbeitungsorientierte Modellrepräsentation als Basis einer offenen Entwurfsumgebung für mechatronische Systeme
16628.02.2012José Manuel González VázquezEin Referenzmodellkatalog für die Energiewirtschaft
16524.01.2012Stefan HäuslerProzessorientiertes Produktmonitoring für die Entwicklung elektronischer Systeme
16416.12.2011Jens OehlerkingDecomposition of Stability Proofs for Hybrid Systems 
16316.11.2011Christoph EdelerModellierung und Validierung der Krafterzeugung mit Stick-Slip-Antrieben für nanorobotische Anwendungen
16229.08.2011Johannes FaberVerification Architectures for Complex Real-Time Systems
16119.09.2011Oliver KoslowskiClinical Decision Support with Guidelines and Bayesian Networks
16014.10.2011Jonas JacobiLatenzreduktion priorisierter Nachrichten in Datenstrom-Managementsystemen
15910.10.2011Matthias PostinaEvolutionsmanagement prozess- und serviceorientierter Unternehmensarchitekturen
158

12.10.2011

Ralph StuberIntegrationsnachgelagertes Datenmanagement in Data Warehouses
157

  24.10.2011

Jan AalminkEnterprise Tomography – ein effizientes Diagnoseverfahren zur semiautomatischen Lokalisierung von polymorphen Intergrations-konzepten in Unternehmenssoftwaresystemen
15618.07.2011Astrid RakowSlicing and Reduction Techniques for Model Checking Petri Nets
15527.06.2011Tim PulsLokalisations- und Regelungsverfahren für einen 4-Rotor-Helikopter
1548.07.2011Bolles, AndréEin datenstrombasiertes Framework zur Objektverfolgung am Beispiel von Fahrerassistenzsystemen Extended Abstract
15306.06.2011Daniel JasperSEM-based motion control for automated robotic nanohandling VollversionExterner Link auf Buch
15224.05.2011

Marco Hoyer

Resource Management in Virtualized Data Centers Regarding Performance and Energy Aspects Vollversion
15108.04.2011Stefan BrüggemannKonsistenzsicherung im Datenqualitätsmanagement
15003.02.2011Volkmar EichhornNanorobotic handling and characterization of carbon nanotubes inside the scanning electron microscope Abstract
14905.11.2010Peter CissekStrategische Unternehmensplanung in einer Data Warehouse-Umgebung unterstützt durch ein Wissensmanagementsystem VollversionAbstract
14813.03.2011Christian StormSpecification and Analytical Evaluation of Heterogeneous Dynamic Quorum-based Data Replication Schemes
14728.10.2010Petra BeenkenSchutz sicherheitsrelevanter Informationen in verteilten Energieinformationssystemen Abstract
14613.12.2010Dirk AhlersGeographically Focused Web Information Retrieval
14527.09.2010Jan Stefan AddicksBewertung betrieblicher Anwendungen im Kontext ihrer Unternehmensarchitektur
14404.08.2010Christian HerdeEfficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
14314.04.2010Martin TröschelAktive Einsatzplanung in holonischen virtuellen Kraftwerken
14219.02.2010Henrik LipskochOptimisation of battery operating life considering software tasks and their timing behavior
14112.05.2010Andreas SchallenbergDynamic Partial Self-Reconfiguration: Quick Modeling, Simulation, and Synthesis
14010.12.2009Marko BoskovicModel-driven Performance Measurement and Assessment races
13926.11.2009Domenik HelmsLeakage Models for High Level Power Estimation 
13813.11.2009Thomas BiskupAgile fachmodellgetriebene Softwareentwicklung für mittelständische IT-Projekte
13721.10.2009Mathias UslarOntologiebasierte Integration heterogener Standards in der Energiewirtschaft
13613.10.2009Sven FrimontEin Ansatz für die Nutzung teildefekter Field Programmable Gate Arrays (FPGAs) in der Serienproduktion
13528.09.2009Timo WarnsStructural Failure Models for Fault-Tolerant Distributed Computing
13411.09.2009Karl-Heinz PennemannDevelopment of Correct Graph Transformation Systems
13308.07.2009Jasminka MatevskaModellbasierte erreichbarkeitsoptimierte Rekonfiguration komponentenbasierter Softwaresysteme zur Laufzeit
13207.07.2009Melina BrellEine vibrotaktile Mensch-Maschine-Schnittstelle für chirurgische Applikationen
13130.06.2009Fabian GrüningDatenqualitätsmanagement in der Energiewirtschaft
13029.06.2009Ludger WinkelsReferenzmodell für die Tageseinsatzplanung dezentraler heterogener Energieerzeugungsanlagen
12923.04.2009Tanja SchmedesServiceorientierte Architekturen für dezentrales Energiemanagement
12820.02.2009Roland MeyerStructural Stationarity in the π-Calculus
12710.02.2009Nico BrehmFörderierte ERP-Systeme auf Basis von  Web Services
12610.02.2009Tobe TobenAnalysis of Dynamic Evolution Systems by Spotlight Abstraction Refinement
12509.01.2009Kevin HausmannPermeter-Performanzmessung in der Produktentwicklung auf Basis semantisch integrierter Produktmodelle
124 19.12.2008André PlatzerDifferential Dynamic Logics
12315.12.2008Richard HackelbuschEin ontologiebasierter Ansatz zur Repräsentation von Studiengängen und ihren Regelungen
12228.11.2008Jens HappePredicting Software Performance in Symmetric Multi-core and Multiprocessor Environments
  12130.10.2008Christian GrünwaldiBUIS: Konzeption eines integrierten Betrieblichen Umweltinformationssystems
  12023.10.2008Jan StrickmannAnalysemethoden zur Bewertung von Entwicklungsprojekten
  11926.09.2008Simon GieseckeArchitectural Styles for Early Goal-driven Middleware Platform Selection
  11819.09.2008Ludger BischofsSimulationsbasierte Analyse und Entwicklung von Peer-to-Peer-System
  11703.07.2008Thomas WichWerkzeuge und Methoden zur Automatisierung der seriellen Nanomontage im Rasterelektronenmikroskop
  11626.06.2008Marco Jähnisch3D-Bildsystem für die Nanohandhabung im Rasterelektronenmikroskop
11525.04.2008Jens FinkeEin Framework zur Modellierung, Bewertung und Optimierung von Korridornetzen unter Berücksichtigung anthropogener Störungen
11425.04.2008Stephan FahlbuschEntwicklung integrierbarer Mikrokraftsensoren für die roboterbasierte Mikro- und Nanohandhabung
11317.04.2008Bernd WestphalSpecification and Verification of Dynamic Topology Systems
11227.03.2008Heiko KoziolekParameter Dependencies for Reusable Performance Specifications of Software Components
11127.03.2008Steffen BeckerCoupled Model Transformations for QoS Enabled Component-Based Software Design
11031.01.2008

Sascha Koch

Analytisches Performance Management
10905.10.2007 Liane HaakSemantische Integration von Data Warehousing und Wissensmanagement
10821.09.2007 

Wilko Heuten

Non-Visual Support for Navigation in Urban Environments
10711.07.2007

Tobias Musiolik

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

Marc Segelken

Abstraction and counterexample-guided construction of omegaautomata for model checking of step-discrete linear hybrid motors
10520.04.2007Heiko TapkenVerteilte Klassifikation mit multi-relationalen Entscheidungsbäumen unter Berücksichtigung von Privacy-Aspekten
10416.04.2007Markus SchmeesElectronic Commerce im Technology Enhanced Learning
10302.04.2007

Torsten Sievers

Echtzeit-Objektverfolgung im Rasterelektronenmikroskop
10230.03.2007Helge HülsenSelf-Organising Locally Interpolading Maps in Control Engineering
10102.02.2007Markus KemperDevelopment of an Indoor Attitude Control and Indoor Navigation System for 4-Rotors-Micro-Helicopters
10020.12.2006Andreas SchäferSpecification and Verification of Mobile Real-Time Systems
9901.12.2006Michael KerstenA Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models
9825.08.2006Ansgar ScherpA Component Framework for Personalized Multimedia Applications
9719.07.2006Menno HeerenSwarm Intelligence als Strategie zur Lösung reaktiver Planungsprobleme in Wertschöpfungsketten
9612.07.2006Jochen HoenickeCombination of Processes, Data and Time
9519.05.2006

Alexander Metzner

Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme
9421.04.2006

Jürgen Meister

Software-Produktlinie für analytische Anwendungssoftware
9321.04.2006

Sergej Alekseev

Graphentheoretische Methoden in der Ablaufanalyse Objekt-Orientierter Anwendungen
9220.04.2006

Sven Abels

Reklassifikation von Produktdaten elektronischer Produktkataloge
9125.11.2005Marc LettrariEfficient State Space Exploration of Reactive Object-Oriented Programs
9018.11.2005Hartmut WittkeAn Environment for Compositional Specification Verification of Complex Embedded Systems
8903.11.2005

Susanne Pedersen

Interoperabilität heterogener Informationsquellen im Gesundheitswesen auf Grundlage von Standards für die medizinische Kommunikation und  Dokumentation
8826.10.2005Jens KröscheKonzeption einer Systemplattform für die Entwicklung kontextsensitiver mobiler Anwendungen
8720.10.2005Jörg RiesmeierEin generisches Verfahren zur adaptiven Visualisierung von strukturierten medizinischen Befundberichten
8612.09.2005Andreea BarbuDeveloping Mobile Agents Through a Formal Approach
8513.05.2005Eike GrimpePerformance Optimising Hardware Synthesis of Shared Objects
8421.02.2005

Marco Grawunder

DYNAQUEST - Dynamische und adaptive Anfrageverarbeitung in virtuellen Datenbanksystemen
8309.02.2005Frank OppenheimerOOCOSIM - An Object-Oriented Co-design Method for Embedded HW/SW Systems
8210.12.2004Palle KlanteGestaltung auditiver Umgebungen
8119.11.2004Marco SchlattmannMethoden und  Werkzeuge zur Entwicklung virtueller multimedialer Labore
8015.10.2004Andreas LüdtkeKognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basis eines integrierten Mensch-Maschine-Modells
7905.07.2004Guido SchimmWorkflow Mining - Verfahren zur Extraktion von Workflow-Schemata aus ereignisbasierten Daten
7802.07.2004Frank OldenettelIntegration digitaler Bibliotheken in Learning-Management-Systeme
7710.06.2004Arndt SchönbergArchitektur einer wissensbasierten Bedrohungs- und Risikoanalyse von IT-Systemen mit automatisierter Auswahl und Integration von Sicherheitsmechanismen - Are_U_WAITing?
7603.06.2004Arne HarrenTemporale Datenintegration in Data-Warehouse-Systemen
7502.02.2004Dirk StükerHeterogene Sensordatenfusion zur robusten Objektverfolgung im automobilen Straßenverkehr
7427.02.2004Vera KampDatenbanksystemunterstützung für mehrdimensionale intelligente Datenanalysen
7311.11.2003Thorsten TeschkeSemantische Komponentensuche auf Basis von Geschäftsprozessmodellen
7222.09.2003Jochen KloseLive Sequence Charts: A Graphical Formalism for the Specification of Communication Behavior
7126.06.2003Tom BienmüllerReducing Complexity for the Verification of Statemate Designs
7005.05.2003Edward KwawAn Interactive Design Alternative for Structural Engineering on the basis of the Geometric Cell Complex
6910.02.2003Eike SchmidtPower Modeling of Embedded Memories
6820.12.2002Cornelia HaberCOMMA - Eine Entwicklungsmethode für interaktive kooperative Anwendungen
6716.10.2002Laila KabousAn Object Oriented Design Methodology for Hard Real Time Systems: The OOHARTS Approach
6628.06.2002Dietrich BolesIntegration von Konzepten und Technologien des Elektronic Commerce in digitale Bibliotheken
6531.05.2002Nils FaltinStrukturiertes aktives Lernen von Algorithmen mit interaktiven Visualisierungen
6431.05.2002Janine WillmsKonzeption einer Intelligenten Problemlöseumgebung für die Patentanmeldung und -prüfung
6308.04.2002Holger HinrichsDatenqualitätsmanagement in Data Warehouse-Systemen
6221.12.2001Olaf HerdenEine Entwurfsmethodik für Data Warehouses
6123.04.2001Olaf MaibaumBestimmung symbolischer Laufzeiten in eingebetteten Echtzeitsystemen
6018.10.2001Marco EichelbergEin Verfahren zur Bewertung der Interoperabilität medizinischer Bildkommunikationssysteme
5912.10.2001Lars KruseEstimating and Optimizating Power Consumption of Integrated Macro Blocks at the Behavioral Level
5812.09.2001Frank KösterAnalyse von Simulationsmodellen mit Methoden des Knowledge Discovery in Databases
5716.07.2001Alfred MikschlWAMCOT
5612.11.2001Hilko DonkerEntwurf einer Methode für ein didaktisches Interaktions- und Informationsdesign
5503.07.2001Dirk RabeAccurate Power Analysis of Integrated CMOS Circuits on Gate Level
5427.08.2001Ingo StierandAmbrosia/MP - Ein Echtzeitbetriebssystem für eingebettete Mehrprozessorsysteme
5322.06.2001Josef TapkenModel-Checking of Duration Calculus Specifications
5223.08.2001Björn BrielAnalyse eingebetteter Systeme mittels verteilter Simulation
5115.05.2001Gerd JochensModellierung und Simulation der Verlustleistung von integrierten Schaltungs-Makros
5030.04.2001Wolfram Putzke-RömingDurchgängiges Kommunikationsdesign für den strukturalen, objektorientierten Hardware-Entwurf
4906.03.2001Jörg FriebeArchitekturen für komponentenbasierte Geographische Informationssyteme im Internet
4802.03.2001Rainer SchlörSymbolic Timing Diagrams: A Visual Formalism for Model Verification
4721.07.2000Cheryl KleukerConstraint Diagrams
4608.05.2000Jörg RitterProzessorientierte Konfiguration komponentenbasierter Anwendungsysteme
4508.05.2000Frank WietekIntelligente Analyse multidimensionaler Daten in einer visuellen Programmierumgebung und deren Anwendung in der Krebsepidemiologie
4403.04.2000Clemens FischerCombination and Implementation of Processes and Data: from CSP-OZ to Java
4303.04.2000Martin RadetzkiSynthesis of Digital Circuits from Object-Oriented Specifications
4210.12.1999Thomas ThielkeLinear-algebraische Methoden zur Beschreibung, Verfeinerung und Analyse gefärbter Petrinetze
4103.12.1999Rainer von AmmonEntwicklung eines benutzerzentrierten Verfahrens zum Entwerfen und automatischen Generieren von Applikations-Software-Prototypen in iterativen Software-Entwicklungszyklen
4022.10.1999Henning DierksSpecification and Verification of Polling Ral-Time-Systems
3922.10.1999Udo BrockmeyerVerifikation von STATEMATE Designs
3802.07.1999Wilfried ThobenWissensbasierte Bedrohungs- und Risikoanalyse Workflow-basierter Anwendungssysteme
3725.06.1999Gunnar WittichEin problemorientierter Ansatz zum Nachweis von Realzeiteigenschaften eingebetteter Systeme
3612.02.1999Frank RumpDurchgängiges Management von Geschäftsprozessen auf Basis ereignisgesteuerter Prozeßketten
3529.01.1999Guido SchumacherObject-Oriented Hardware Specification and Design with a Language Extension to VHDL
3414.12.1998Clemens OtteFuzzy-Prototyp-Klassifikatoren und deren Anwendung zur automatischen Merkmalsselektion
3313.11.1998Juliane VorndammeDie Auswirkungen rechtlicher Verpflichtungen auf die Softwareentwicklung
3223.09.1998Michael StadlerAbstrakte Rechnernetzmodelle als Grundlage einer umfassenden Automatisierung des Netzmanagement
3129.05.1998Helmut LorekComputerwerkzeuge zur Unterstützung bei der Entwicklung und beim Einsatz individuen-orientierter ökologischer Modelle
3029.04.1998Ronald HerrmannEffizientes symbolisches Model-Checking von Realzeitaspekten für VHDL
2927.03.1998Lutz KöhlerFuzzy Geometrie und Anwendungen in der medizinischen Bildverarbeitung 
2813.03.1998Olaf ZukunftIntegration mobiler und aktiver Datenbankmechanismen als Basis für die ortsungebundene Vorgangsbearbeitung
2713.02.1998Michael SampelsAlgebraische Konstruktion effizienter Verbindungsnetzwerke
2622.12.1997Jürgen BohnMechanical Support and Validation of a Design Calculus for Communicating Systems by a Logic-Baded Proof System
2519.12.1997Stephan KleukerInkrementelle Entwicklung von verifizierten Spezifikationen für verteilte Systeme
2418.12.1997Franz KorfSystem-Level Synthesewerkzeuge: Von der Theorie zur Anwendung
2318.12.1997Hergen PargmannCOMDES: Simulations- und Verifikationstechniken für den Hardware Entwurf auf Systemebene
2231.10.1997Ralf WietingModellbildung und Simulation mit hybriden höheren Netzen
2124.10.1997Stefan SchöfVerteilte Simulation höherer Petrinetze
2018.07.1997Herwig HenselerAktive Ablaufplanung mit Multi-Agenten
1902.05.1997Ludger BölkeEin akustischer Interaktionsraum für blinde Rechnerbenutzer
1818.02.1997Johannes HelbigLinking Visual Formalisms: A Compositinal Proof System for Statecharts Based on Symbolic Timing Diagrams
1705.07.1996Ralf BrunsGenetische Algorithmen + Constraint Programmierung = Wissensbasierte Genetische Algorithmen
1616.02.1996Manfred BurkeFDDI und ATM in multimedialen Anwendungsumgebungen
1507.02.1996Ina PitschkeInteraktive Rekonstruktion geometrischer Modelle aus digitalen Bildern
1420.12.1995Peter KelbAbstraktionstechniken für automatische Verifikationsmethoden
1320.10.1995Helge BehrendsBeschreibung ereignisgesteuerter Aktivitäten in datenbankgestützten Informationssystemen
1223.06.1995Henning ReinekeStruktur und Verhalten von verteilten endlichen Automaten
1119.12.1994Gerlinde SchreiberFunktionale Äquivalenz von Petri-Netzen
1020.10.1994Stephan RössigA Transformation Approach to the Design of Communicating Systems
921.03.1994Bernd MüllerPPO - Eine objektorientierte Prolog-Erweiterung
811.02.1994Rainer GötzeModellierung multimedialer Benutzerschnittstellen
712.02.1993Jürgen SauerWissensbasiertes Lösen von Ablaufplanungsproblemen durch explizite Heuristiken
608.05.1991Helmut EirundModellierung und Manipulation multimedialer Dokumente im Archivsystem MARS
513.07.1990Heinrich JasperDatenbankunterstützung für Prolog-Programmierungsumgebungen
420.03.1990Ulrike LichtblauFlußgraphgrammatiken
316.02.1990Andreas SchwillShortest edge-disjoint paths in graphs
205.06.1989Jürgen KämperStrukturelle Untersuchungen im Umfeld der Komplexitätsklassen P und NP
119.12.1986Axel ViereckKlassifikation, Konzepte und Modelle für den Mensch-Rechner Dialog
(Stand: 12.08.2021)