Promotions

contact

Contact person:

Anna Schlünzen

Room A2 2-206

Tel. 0441-798-4727

To submit documents, please make an appointment by email!

Further links:

Promotions

List of doctorates at the Department of Computing Science

No.Date of the thesis defenceAuthorThesis
448Sophie GrimmeDigital Technologies Supporting Women’s Agency Over Their Personal Health Data
447Hannes KathMachine Learning for Passive Acoustic Wildlife Monitoring: Methods for Semi-Automated Population and Species Assessment
446Jan-Hendrik WitteEarly identification of tail-biting in pig farming using deep learning
445Niklas HoltzAI-supported derivation of risk scenarios for potential courses of action in a business context
444Jens SagerStochastic Resource Optimisation
4438 May 2026Georg HakeA Recertification Framework for Modular Updates in Safety-Critical Autonomous Navigation Systems
44215 June 2026Stephan FerenzTowards FAIR Energy Research Software
44122 June 2026Emilie FrostCommunication Robustness in Cyber-Physical Energy Systems based on Controlled Self-Organisation
44030 June 2026Malin RadtkeOnline Meta-Modelling of Communication Networks in Cyber-Physical Energy System Simulations
43930 April 2026David ReiherFlexible component-based modelling and simulation of scenarios for the verification and validation of automated maritime navigation systems
43819 June 2026Simon KimmelUser Representation as a Lever for Social Presence in Interpersonal VR
4375 May 2026Janis KrögerSafe-Guarding Updates at Runtime for Critical Cyber-Physical Systems
43616 March 2026Rabeaeh KiaghadiDisasters, Dynamics, and Decisions – Strategic Planning in Stochastic Dynamic Environments
4352 April 2026Johann SchützCross-system technical debt in federated systems of systems: understanding, identifying and managing using the example of the electrical energy sector
43420 March 2026Saja Aljuneidi-DückinoCitizens’ Perceptions of AI-based Decision-Making in Public Administration
43320 February 2026Konstantin BrandlSelf-Organising Ad-Hoc Routing for Maritime Multi-Domain Systems
43227 January 2026Annika ArendsVbtO in Automotive Engineering – Implementation of a VbtO System in Existing Process and System Landscapes
4313 July 2026Masoumehsadat HosseiniDesigning and Evaluating Scalable Mid-Air Gestures for Interactive Systems
43016 March 2026Bastian FrauneAutomated Monitoring of Security Configurations for Operational Technology in Electricity Grids – Building Trust through Continuous Monitoring of Security Configurations
42925 February 2026Rene KuchenbuchIntelligent systems for improving the quality of IEC 62559 use cases and SGAM architectural models
4282 February 2026Lars KlitzkeFrom Real-World Traffic Data to Scenarios in the Context of Automated Vehicles
42715 January 2026Johannes ScheringA stakeholder-oriented KPI system for optimising the work process in cycle traffic planning
42620 February 2026Christopher BischopinkDecidability and Enforcement of Timing Properties in Motorway Traffic
42510 December 2025Florian MaurerComparative Simulation of Energy Market Designs
42429 October 2025Jan Steffen BeckerA Consistency Analysis Method for Traffic Sequence Charts
42317 October 2025Michael ChamunorwaDesigning User Interfaces Embedded in Everyday Objects for Rich Interaction
42218 December 2025Björn KoopmannEnsuring Real-Time Behaviour of Cooperating Cyber-Physical Systems
4215 December 2025Paul HannibalSynthesis of Asynchronous Distributed Systems with Causal Memory via Petri Games
4201 April 2026Duc Do TranCombining Model-Based Engineering in IEC 61499 with Contracts for Cyber-Physical Systems Monitoring
41923 September 2025Marvin NordaDevelopment of a Method for Evaluation of the Efficiency of Voice Control as an Industrial Human-Machine Interface in Production
41823 June 2025Thomas WolgastEnvironment Design for Learning the Optimal Power Flow Using Reinforcement Learning
41725 June 2025Xuqian YanData-Driven State-of-Health Quantification for Industrial Proton Exchange Membrane (PEM) Water Electrolyser Fleets
41623 June 2025Akhila BairyOptimising the Timing of Explanations in Autonomous Vehicles
41511 April 2025Michael BarzGaze-based Multimodal Interaction: Methods for Active and Passive Gaze-based Interaction
41416 May 2025Cedric RichterNeural Bug Detection
4134 February 2025Rebeca RamirezA Systematic Analysis of Electricity Markets and Their Impact on Smart Grid Performance
41227 February 2025Carsten KrügerEngineering Process for Virtualised Services in Smart Grids
41110 December 2025Patrick FeifelInherent Interpretability for Safe Pedestrian Detection with Deep Neural Networks
4109 December 2024Marius WybrandsIntegration of long-term water demand forecasts into water management information systems
40917 December 2024Jannike IllingSupporting time-critical, parallel and spatially distributed tasks using augmented reality
4089 January 2025Sanja StarkMulti-objective Blackstart of an impaired ICT-reliant renewable energy system
40713 December 2024Juliane WeilbachCausal Dynamic Modelling with Bayesian Methods
40622 November 2024Patrick EschemannAI-assisted factory layout optimisation
40521 February 2025Jan Frederik HaltermannCooperative Software Verification
4046 November 2024Leonard StepienSystem Configuration to Enhance Co-Simulation for Decision Support
40325 September 2024Charles SteinmetzAn integrated environment for modelling and deploying digital twins
4028 August 2024Paul Hendrik TiemannMulti-purpose use of battery storage: modelling flexibility in the abstract
40118 June 2024Friederike BrunsSystematic Correct-by-Construction Design for Industrial Real-Time Communication
4002 July 2024Steffen WehkampSimulation-based Validation of Valuation Methods for Power Plant Investments
39921 June 2024Hatice Şahin IppolitiSocial Interaction Between Road Users and Automated Vehicles
39824 June 2024Viktor LizenbergSimulations for Cooperative Driving – Methodology for the Verification and Validation of Cooperative Driving Functions using an Intelligent Co-Simulation Framework
39721 March 2024Farzaneh MoradkhaniVerification of Neural Networks Containing Non-Linear Activation Functions
39622 April 2024Sebastian WeißDesigning VR Stressors for Occupational Simulation Training in the ICU Context
39515 April 2024Ahmad Pajam Hassan
n Supply Chain Risk Management – A Concept for the Design of Risk Management Information Systems
39428 May 2024Anand NarayanQuantification of the Resilience of Interdependent Power and ICT Systems using Operational State Classification
3933 April 2024Matthias SteidelContext-sensitive behaviour prediction for ships
39231 May 2024Nick WürdemannTaking the synthesis of distributed systems via Petri games to a high level, symbolically
39120 December 2023Lars ElendAdvances in Computational Intelligence with Applications in Finance and Molecular Design
39018 December 2023Anatolij FandrichInquiry-based learning in the context of smart environments
3898 January 2024Dirk BendlinData-driven decision-making processes in large-scale projects: the example of the data value chain in the operation and maintenance of wind farms
3887 March 2024Fernando Andres Peñaherrera VacaAnalysis of Interactions between Raw Material and Energy Demands for Data Centres
38728 November 2023Arnab SharmaTesting of Machine Learning Algorithms and Models
38619 December 2023Peter LanzThe InflateSAR Campaign – Detecting Refugee Rubber Boats with SAR
38522 January 2024Ralf StemmerSimulation-Based Execution Time Analysis of SDF Applications on Heterogeneous MPSoCs Using Measured Delay Distributions
38417 August 2023Stefanie HollyDynamic communication topologies for heuristics in distributed energy system optimisation
3837 September 2023Michael BrandASSESS – Anomaly-sensitive state estimation using streaming systems in smart grids
38222 May 2023Sovanna ChhoeungAutomated prediction method to prevent parametric roll
38131 May 2023Arne LammIdentification of near-miss collisions in maritime traffic data as ground truth for scenario-based testing
3804 July 2023Christoph SchröerMicroservice architectures in the context of data science workflows
37921 August 2023Dirk BeckmannArchitectural Process and Evaluation Methods for Intelligent Transport Systems Test Beds
37817 July 2023Alexander TrendeHuman modelling for adaptive road vehicles
37719 September 2023Awais UsmanHighly Available Data Replication Strategies Exploiting Data Semantics, Operation Types and Finite State Space
37622 May 2023Okan ÖzkanResilience of Graph Transformation Systems: Modelling Adverse Conditions and Infinite-state Verification
3754 April 2023Tim CofalaIn silico design of drug-like molecules using evolutionary algorithms and transformers
37415 May 2023Christian Julius MöllerData management for decentralised maritime research and development data in a test bed context
3732 March 2023Razi SeyyediGlobally Accurate Locally Inaccurate (GALI): On the Combination of Time-Triggered Architectures with Instruction-Accurate Simulators for the Analysis of System Behaviour
3729 December 2022Jose Daniel Alvarez CoelloVehicle Data Semantics for Driving Context Knowledge
37113 February 2023Seyed Mehrdad PoorhosseiniA hybrid RISC-V architecture supporting mixed timing-critical and high-performance workloads
3706 December 2022Jakob NonnenmacherOutlier Explanation and Visualisation to Support the Use of Outlier Detection in Internal Auditing
36913 October 2022Felix KruseEnd-to-end data integration of real-world entities – design of a record linkage process, field experiments, implications for business
36819 September 2022Waldemar KlauserMaterial-Phase- and Environment-Specific Adhesion Measurements in the Scanning Electron Microscope
36721 July 2022Manuel GiesekingCorrectness of Data Flows in Asynchronous Distributed Systems – Model Checking and Synthesis
3668 July 2022Jan VoxDetection and evaluation of postures and movements based on joint angles using motion capture sensors
3659 May 2022Chen ZhangSensor Integration for Ship Motion Analysis
36421 April 2022Alexander SandauDesign of a product-service management system for service bundling in the mobility services market
3636 November 2023Johannes MeierEnsuring Inter-Model Consistency
3623 March 2022Daniel LorenzA method for state-based abstraction and simulation of the power consumption of digital integrated circuit components at system level
36118 February 2022Klaas DählmannSimulation of the acceptance and use of mobility services
3601 October 2021Christian SandmannA Theory on Graph Generation and Graph Repair with Application to Meta-Modelling
35918 August 2021Syed Mohtashim Abbas BokhariDesign of Scenario-based, Application-optimised Data Replication Strategies through Genetic Programming
35830 July 2021Nils PancratzLearners’ conceptions of the structure of computer science systems. A multi-method study of the prerequisites for learning to think in terms of parts of wholes
3579 July 2021Constanze HungarMap-based Localisation for Automated Vehicles using LiDAR Features
35631 May 2021Fabian von Kleist-RetzowRobotic Liquid Metal Manipulation and Electrical Contact Probing at Small Scales
3554 June 2021Ammar AlsousQoS-Aware Backup Model for Cloud SDN Using Feedforward Neural Networks
35415 February 2021Alexander BorgerdingResource provisioning methods for expanding the energy flexibility of Data Centres in response to changes in IT load
35325 February 2021Christos ChytasMaterialising Creative Coding Ideas – Applications and Challenges of Computational Making in Youth Coding Education
35229 March 2021Robert SchadekAnalysis and Development of Quorum Protocols for Real-World Network Topologies
3513 November 2020Agnetha FloreMaturity Model for Smart Grids: Evaluation of Migration Pathways Based on Two Case Studies
3503 December 2020Tim DethlefsDynamic Energy Services for Virtual Power Plants
34910 December 2020Jörg WalterPredicting Power and Timing of Large-Scale Distributed Applications on Highly Heterogeneous Platforms
34815 September 2020Dennis SchwäkeConcept for the Development of Digital Control Loops as a Contribution to the Smart Factory
34723 September 2020Volkan GizliPreference-based identification of strengths and weaknesses to improve the efficiency of Data Centres
3468 July 2020Jonas PrellbergEvolving Deep Neural Networks: Optimisation of Weights and Architectures
34529 May 2020Jörn SyrbeIdentifying Competences in Computer Science Teaching Materials: A Quantitative Approach Based on Information Retrieval
34413 May 2020Nils-Steffen WorzykAdversarials-1: Detecting Adversarial Inputs with Internal Attacks
34312 June 2020Tim Claudius StratmannSpatial Attention Guidance for Deck Officers on Ship Bridges
34215 May 2020Liqun WuA Language-Driven Development Framework for Simulation Components to Generate Simulated Environments
3419 October 2023Jan JelschenSoftware Evolution Services – A Framework for the Integration and Development of Flexible and Reusable Toolchains
34026 June 2020Irune Yarza PérezLegacy Software Migration Based on Timing Contract-Aware Real-Time Execution Environments
3393 June 2020Sven HallerbachSimulation-Based Testing of Cooperative and Automated Vehicles
33820 April 2020Almuth MeierPrediction-Based Nature-Inspired Dynamic Optimisation
33730 March 2020Vanessa CobusMultimodal Alarm Distribution System for Intensive Care Units
3367 February 2020Uwe Wilko GrünefeldVisual Cues for Locating Out-of-View Objects in Mixed Reality
33520 March 2020Maike SchwammbergerDistributed Controllers for Provably Safe, Real-Time and Fair Autonomous Car Manoeuvres in Urban Traffic
3345 June 2020Peilin ZhangImproving End-to-end Quality of Service in Low-power Wireless Sensor Networks
33327 March 2020Heinrich OdyMonitoring of Traffic Manoeuvres with Imprecise Information
33210 January 2020Cornelius LudmannContinuous processing of data streams to calculate object recommendations based on data stream queries
33111 November 2019Tobias BrandtQuery Processing on Spatio-temporal Data Streams from Moving Objects
33012 December 2019Andrii MatviienkoDesigning Multimodal Assistance Systems for Child Cyclists
3295 November 2019Marion KoelleDesigning Socially Acceptable Body-worn Cameras
3283 September 2019Fabiola Goncalves Coelho RibeiroMulti-formalism at Different Levels of Abstraction for Requirements Engineering and Architectural Design of Real-Time Embedded Systems
3278 November 2019Paulin Pekezou FouopiHolistic modelling and interpretation of scenes and situations based on symbolic, probabilistic and sub-symbolic models
32617 September 2019Ruthbetha KateuleReference Architecture for Smart Environment Information Systems
32521 October 2019Christian JeppingModelling of kinematic rotor blade deformations based on sequentially acquired image and surface data
3248 August 2019Safwan SulaimanKnowledge Transfer-based Recommendations to Enable Self-Service Business Intelligence
32319 June 2019Stefan PuchStatistical Model Checking Using Guided Simulation in the Context of Model-Based Development of Safety-Critical Driver Assistance Systems
32221 October 2019Peter Nazier MosaadHandling Delay Differential Equations in Automatic Verification
32115 May 2019Basel HasanA Conceptual Framework for Mobile Security to Support Enterprises in Adopting Mobility
3202 May 2019Andreas LöckenIn-Vehicle Ambient Light Displays for Advanced Driver Assistance Systems
3196 June 2019Johann KelschOperational, structure-focused design of cognitive systems using the example of highly automated vehicles
31816 April 2019Guido PleßmannModelling decarbonisation pathways for Europe’s electricity supply system up to 2050
31711 February 2019Dilshodbek KuryazovModel Difference Representation
31619 February 2019Marie-Christin HarreSupporting Supervisory Control of Safety-Critical Systems with Psychologically Well-Founded Information Visualisations
31517 December 2018Mohamed Elsayed Hasan AbdelaalNon-linear Model Predictive Control for Trajectory Tracking and Collision Avoidance of Surface Vessels
31417 December 2018Man ZhuOptimised Support Vector Regression Algorithm-based Modelling of Ship Dynamics
3136 December 2018Torben WallbaumSupporting Interpersonal Awareness Over a Distance
31230 November 2018Malte BartenwerferAutomation Capabilities in the Nanorobotic Handling of Nanomaterials
31123 November 2018Philipp IttershagenApplication Modelling and Performance Estimation of Mixed-Critical Embedded Systems
31024 October 2018Marius BrinkmannPhysical test bed architecture to support the development of automated vessel control systems
30912 February 2019Oliver NorkusIT Architecture Development for BI in the Cloud
30812 November 2018Uli SchlachterPetri Net Synthesis and Modal Specifications
30710 August 2018Shadan Sadeghian BorojeniSupporting Drivers in Take-over Situations in Highly-Automated Driving
3065 December 2018Eike MöhlmannAutomatic Stability Verification via Lyapunov Functions – Representations, Transformations and Practical Issues
3054 October 2018Norman IhleForecasting methods for the electrical load profile in maritime container terminals
30423 October 2018Abdelkerim RezguiDecision Evaluation System – Towards Sustainable Decision-Making
30315 October 2018Timo von der DovenmühleIntegration of external service providers into the service delivery process of business information processing
30229 March 2018Benjamin WeinertA framework for describing the architecture of socio-technical maritime systems
30115 May 2018Heiko MüllerAmbient Light Displays for Temporal Information
3007 May 2018Malte Christoph MetzdorfIntegration of Reliability Assessment and Optimisation into the RT and Gate-Level Design Flow
2997 May 2018Khalil OmarA Conceptual Framework for Devising Adaptive User Interfaces to Improve the Usability of Mobile ERP
29827 April 2018Larissa JanssenWaste reduction in the food retail sector through mathematical optimisation and simulation-based evaluation
29720 April 2018Stefan OehmckeDeep Learning of Virtual Marine Sensors
29620 April 2018Evgeny ErofeevCharacterisation of a Class of Petri Net Solvable Transition Systems
29522 February 2018Olaf HänßlerMultimodal Sensing and Imaging Technology Using Integrated Scanning Electron, Force and Near-field Microwave Microscopy and its Application to Submicrometre Studies
29431 January 2018Jochen MeyerLong-term monitoring of personal health parameters for the prevention of cardiovascular diseases
29312 January 2018Daniel HölkerQuality assessment of energy management algorithms taking into account constrained communication parameters
29227 September 2017Nick RüssmeierTest bed for optical sensors for generating maritime environmental situational awareness and optical flow measurement
2912 October 2017Tayfun GezginState-based Timing Analysis for Distributed Systems
29028 June 2017Björn WolffSupport Vector Regression for Solar Power Prediction
28923 May 2018Till SteinbachEthernet-based vehicle network architectures for future real-time systems in the automotive sector
28818 August 2017Christian NeureiterA Domain-Specific, Model-Driven Engineering Approach for Systems Engineering in the Smart Grid
28731 May 2017Reef Janes EilersAbstraction of Ageing Models for High-Level Degradation Prediction
28610 May 2017Saskia GreinerRisk-Integrated Process Engineering: The Case of an Offshore Wind Farm
28529 August 2017Lars WeberDriver Modelling and Simulation of Lane Change Situations
28424 April 2017Judith Fröhling (née Neugebauer)Abstract: Flexibility Description for Virtual Power Plant Scheduling
28328 March 2017Sören ZimmermannDedicated Robotic Handling and Processing at the Submicrometre Scale: Feasibility Studies
2829 August 2017Ahmed MahdiAdvancing Software Model-Checking by SMT Interpolation Beyond Decidable Arithmetic Theories
2817 June 2017Cornelius SteinbrinkA Non-Intrusive Uncertainty Quantification System for Modular Smart Grid Co-Simulation
28019 May 2017Saifullah KhanGeometry-Predicting Communication Protocols for Car2X Applications
27926 April 2017Yang GaoVerification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain (CSSMT)
27819 December 2016Daniel LückeheEvolutionary Wind Turbine Placement and Network Optimisation with Geographical Constraints
27714 February 2017Stefan JanacekIdentification of Degrees of Freedom and Interactions in Data Centres, Taking Electrical and Thermal Energy into Account
27618 November 2016Oday JubranRecurrence in Self-Stabilisation
2755 December 2016Justin HeinermannWind Power Prediction using Machine Learning Ensembles
2745 December 2016Abhishek AwasthiOptimisation of NP-hard Scheduling Problems through the Development of Timing Algorithms and Parallelisation
27328 March 2017Birthe GebhardtAn Analysis Framework for Time-Dependent Reactive Scheduling
27212 December 2016Janko TimmermannDevelopment of a User-Adaptive Mobile System to Support Running Training for Beginners
27116 December 2016Sebastian BeerDynamic Coalition Formation in Electricity Markets
27016 December 2016Jutta FortmannWrist-Worn Light-Based Smart Digital Jewellery
26928 November 2016Volker GollückeEvaluation of simulation states for a targeted analysis of high-risk systems
26813 December 2016Lama BalloulLife Cycle Management for the System Landscape
26721 October 2016Nils Erik FlickProving the correctness of graph programmes relative to recursively nested conditions
26624 August 2016Mirco JosefiokMedRec – Development of a training platform for differential diagnosis
2654 November 2016Mohamed AbdelaalEnabling Energy-Efficient Wireless Sensing with Improved Service Quality
26426 October 2016Björn EngelmannTechniques for the Verification of Dynamically Typed Programmes
26317 June 2016Serge RungeEnergy-efficient battery deployment planning in closed transport systems with battery swapping
2629 June 2016Christian DenkerAssessing the Spatio-Temporal Fitness of Information Supply and Demand on Ship Bridges
26110 June 2016Sören SchweigertSimulation-based verification of sensor data processing systems
26011 July 2016Maher FakihState-Based Real-Time Analysis of Synchronous Data-Flow (SDF) Applications on MPSoCs with Shared Communication Resources
25910 June 2016Michael BlaichPath Planning and Collision Avoidance for Safe Autonomous Vessel Navigation in Dynamic Environments
2589 June 2016Sascha HornauerMaritime Trajectory Negotiation for n-Vessel Collision Avoidance
2572 September 2016Markus OertelAn Analysis of the Impact of Linear Scaling Changes Based on a Formal Safety Model for Automotive Embedded Systems
25617 May 2016Daniel SchlittDevelopment of a load-dependent energy efficiency metric for Data Centres
25513 June 2016Nico GrundmeierSimulation-based energy demand forecasting in seaport container terminals
25427 May 2016Rainer DrosteModel-based planning to support risk assessment in maritime operations
25328 April 2016Chandan KumarRegional Search and Visualisation Methodologies for Multi-Criteria Geographic Retrieval
25218 March 2016Hendrik RadkeA Theory of HR* Graph Conditions and their Application to Meta-Modelling
25127 May 2016Timo MichelsenOdysseus P2P: Distributed data stream processing in private P2P networks
25029 February 2016Kiril SchröderEnergy- and cost-optimised, virtualisation-based load and power management in a data centre cluster
24930 November 2015Thomas VogelgesangMultidimensional process mining for the analysis of medical care processes
24816 December 2015Marita BlankReliability Assessment of Coalitions for the Provision of Ancillary Services
24720 November 2015Tobias KrahnFlexible Detection of Adverse Drug Reactions for Healthcare Research
24618 December 2015Florian FortmannAugmenting Monitoring Performance during Multi-UAV Supervisory Control with Adaptive Displays
2454 December 2015Anja OhsenbrüggeDynamic Regulation and Reserve Power Provision in Future Smart Grids
2449 November 2015Mani SwaminathanQuantitative and Structural Analysis of Real-Time and Probabilistic Systems
24316 October 2015Klaas SchmidtKnowledge-based decision support systems for the transfer and reuse of experiential knowledge from decision-making processes
24211 September 2015Jan PinkowskiProcess-driven risk analysis for the assessment of maritime operations
2413 July 2015Andreas SolsbachDocument Engineering as an Approach to Cross-Organisational Sustainability Reporting
24029 June 2015Ana-Maria StoffersComputer science teachers’ subjective theories on the subject-specific didactic structuring of their lessons
23919 June 2015Monika WalterA concept for identifying potential support for simulation studies using multidimensional data models
23823 June 2015Steffen KruseCo-evolution of Metamodels and Model Transformations
23727 April 2015Benjamin Wagner vom BergDesigning a Sustainability Customer Relationship Management System for Sustainable Mobility Providers
2366 March 2015Kim GrüttnerApplication Mapping and Communication Synthesis for Object-Oriented Platform-Based Design
23529 April 2015Philipp GringelCompany-Specific Adaptation of Enterprise Architecture Frameworks
23417 April 2015Astrid NießeDistributed continuous deployment planning in dynamic distributed power plants
2339 March 2015Carsten WissingReFlex: Market-based redispatch utilising grid users’ flexibility for the distribution network
2322 March 2015Christian KukaQuality-sensitive data stream processing for the creation of dynamic context models
23112 March 2015Ralf BuschermöhleOptimising Development Processes
2304 February 2015Jörg BremerConstraint Handling with Support Vector Decoders in Distributed Optimisation
22928 November 2014Claas DiederichsFast and robust camera-based object tracking using FPGAs in microrobotics
22820 February 2015Sven LinkerProofs for Traffic Safety – Combining Diagrams and Logic
22717 November 2014Sebastian SengeA bee-inspired swarm intelligence method for road traffic routing
2265 December 2014Christian DänekasThe use of technology roadmaps for planning the enterprise architecture of energy supply companies
2252 October 2014Xuan Ha NguyenSimulation, Validation and Optimisation of Stick-Slip Drives for Nanorobotic Applications
2247 November 2014Miada NaanaData-warehouse-based design of a strategic eco-controlling system
2235 September 2014Florian KrohsNanohandling and Nanometrology using the Atomic Force Microscope
22231 July 2014Abiot Sinamo BoltenaNeuro-Fuzzy-ANP-based Decision Model for ERP System Selection
22110 November 2014Ammar MemariA Model for Adaptive Applications on the Semantic Web
2208 July 2014Dirk PetersAdaptive Teaching and Learning Systems to Support Practical Training on ERP Systems
21917 July 2014Benjamin PoppingaSensor-supported, unsupervised observation techniques for field studies
21823 July 2014Andreas EggersDirect Handling of Ordinary Differential Equations in Constraint-Solving-Based Analysis of Hybrid Systems
21724 November 2014Tim HoerstebrockStrategic Analysis of Electric Mobility in the Bremen/Oldenburg Metropolitan Region
2165 June 2014Christoph SchwarzStudy on the potential for improving the flexibility, performance and scalability of driverless transport systems through the use of decentralised control techniques
21524 June 2014Mohamad RabbathRe-composition of distributed social media content
21419 June 2014Bertram WortelenThe Adaptive Information Expectancy Model for Simulating Attention in a Cognitive Driver Model
21326 June 2014Myriam LipprandtDevelopment of a model-driven method for mapping sensor-based data from home assistance systems onto medical reports
21215 May 2014Christian HinrichsSelf-organised resource planning for decentralised actors in the smart grid
21126 February 2014Christian LüpkesAd-hoc data transformations for analytical information systems
21013 January 2014Dania Pérez ArmayorTechnology Combinations Decision Model for Supply Chain Information Systems Integration
20925 February 2014Melvin IskenOptimised Robot Navigation and Geriatric Mobility Assessments in Home Environments
20828 January 2014Ralph GörgenEfficient integration of hardware descriptions into Simulink/TDF simulations
20726 February 2014Nils Henning MüllnerUnmasking fault tolerance: Quantifying deterministic recovery dynamics in probabilistic environments
20622 November 2013Christian DahmenRobust Object Tracking for Micro- and Nanorobotics
20513 January 2014Kai HyllaBridging the Gap Between Precise Real-Time Power/Timing Estimation and Fast High-Level Simulation
20429 November 2013Dennis GeesenMachine Learning in Data Stream Management Systems
20316 December 2013Tim StraznyAn Algorithmic Framework for Checking Coverability in Well-Structured Transition Systems
20227 November 2013Steffen SchütteSimulation Model Composition for the Large-Scale Analysis of Smart Grid Control Mechanisms
2015 November 2013Olaf WilkenActivity detection based on the use of electrical appliances in the home
20013 August 2013Matthias MertensKNOBI – Knowledge-based Business Intelligence for Business User Information Self-Service
1995 July 2013Tariq MahmoudLightweight Semantic-enabled Enterprise Service-Oriented Architecture
1983 July 2013Axel HelmerIntegration of medical models into electronic health records
1975 July 2013Jan-David QueselSimilarity, Logic, and Games – Bridging Modelling Layers of Hybrid Systems
19630 May 2013Eike ThadenSemi-Automatic Optimisation of Hardware Architectures in Embedded Systems
1953 May 2013Abhishek DhamaA Compositional Framework for Designing Self-Stabilising Distributed Algorithms
1944 February 2013Matthias BükerAn Automated Semantic-Based Approach for Creating Task Structures
19322 November 2012Claas BusemannAn Efficient Approach to Interoperability between Service Protocols through the Modelling of Behavioural Differences
1924 October 2012Mahmoud AmerMeasuring Electronic Service Quality in the Business-to-Business Domain
1918 October 2012Tobias HesselmannDesigning User Interfaces for Interactive Tabletops
1907 December 2012Philipp SandhausAnalysis, Retrieval and Layout for Digital Photobooks
18918 October 2012Thomas FrenkenA technical approach to unobtrusive mobility analysis in the context of geriatric assessments
18824 September 2012Sebastian Rohjans(S²)In – Semantic Service Integration for Smart Grids
1871 October 2012Daniela WolffContext-sensitive support for knowledge-intensive business processes
18620 July 2012Stefan FlöringKnoVA: A Reference Architecture for Knowledge-based Visual Analytics
18520 July 2012Kinga Kiss IakabProbabilistic Quorum Systems for Dependable Distributed Data Management
18429 August 2012Tino TeigeStochastic Satisfiability Modulo Theories – A Symbolic Technique for the Analysis of Probabilistic Hybrid Systems
18327 September 2012Sven RosingerRT-Level Power-Gating Models Optimising Dynamic Leakage Management
18217 August 2012Andreas ThielSecurity Concept for Medical Image Processing in Unsecure Grid Environments
18120 August 2012Martin PielotConveying Spatial Information for Navigation and Orientation
18014 December 2012Amna AsifSupporting route guidance for car drivers using a tactile display on urban roads
17930 May 2012Tim WortmannAutomatic image analysis in micro- and nanorobotic environments
17811 July 2012Ontje LünsdorfSelf-organisation of virtual devices for load management of small consumers
17718 June 2012Henning JostReasoning on Domain Knowledge and Technical Standards to Support the Development of Safety-Critical Automotive Systems
17619 July 2012Niels HenzeCamera-based Mobile Interaction with Physical Objects
17512 June 2012Yvette TeikenAutomatic Model-Driven Analytical Information Systems
1741 June 2012Stanley MungweAdaptive Control of a Tractile Surgical Navigation System
1734 May 2012Friedrich KretschmerAutomated tracking of head and eye movements during 360° stimulation to characterise the visual system of small vertebrates
1723 July 2012Christina DörgeKey Computing Science skills – concepts of information technology as part of a general Computing Science education
1713 April 2012Daniel SüpkeReference architecture for dialogue-based sustainability reporting in Web 2.0
17013 April 2012Stephan große AustingMeasuring the complexity of product models
16927 April 2012Roland KoppeA methodology for the strategic impact assessment of methodological changes in development processes
16829 February 2012Fabian GiesekeFrom Supervised to Unsupervised Support Vector Machines and Applications in Astronomy
16714 May 2012Carsten HomburgMechatronic Processing Objects – A processing-oriented model representation as the basis for an open design environment for mechatronic systems
16628 February 2012José Manuel González VázquezA reference model catalogue for the energy sector
16524 January 2012Stefan HäuslerProcess-oriented product monitoring for the development of electronic systems
16416 December 2011Jens OehlerkingDecomposition of Stability Proofs for Hybrid Systems
16316 November 2011Christoph EdelerModelling and validation of force generation using stick-slip actuators for nanorobotic applications
16229 August 2011Johannes FaberVerification Architectures for Complex Real-Time Systems
16119 September 2011Oliver KoslowskiClinical Decision Support with Guidelines and Bayesian Networks
16014 October 2011Jonas JacobiLatency Reduction for Prioritised Messages in Data Stream Management Systems
15910 October 2011Matthias PostinaEvolutionary management of process- and service-oriented enterprise architectures
15812 October 2011Ralph StuberPost-integration data management in data warehouses
157 24 October 2011Jan AalminkEnterprise Tomography – an efficient diagnostic method for the semi-automatic localisation of polymorphic integration concepts in enterprise software systems
15618 July 2011Astrid RakowSlicing and Reduction Techniques for Model Checking Petri Nets
15527 June 2011Tim PulsLocalisation and Control Methods for a 4-Rotor Helicopter
1548 July 2011Bolles, AndréA data-stream-based framework for object tracking using driver assistance systems as an example Extended Abstract
1536 June 2011Daniel JasperSEM-based motion control for automated robotic nanohandling Full version External link to book
15224 May 2011Marco HoyerResource Management in Virtualised Data Centres: Performance and Energy Aspects Full version
1518 April 2011Stefan BrüggemannEnsuring Consistency in Data Quality Management
1503 February 2011Volkmar EichhornNanorobotic handling and characterisation of carbon nanotubes inside the scanning electron microscope Abstract
1495 November 2010Peter CissekStrategic business planning in a data warehouse environment supported by a knowledge management system Full version Abstract
14830 March 2011Christian StormSpecification and Analytical Evaluation of Heterogeneous Dynamic Quorum-based Data Replication Schemes
14728 October 2010Petra BeenkenProtection of security-relevant information in distributed energy information systems Abstract
14613 December 2010Dirk AhlersGeographically Focused Web Information Retrieval
14527 September 2010Jan Stefan AddicksEvaluation of business applications in the context of their enterprise architecture
1444 August 2010Christian HerdeEfficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
14314 April 2010Martin TröschelActive Dispatch Planning in Holonic Virtual Power Plants
14219 February 2010Henrik LipskochOptimisation of battery operating life taking into account software tasks and their timing behaviour
14112 May 2010Andreas SchallenbergDynamic Partial Self-Reconfiguration: Rapid Modelling, Simulation and Synthesis
14010 December 2009Marko BoskovicModel-driven Performance Measurement and Assessment Races
13926 November 2009Domenik HelmsLeakage Models for High-Level Power Estimation
13813 November 2009Thomas BiskupAgile, domain-model-driven software development for medium-sized IT projects
13721 October 2009Mathias UslarOntology-based integration of heterogeneous standards in the energy sector
13613 October 2009Sven FrimontAn approach to the use of partially defective Field-Programmable Gate Arrays (FPGAs) in mass production
13528 September 2009Timo WarnsStructural Failure Models for Fault-Tolerant Distributed Computing
13411 September 2009Karl-Heinz PennemannDevelopment of Correct Graph Transformation Systems
1338 July 2009Jasminka MatevskaModel-based, reachability-optimised reconfiguration of component-based software systems at runtime
1327 July 2009Melina BrellA vibrotactile human-machine interface for surgical applications
13130 June 2009Fabian GrüningData quality management in the energy sector
13029 June 2009Ludger WinkelsReference model for daily operational planning of decentralised, heterogeneous energy generation plants
12923 April 2009Tanja SchmedesService-oriented architectures for decentralised energy management
12820 February 2009Roland MeyerStructural Stationarity in the π-Calculus
12710 February 2009Nico BrehmFunded ERP systems based on web services
12610 February 2009Tobe TobenAnalysis of Dynamic Evolution Systems by Spotlight Abstraction Refinement
1259 January 2009Kevin HausmannPerformance measurement in product development based on semantically integrated product models
124 19 December 2008André PlatzerDifferential Dynamic Logics
12315 December 2008Richard HackelbuschAn ontology-based approach to the representation of degree programmes and their regulations
12228 November 2008Jens HappePredicting Software Performance in Symmetric Multi-core and Multiprocessor Environments
12130 October 2008Christian GrünwaldiBUIS: Design of an Integrated Operational Environmental Information System
12023 October 2008Jan StrickmannAnalytical methods for evaluating development projects
11926 September 2008Simon GieseckeArchitectural Styles for Early Goal-driven Middleware Platform Selection
11819 September 2008Ludger BischofsSimulation-based analysis and development of peer-to-peer systems
1173 July 2008Thomas WichTools and methods for automating serial nano-assembly in the scanning electron microscope
11626 June 2008Marco Jähnisch3D imaging system for nano-manipulation in the scanning electron microscope
11525 April 2008Jens FinkeA framework for modelling, evaluating and optimising corridor networks, taking anthropogenic disturbances into account
11425 April 2008Stephan FahlbuschDevelopment of integrable micro-force sensors for robot-based micro- and nano-manipulation
11317 April 2008Bernd WestphalSpecification and Verification of Dynamic Topology Systems
11227 March 2008Heiko KoziolekParameter Dependencies for Reusable Performance Specifications of Software Components
11127 March 2008Steffen BeckerCoupled Model Transformations for QoS-Enabled Component-Based Software Design
11031 January 2008Sascha KochAnalytical Performance Management
1095 October 2007 Liane HaakSemantic Integration of Data Warehousing and Knowledge Management
10821 September 2007 Wilko HeutenNon-Visual Support for Navigation in Urban Environments
10711 July 2007Tobias MusiolikControl and Regulation Systems for Direct Injection of Gaseous Fuels into Internal Combustion Engines
10611 July 2007 Marc SegelkenAbstraction and counterexample-guided construction of omega-automata for model checking of step-discrete linear hybrid motors
10520 April 2007Heiko TapkenDistributed classification using multi-relational decision trees, taking privacy aspects into account
10416 April 2007Markus SchmeesElectronic Commerce in Technology-Enhanced Learning
1032 April 2007Torsten SieversReal-time object tracking in a scanning electron microscope
10230 March 2007Helge HülsenSelf-Organising Locally Interpolating Maps in Control Engineering
1012 February 2007Markus KemperDevelopment of an Indoor Attitude Control and Indoor Navigation System for 4-rotor micro-helicopters
10020 December 2006Andreas SchäferSpecification and Verification of Mobile Real-Time Systems
991 December 2006Michael KerstenA Multi-Phase Deadlock Detection Method for Reactive Systems Based on UML Models
9825 August 2006Ansgar ScherpA Component Framework for Personalised Multimedia Applications
9719 July 2006Menno HeerenSwarm Intelligence as a Strategy for Solving Reactive Planning Problems in Value Chains
9612 July 2006Jochen HoenickeCombination of Processes, Data and Time
9519 May 2006Alexander MetznerEfficient Design of Distributed Embedded Real-Time Systems
9421 April 2006Jürgen MeisterSoftware product line for analytical application software
9321 April 2006Sergej AlekseevGraph-theoretic methods in the flow analysis of object-oriented applications
9220 April 2006Sven AbelsReclassification of product data in electronic product catalogues
9125 November 2005Marc LettrariEfficient State Space Exploration of Reactive Object-Oriented Programmes
9018 November 2005Hartmut WittkeAn Environment for Compositional Specification Verification of Complex Embedded Systems
893 November 2005Susanne PedersenInteroperability of heterogeneous information sources in healthcare based on standards for medical communication and documentation
8826 October 2005Jens KröscheDesign of a system platform for the development of context-sensitive mobile applications
8720 October 2005Jörg RiesmeierA generic method for the adaptive visualisation of structured medical reports
8612 September 2005Andreea BarbuDeveloping Mobile Agents Through a Formal Approach
8513 May 2005Eike GrimpePerformance-Optimised Hardware Synthesis of Shared Objects
8421 February 2005Marco GrawunderDYNAQUEST – Dynamic and Adaptive Query Processing in Virtual Database Systems
839 February 2005Frank OppenheimerOOCOSIM – An Object-Oriented Co-design Method for Embedded Hardware/Software Systems
8210 December 2004Palle KlanteDesigning Auditory Environments
8119 November 2004Marco SchlattmannMethods and tools for the development of virtual multimedia laboratories
8015 October 2004Andreas LüdtkeCognitive Analysis of Formal Safety-Critical Control Systems Based on an Integrated Human-Machine Model
795 July 2004Guido SchimmWorkflow Mining – Methods for Extracting Workflow Schemas from Event-Based Data
782 July 2004Frank OldenettelIntegration of digital libraries into learning management systems
7710 June 2004Arndt SchönbergArchitecture of a knowledge-based threat and risk analysis of IT systems with automated selection and integration of security mechanisms – Are_U_WAITing?
763 June 2004Arne HarrenTemporal data integration in data warehouse systems
752 February 2004Dirk StükerHeterogeneous sensor data fusion for robust object tracking in road traffic
7427 February 2004Vera KampDatabase system support for multidimensional intelligent data analysis
7311 November 2003Thorsten TeschkeSemantic component search based on business process models
7222 September 2003Jochen KloseLive Sequence Charts: A Graphical Formalism for the Specification of Communication Behaviour
7126 June 2003Tom BienmüllerReducing Complexity for the Verification of Statemate Designs
705 May 2003Edward KwawAn Interactive Design Alternative for Structural Engineering Based on the Geometric Cell Complex
6910 February 2003Eike SchmidtPower Modelling of Embedded Memories
6820 December 2002Cornelia HaberCOMMA – A development method for interactive collaborative applications
6716 October 2002Laila KabousAn Object-Oriented Design Methodology for Hard Real-Time Systems: The OOHARTS Approach
6628 June 2002Dietrich BolesIntegration of e-commerce concepts and technologies into digital libraries
6531 May 2002Nils FaltinStructured active learning of algorithms using interactive visualisations
6431 May 2002Janine WillmsDesign of an intelligent problem-solving environment for patent filing and examination
638 April 2002Holger HinrichsData Quality Management in Data Warehouse Systems
6221 December 2001Olaf HerdenA Design Methodology for Data Warehouses
6123 April 2001Olaf MaibaumDetermining symbolic runtimes in embedded real-time systems
6018 October 2001Marco EichelbergA method for assessing the interoperability of medical image communication systems
5912 October 2001Lars KruseEstimating and Optimising Power Consumption of Integrated Macro Blocks at the Behavioural Level
5812 September 2001Frank KösterAnalysis of Simulation Models Using Knowledge Discovery in Databases Methods
5716 July 2001Alfred MikschlWAMCOT
5612 November 2001Hilko DonkerProposal for a method for didactic interaction and information design
553 July 2001Dirk RabeAccurate Power Analysis of Integrated CMOS Circuits at Gate Level
5427 August 2001Ingo StierandAmbrosia/MP – A real-time operating system for embedded multiprocessor systems
5322 June 2001Josef TapkenModel-Checking of Duration Calculus Specifications
5223 August 2001Björn BrielAnalysis of embedded systems using distributed simulation
5115 May 2001Gerd JochensModelling and simulation of power dissipation in integrated circuit macros
5030 April 2001Wolfram Putzke-RömingEnd-to-end communication design for structural, object-oriented hardware design
496 March 2001Jörg FriebeArchitectures for component-based geographical information systems on the Internet
482 March 2001Rainer SchlörSymbolic Timing Diagrams: A Visual Formalism for Model Verification
4721 July 2000Cheryl KleukerConstraint Diagrams
468 May 2000Jörg RitterProcess-Oriented Configuration of Component-Based Application Systems
458 May 2000Frank WietekIntelligent analysis of multidimensional data in a visual programming environment and its application in cancer epidemiology
443 April 2000Clemens FischerCombination and Implementation of Processes and Data: from CSP-OZ to Java
433 April 2000Martin RadetzkiSynthesis of Digital Circuits from Object-Oriented Specifications
4210 December 1999Thomas ThielkeLinear-algebraic methods for the description, refinement and analysis of coloured Petri nets
413 December 1999Rainer von AmmonDevelopment of a user-centred method for designing and automatically generating application software prototypes in iterative software development cycles
4022 October 1999Henning DierksSpecification and Verification of Polling Real-Time Systems
3922 October 1999Udo BrockmeyerVerification of STATEMATE Designs
382 July 1999Wilfried ThobenKnowledge-based threat and risk analysis of workflow-based application systems
3725 June 1999Gunnar WittichA problem-oriented approach to verifying real-time properties of embedded systems
3612 February 1999Frank RumpEnd-to-end management of business processes based on event-driven process chains
3529 January 1999Guido SchumacherObject-Oriented Hardware Specification and Design with a Language Extension to VHDL
3414 December 1998Clemens OtteFuzzy prototype classifiers and their application to automatic feature selection
3313 November 1998Juliane VorndammeThe Impact of Legal Obligations on Software Development
3223 September 1998Michael StadlerAbstract computer network models as the basis for comprehensive automation of network management
3129 May 1998Helmut LorekComputer tools to support the development and implementation of individual-oriented ecological models
3029 April 1998Ronald HerrmannEfficient symbolic model checking of real-time aspects for VHDL
2927 March 1998Lutz KöhlerFuzzy geometry and applications in medical image processing
2813 March 1998Olaf ZukunftIntegration of mobile and active database mechanisms as a basis for location-independent transaction processing
2713 February 1998Michael SampelsAlgebraic construction of efficient connection networks
2622 December 1997Jürgen BohnMechanical Support and Validation of a Design Calculus for Communicating Systems Using a Logic-Based Proof System
2519 December 1997Stephan KleukerIncremental Development of Verified Specifications for Distributed Systems
2418 December 1997Franz KorfSystem-level synthesis tools: from theory to application
2318 December 1997Hergen PargmannCOMDES: Simulation and Verification Techniques for System-Level Hardware Design
2231 October 1997Ralf WietingModelling and Simulation Using Hybrid Higher-Level Networks
2124 October 1997Stefan SchöfDistributed simulation of higher-order Petri nets
2018 July 1997Herwig HenselerActive scheduling with multi-agents
192 May 1997Ludger BölkeAn Acoustic Interaction Space for Visually Impaired Computer Users
1818 February 1997Johannes HelbigLinking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams
175 July 1996Ralf BrunsGenetic Algorithms + Constraint Programming = Knowledge-Based Genetic Algorithms
1616 February 1996Manfred BurkeFDDI and ATM in multimedia application environments
157 February 1996Ina PitschkeInteractive reconstruction of geometric models from digital images
1420 December 1995Peter KelbAbstraction techniques for automatic verification methods
1320 October 1995Helge BehrendsDescription of event-driven activities in database-supported information systems
1223 June 1995Henning ReinekeStructure and behaviour of distributed finite automata
1119 December 1994Gerlinde SchreiberFunctional equivalence of Petri nets
1020 October 1994Stephan RössigA Transformation Approach to the Design of Communicating Systems
921 March 1994Bernd MüllerPPO – An Object-Oriented Prolog Extension
811 February 1994Rainer GötzeModelling multimedia user interfaces
712 February 1993Jürgen SauerKnowledge-based solution of scheduling problems using explicit heuristics
68 May 1991Helmut EirundModelling and Manipulation of Multimedia Documents in the MARS Archiving System
513 July 1990Heinrich JasperDatabase support for Prolog programming environments
420 March 1990Ulrike LichtblauFlow-graph grammars
316 February 1990Andreas SchwillShortest edge-disjoint paths in graphs
25 June 1989Jürgen KämperStructural investigations in the context of the complexity classes P and NP
119 December 1986Axel ViereckClassification, concepts and models for human–computer interaction
(Changed: 23 Jul 2026)  |  Kurz-URL:Shortlink: https://uol.de/p31098en
Zum Seitananfang scrollen Scroll to the top of the page

This page contains automatically translated content.