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 thesis defenceAuthorThesis
437Janis KrögerSafe-Guarding Updates at Runtime for Critical Cyber-Physical Systems
436Rabeaeh KiaghadiDisasters, Dynamics, and Decisions - Strategic Planning in Stochastic Dynamic Environments
43502.04.2026Johann SchützCross-system technical debt in federated systems of systems: Understanding, identifying and managing using the example of the electric power domain
434Saja Aljuneidi-DückinoCitizens' Perceptions of AI-based Decision-Making in Public Administration
43320.02.2026Konstantin BrandlSelf-Organising Ad-Hoc Routing for maritime Multi-Domain Systems
43227.01.2026Annika ArendsVbtO in automotive engineering - Implementation of a VbtO system in existing process and system landscapes
431Masoumehsadat HosseiniDesigning and Evaluating Scalable Mid-Air Gestures for Interactive Systems
43016.03.2026Bastian FrauneAutomated monitoring of safety configurations of operational technology in power grids - strengthening trust through continuous monitoring of the safety configuration
42925.02.2026Rene KuchenbuchIntelligent systems to improve the quality of IEC 62559 use cases and SGAM architecture models
42802.02.2026Lars KlitzkeFrom Real-World Traffic Data to Scenarios in the Context of Automated Vehicles
42715.01.2026Johannes ScheringStakeholder-oriented KPI system for optimising the work process in bicycle traffic planning
42620.02.2026Christopher BischopinkDecidability and Enforcement of Timing Properties in Motorway Traffic
42510.12.2025Florian MaurerComparative Simulation of Energy Market Designs
42429.10.2025Jan Steffen BeckerA Consistency Analysis Method for Traffic Sequence Charts
42317.10.2025Michael ChamunorwaDesigning User Interfaces Embedded in Everyday Objects for Rich Interaction
42218.12.2025Björn KoopmannEnsuring Real-Time Behaviour of Cooperating Cyber-Physical Systems
42105.12.2025Paul HannibalSynthesis of Asynchronous Distributed Systems with Causal Memory via Petri Games
420Duc Do TranCombining Model-Based Engineering in IEC 61499 with Contracts for Cyber-Physical Systems Monitoring
41923.09.2025Marvin NordaDevelopment of a method for evaluating the efficiency of voice control as an industrial human-machine interface in production
41823.06.2025Thomas WolgastEnvironment Design for Learning the Optimal Power Flow With Reinforcement Learning
41725.06.2025Xuqian YanData-Driven State-of-Health Quantification for Industrial Proton Exchange Membrane (PEM) Water Electrolyzer Fleets
41623.06.2025Akhila BairyOptimising Timing of Explanations in Autonomous Vehicles
41511.04.2025Michael BarzGaze-based Multimodal Interaction: Methods for Active and Passive Gaze-based Interaction
41416.05.2025Cedric RichterNeural Bug Detection
41304.02.2025Rebeca RamirezA Systematic Analysis of Electricity Markets on Smart Grid Performance
41227.02.2025Carsten KrügerEngineering process for virtualised services in smart grids
41110.12.2025Patrick FeifelInherent Interpretability for Safe Pedestrian Detection with Deep Neural Networks
41009.12.2024Marius WybrandsIntegration of long-term water demand forecasts into water management information systems
40917.12.2024Jannike IllingSupporting Time-Critical, Parallel, and Spatially Distributed Tasks Using Augmented Reality
40809.01.2025Sanja StarkMulti-objective Blackstart of an impaired ICT-reliant Renewable Energy System
40713.12.2024Juliane WeilbachCausal Dynamic Modelling with Bayesian Methods
40622.11.2024Patrick EschemannAI-supported factory layout optimisation
40521.02.2025Jan Frederik HaltermannCooperative Software Verification
40406.11.2024Leonard StepienSystem Configuration to Enhance Co-Simulation for Decision Support
40325.09.2024Charles SteinmetzAn integrated environment for modelling and deploying Digital Twins
40208.08.2024Paul Hendrik TiemannMultipurpose utilisation of battery storage: Modelling flexibility abstractly
40118.06.2024Friederike BrunsSystematic Correct-by-Construction Design for Industrial Real-Time Communication
40002.07.2024Steffen WehkampSimulation-based Validation of Valuation Methods for Power Plant Investments
39921.06.2024Hatice Şahin IppolitiSocial Interaction Between Road Users and Automated Vehicles
39824.06.2024Viktor LizenbergSimulations for Cooperative Driving - Methodology for Verification and Validation of Cooperative Driving Functions with Intelligent Co-Simulation Framework
39721.03.2024Farzaneh MoradkhaniVerification of Neural Networks Containing Non-Linear Activation Functions
39622.04.2024Sebastian WeißDesigning VR Stressors for Occupational Simulation Training in the ICU Context
39515.04.2024Ahmad Pajam HassanBig Data Analytics in Supply Chain Risk Management - A Concept for the Design of
Risk Management Information Systems
39428.05.2024Anand NarayanResilience Quantification of Interdependent Power and ICT Systems using Operational State Classification
39303.04.2024Matthias SteidelContext-sensitive behaviour prediction of ships
39231.05.2024Nick WürdemannTaking Synthesis of Distributed Systems via Petri Games to High Level, Symbolically
39120.12.2023Lars ElendAdvances in Computational Intelligence with Applications in Finance and Molecule Design
39018.12.2023Anatolij FandrichLearning through research in the context of smart environments
38908.01.2024Dirk BendlinData-driven decision-making processes in large-scale projects using the example of the data value chain for the operation and maintenance of wind farms
38807.03.2024Fernando Andres Peñaherrera VacaAnalysis of Interactions between Raw Material and Energy Demands for Data Centres
38728.11.2023Arnab SharmaTesting of Machine Learning Algorithms and Models
38619.12.2023Peter LanzThe InflateSAR Campaign - Detecting Refugee Rubber Boats with SAR
38522.01.2024Ralf StemmerSimulation Based Execution Time Analysis of SDF Applications on Heterogeneous MPSoCs Using Measured Delay Distributions
38417.08.2023Stefanie HollyDynamic communication topologies for distributed energy system optimisation heuristics
38307.09.2023Michael BrandASSESS - Anomaly sensitive state estimation with streaming systems in smart grids
38222.05.2023Sovanna ChhoeungAutomated prediction method to avoid parametric rolling
38131.05.2023Arne LammIdentification of near collisions in maritime traffic data as ground truth for scenario-based testing
38004.07.2023Christoph SchröerMicroservice architectures in the context of data science workflows
37921.08.2023Dirk BeckmannArchitecture process and evaluation methods for test fields of intelligent transport systems
37817.07.2023Alexander TrendeHuman modelling for adaptive road vehicles
37719.09.2023Awais UsmanHighly Available Data Replication Strategies Exploiting Data Semantics, Operation Types and Finite State Space
37622.05.2023Okan ÖzkanResilience of Graph Transformation Systems: Modelling Adverse Conditions and Infinite-state Verification
37504.04.2023Tim CofalaIn Silico Design of Drug-Like Molecules with Evolutionary Algorithms and Transformers
37415.05.2023Christian Julius MöllerData Management for Decentralised Maritime Research and Development Data in the Test Field Context
37302.03.2023Razi SeyyediGlobally Accurate Locally Inaccurate (GALI): On the Combination of Time-Triggered Architectures with Instruction Accurate Simulators for the Analysis of System Behaviour
37209.12.2022Jose Daniel Alvarez CoelloVehicle Data Semantics for Driving Context Knowledge
37113.02.2023Seyed Mehrdad PoorhosseiniA hybrid RISC-V architecture supporting mixed timing-critical and high performance workloads
37006.12.2022Jakob NonnenmacherOutlier Explanation and Visualisation for Supporting the Use of Outlier Detection in Internal Auditing
36913.10.2022Felix KruseEnd-to-end data integration of real-world entities - conception of a record linkage process, field experiments, business-relevant implications
36819.09.2022Waldemar KlauserMaterial Phase- and Environment-specific Adhesion Measurements in the Scanning Electron Microscope
36721.07.2022Manuel GiesekingCorrectness of Data Flows in Asynchronous Distributed Systems - Model Checking and Synthesis
36608.07.2022Jan VoxRecognition and evaluation of postures and movements based on joint angles using motion capture sensors
36509.05.2022Chen ZhangSensor Integration for Ship Motion Analysis
36421.04.2022Alexander SandauConception of a product-service management system for service bundling in the mobility services market
36306.11.2023Johannes MeierEnsuring Inter-Model Consistency
36203.03.2022Daniel LorenzA Method for State-Based Abstraction and Simulation of System-Level Power Consumption of Digital Integrated Circuit Components
36118.02.2022Klaas DählmannSimulation of acceptance and utilisation of mobility services
36001.10.2021Christian SandmannA Theory on Graph Generation and Graph Repair with Application to Meta-Modeling
35918.08.2021Syed Mohtashim Abbas BokhariDesign of Scenario-based Application-optimised Data Replication Strategies through Genetic Programming
35830.07.2021Nils PancratzLearners' perceptions of the design of computer science systems. A multi-methodological investigation of learning prerequisites for thinking in parts of wholes
35709.07.2021Constanze HungarMap-based Localisation 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 BorgerdingResource Provisioning Methods for Extending the Energy Freedom of Data Centres under Changing IT Loads
35325.02.2021Christos ChytasMaterialising 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 FloreMaturity model for smart grids: Evaluation of migration paths based on two case studies
35003.12.2020Tim DethlefsDynamic energy services for virtual power plants
34910.12.2020Jörg WalterPredicting Power and Timing of Large-Scale Distributed Applications on Highly Heterogeneous Platforms
34815.09.2020Dennis SchwäkeConcept for the development of digital control loops as a contribution to the smart factory
34723.09.2020Volkan GizliPreference-oriented identification of strengths and weaknesses to increase the efficiency of Data Centres
34608.07.2020Jonas PrellbergEvolving Deep Neural Networks: Optimisation 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
34109.10.2023Jan 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 Optimisation
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 LudmannContinuous processing of data streams for the calculation of object recommendations based on data stream queries
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 FouopiHolistic modelling and interpretation of scenes and situations based on symbolic, probabilistic and sub-symbolic models
32617.09.2019Ruthbetha KateuleReference Architecture for Smart Environment Information Systems
32521.10.2019Christian JeppingModelling of kinematic rotor blade deformations based on sequentially acquired image and surface data
32408.08.2019Safwan SulaimanKnowledge Transfer-based Recommendations to Enable Self-Service Business Intelligence
32319.06.2019Stefan PuchStatistical model checking using guided simulation in the context of model-based development of safety-critical driver assistance systems
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 KelschOperational structure-focussed design of cognitive systems using the example of highly automated vehicles
31816.04.2019Guido PleßmannModelling decarbonisation 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 Visualisations
31517.12.2018Mohamed Elsayed Hasan AbdelaalNon linear Model Predictive Control for Trajectory Tracking an Collision Avoidance of Surface Vessels
31417.12.2018Man ZhuOptimised 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 BrinkmannPhysical Testbed Architecture for Supporting the Development of Automated Ship Guidance Systems
30912.02.2019Oliver NorkusIT architecture development for BI in the 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 IhleForecasting methods for the electrical load profile in maritime container terminals
30423.10.2018Abdelkerim RezguiDecision Evaluation System - Towards Sustainable Decision-Making
30315.10.2018Timo von der DovenmühleIntegration of external service providers into the service creation process of operational information processing
30229.03.2018Benjamin WeinertA framework for the architectural description of socio-technical maritime systems
30115.05.2018Heiko MüllerAmbient Light Displays for Temporal Information
30007.05.2018Malte Christoph MetzdorfIntegration of reliability assessment and optimisation into the RT and gate-level design flow
29907.05.2018Khalil OmarA Conceptual Framework for Devising Adaptive User Interfaces to Improve the Usability of Mobile ERP
29827.04.2018Larissa JanssenWaste reduction in food retailing using mathematical optimisation and simulation-based evaluation
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ölkerQuality assessment of energy management algorithms under consideration of restricted communication parameters
29227.09.2017Nick RüssmeierTest field for optical sensors for the creation of maritime environmental situation images and optical current measurement
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-based vehicle network architectures for future real-time systems in automobiles
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 GreinerRisk-integrated process engineering using the example of an offshore wind farm
28529.08.2017Lars WeberDriver Modelling and Simulation of Lane Change Situations
28424.04.2017Judith Fröhling (née 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 Optimisation with Geographical Constraints
27714.02.2017Stefan JanacekIdentification of Degrees of Freedom and Interactions in Data Centres Considering Electrical and Thermal Energy
27618.11.2016Oday JubranRecurrence in Self-Stabilisation
27505.12.2016Justin HeinermannWind Power Prediction with Machine Learning Ensembles
27405.12.2016Abhishek AwasthiOptimization of NP-hard Scheduling Problems by Developing Timing Algorithms and Parallelisation
27328.03.2017Birthe GebhardtAn analysis framework for time-dependent reactive scheduling
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ückeEvaluation of simulation states for a targeted analysis of high-risk systems
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 - Development of a cockpit for training in differential diagnostics
26504.11.2016Mohamed AbdelaalEnabling Energy-Efficient Wireless Sensing with Improved Service Quality
26426.10.2016Björn EngelmannTechniques for the Verification of Dynamically Typed Programmes
26317.06.2016Serge RungeEnergy-optimising battery deployment planning in closed transport systems with battery replacement
26209.06.2016Christian DenkerAssessing the Spatio-Temporal Fitness of Information Supply and Demand on Ship Bridges
26110.06.2016Sören SchweigertSimulative verification of sensor data processing systems
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 SchlittDevelopment of a load-dependent energy efficiency metric for Data Centres
25513.06.2016Nico GrundmeierSimulation-based energy demand forecasting in seaport container terminals
25427.05.2016Rainer DrosteModel-based planning to support the risk assessment of maritime operations
25328.04.2016Chandan KumarRegional Search and Visualisation 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: Distributed Data Stream Processing in Private P2P Networks
25029.02.2016Kiril SchröderEnergy and cost-oriented, virtualisation-based load and power management in a data centre network
24930.11.2015Thomas VogelgesangMultidimensional process mining for analysing medical care processes
24816.12.2015Marita BlankReliability Assessment of Coalitions for the Provisions of Ancillary Services
24720.11.2015Tobias KrahnFlexible detection of adverse drug reactions for health services research
24618.12.2015Florian FortmannAugmenting Monitoring Performance during Multi-UAV Supervisory Control with Adaptive Displays
24504.12.2015Anja OhsenbrüggeDynamic control and reserve power provision in future smart grids
24409.11.2015Mani SwaminathanQuantitative and Structural Analysis of Real-Time and Probabilistic Systems
24316.10.2015Klaas SchmidtKnowledge-based decision support systems for the transfer and reapplication of empirical knowledge from decision-making processes
24211.09.2015Jan PinkowskiProcess-driven risk analysis for the evaluation of maritime operations
24103.07.2015Andreas SolsbachDocument engineering as an approach for inter-company sustainability reporting
24029.06.2015Ana-Maria StoffersSubjective theories of computer science teachers on the didactic structuring of their lessons
23919.06.2015Monika WalterA concept for identifying support potential for simulation studies when using multidimensional data models
23823.06.2015Steffen KruseCo-Evolution of Metamodels and Model Transformations
23727.04.2015Benjamin Wagner vom BergConception of a substainability customer relationship management for providers of sustainable mobility
23606.03.2015Kim GrüttnerApplication Mapping and Communication Synthesis for Object-Oriented Platform-Based Design
23529.04.2015Philipp GringelCompany-specific customisation of enterprise architecture frameworks
23417.04.2015Astrid NießeDistributed Continuous Resource Planning in Dynamic Distributed Power Plants
23309.03.2015Carsten WissingReFlex:Market-based redispatch with flexibilities of grid users for the distribution grid
23202.03.2015Christian KukaQuality-sensitive data stream processing for the creation of dynamic context models
23112.03.2015Ralf BuschermöhleOptimising Development Processes
23004.02.2015Jörg BremerConstraint handling with support vector decoders in distributed optimisation
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 SengeA bee-inspired swarm intelligence method for routing in road traffic
22605.12.2014Christian DänekasUsing technology roadmaps to plan the enterprise architecture of energy supply companies
22502.10.2014Xuan Ha NguyenSimulation, Validation and Optimisation of Stick-Slip Drives for Nanorobotic Applications
22407.11.2014Miada NaanaData warehouse-based design of a strategic eco-controlling system
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 teaching and learning systems to support practical training on ERP systems
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 HoerstebrockStrategic analysis of electromobility in the Bremen/Oldenburg metropolitan region
21605.06.2014Christoph SchwarzInvestigating the potential for increasing the flexibility, performance and expandability of automated guided vehicle systems through the use of decentralised control technologies
21524.06.2014Mohamad RabbathRe-Composition of Distributed Social Media Content
21419.06.2014Bertram WortelenThe Adaptive Information Expectancy Model for attention simulation of a cognitive driver model
21326.06.2014Myriam LipprandtDevelopment of a model-driven method for mapping sensor-based data from home assistance systems to medical reports
21215.05.2014Christian HinrichsSelf-organised deployment planning of decentralised actors in the smart grid
21126.02.2014Christian LüpkesAd-hoc data transformations for analytical information systems
21013.01.2014Dania Pérez ArmayorTechnology Combinations Decision Model for Supply Chains Information Systems Integration
20925.02.2014Melvin IskenOptimised robot navigation and geriatric mobility assessments in home environments
20828.01.2014Ralph GörgenEfficient integration of hardware descriptions in Simulink/TDF simulations
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 GeesenMachine Learning in Data Stream Management Systems
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 WilkenActivity recognition based on the use of electrical devices in the home
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 of medical models in electronic health records
19705.07.2013Jan-David QueselSimilarity, Logic, and Games - Bridging Modelling Layers of Hybrid Systems
19630.05.2013Eike ThadenSemi-Automatic Optimisation of Hardware Architectures in Embedded Systems
19503.05.2013Abhishek DhamaA Compositional Framework for Designing Self-Stabilising Distributed Algorithms
19404.02.2013Matthias BükerAn Automated Semantic-Based Approach for Creating Task Structures
19322.11.2012Claas BusemannAn Efficient Approach to Transmission between Service Protocols by Modelling Behavioural Differences
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 FrenkenTechnical approach for unobtrusive mobility analysis in the context of geriatric assessments
18824.09.2012Sebastian Rohjans(S²)In - Semantic Service Integration for Smart Grids
18701.10.2012Daniela WolffContext-sensitive support of knowledge-intensive business processes
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 optimising Dynamic Leakage-Management
18217.08.2012Andreas ThielSecurity concept for medical image processing in insecure grid environments
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ünsdorfSelf-organisation of virtual devices for the load management of small consumers
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 KretschmerAutomated tracking of head and eye movements during 360° stimulation to characterise the visual system of small vertebrates
17203.07.2012Christina DörgeComputing Science key competences - concepts of information technology in the sense of a general education in information technology
17103.04.2012Daniel SüpkeReference architecture for dialogue-based sustainability reporting in Web 2.0
17013.04.2012Stephan große AustingMeasuring the complexity of product models
16927.04.2012Roland KoppeA methodology for the strategic impact assessment of method changes in development processes
16829.02.2012Fabian GiesekeFrom Supervised to Unsupervised Support Vector Machines and Applications in Astronomy
16714.05.2012Carsten HomburgMechatronic Processing Objects - A Processing-Oriented Model Representation as the Basis of an Open Design Environment for Mechatronic Systems
16628.02.2012José Manuel González VázquezA reference model catalogue for the energy industry
16524.01.2012Stefan HäuslerProcess-orientated product monitoring for the development of electronic systems
16416.12.2011Jens OehlerkingDecomposition of Stability Proofs for Hybrid Systems
16316.11.2011Christoph EdelerModelling and validation of force generation with stick-slip drives for nanorobotic applications
16229.08.2011Johannes FaberVerification Architectures for Complex Real-Time Systems
16119.09.2011Oliver KoslowskiClinical Decision Support with Guidelines and Bayesian Networks
16014.10.2011Jonas JacobiLatency reduction of prioritised messages in data stream management systems
15910.10.2011Matthias PostinaEvolution management of process- and service-orientated enterprise architectures
15812.10.2011Ralph StuberDownstream data management integration in data warehouses
157 24.10.2011Jan AalminkEnterprise Tomography - an efficient diagnostic method for the semi-automatic localisation of polymorphic integration concepts in enterprise software systems
15618.07.2011Astrid RakowSlicing and Reduction Techniques for Model Checking Petri Nets
15527.06.2011Tim PulsLocalisation and control methods for a 4-rotor helicopter
1548.07.2011Bolles, AndréA data stream-based framework for object tracking using the example of driver assistance systems Extended Abstract
15306.06.2011Daniel JasperSEM-based motion control for automated robotic nanohandling Full version External link to book
15224.05.2011Marco HoyerResource Management in Virtualised Data Centers Regarding Performance and Energy Aspects Full version
15108.04.2011Stefan BrüggemannEnsuring Consistency in Data Quality Management
15003.02.2011Volkmar EichhornNanorobotic handling and characterisation of carbon nanotubes inside the scanning electron microscope Abstract
14905.11.2010Peter CissekStrategic business planning in a data warehouse environment supported by a knowledge management system Full version Abstract
14830.03.2011Christian StormSpecification and Analytical Evaluation of Heterogeneous Dynamic Quorum-based Data Replication Schemes
14728.10.2010Petra BeenkenProtection of security-relevant information in distributed energy information systems Abstract
14613.12.2010Dirk AhlersGeographically Focused Web Information Retrieval
14527.09.2010Jan Stefan AddicksEvaluation of business applications in the context of their enterprise architecture
14404.08.2010Christian HerdeEfficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
14314.04.2010Martin TröschelActive Scheduling in Holonic Virtual Power Plants
14219.02.2010Henrik LipskochOptimisation of battery operating life considering software tasks and their timing behaviour
14112.05.2010Andreas SchallenbergDynamic Partial Self-Reconfiguration: Quick Modelling, 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 domain model-driven software development for medium-sized IT projects
13721.10.2009Mathias UslarOntology-based integration of heterogeneous standards in the energy industry
13613.10.2009Sven FrimontAn approach for the utilisation of partially defective Field Programmable Gate Arrays (FPGAs) in series production
13528.09.2009Timo WarnsStructural Failure Models for Fault-Tolerant Distributed Computing
13411.09.2009Karl-Heinz PennemannDevelopment of Correct Graph Transformation Systems
13308.07.2009Jasminka MatevskaModel-based reachability-optimised reconfiguration of component-based software systems at runtime
13207.07.2009Melina BrellA vibrotactile human-machine interface for surgical applications
13130.06.2009Fabian GrüningData quality management in the energy industry
13029.06.2009Ludger WinkelsReference model for the daily scheduling of decentralised heterogeneous power generation plants
12923.04.2009Tanja SchmedesService-oriented architectures for decentralised energy management
12820.02.2009Roland MeyerStructural Stationarity in the π-Calculus
12710.02.2009Nico BrehmPromoted ERP systems based on web services
12610.02.2009Tobe TobenAnalysis of Dynamic Evolution Systems by Spotlight Abstraction Refinement
12509.01.2009Kevin HausmannPermeter performance measurement in product development based on semantically integrated product models
124 19.12.2008André PlatzerDifferential Dynamic Logics
12315.12.2008Richard HackelbuschAn ontology-based approach to the representation of degree programmes and their regulations
12228.11.2008Jens HappePredicting Software Performance in Symmetric Multi-core and Multiprocessor Environments
12130.10.2008Christian GrünwaldiBUIS: Conception of an Integrated Business Environmental Information System
12023.10.2008Jan StrickmannAnalysis methods for the evaluation of development projects
11926.09.2008Simon GieseckeArchitectural Styles for Early Goal-driven Middleware Platform Selection
11819.09.2008Ludger BischofsSimulation-based Analysis and Development of Peer-to-Peer Systems
11703.07.2008Thomas WichTools and methods for the automation of serial nanomontage in the scanning electron microscope
11626.06.2008Marco Jähnisch3D imaging system for nanohandling in the scanning electron microscope
11525.04.2008Jens FinkeA framework for modelling, evaluation and optimisation of corridor networks under consideration of anthropogenic disturbances
11425.04.2008Stephan FahlbuschDevelopment of integrable microforce sensors for robot-based micro- and nanohandling
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.2008Sascha KochAnalytical Performance Management
10905.10.2007 Liane HaakSemantic integration of data warehousing and knowledge management
10821.09.2007 Wilko HeutenNon-Visual Support for Navigation in Urban Environments
10711.07.2007Tobias MusiolikControl and regulation systems for the direct injection of gaseous fuels into internal combustion engines
10611.07.2007 Marc SegelkenAbstraction and counterexample-guided construction of omegaautomata for model checking of step-discrete linear hybrid motors
10520.04.2007Heiko TapkenDistributed classification with multi-relational decision trees under consideration of privacy aspects
10416.04.2007Markus SchmeesElectronic Commerce in Technology Enhanced Learning
10302.04.2007Torsten SieversReal-time object tracking in the scanning electron microscope
10230.03.2007Helge HülsenSelf-Organising Locally Interpolating 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 Personalised Multimedia Applications
9719.07.2006Menno HeerenSwarm Intelligence as a Strategy for Solving Reactive Planning Problems in Value Chains
9612.07.2006Jochen HoenickeCombination of Processes, Data and Time
9519.05.2006Alexander MetznerEfficient Design of Distributed Embedded Real-Time Systems
9421.04.2006Jürgen MeisterSoftware product line for analytical application software
9321.04.2006Sergei AlekseevGraph-theoretical Methods in the Sequential Analysis of Object-Oriented Applications
9220.04.2006Sven AbelsReclassification of product data from electronic product catalogues
9125.11.2005Marc LettrariEfficient State Space Exploration of Reactive Object-Oriented Programmes
9018.11.2005Hartmut WittkeAn Environment for Compositional Specification Verification of Complex Embedded Systems
8903.11.2005Susanne PedersenInteroperability of heterogeneous information sources in healthcare based on standards for medical communication and documentation
8826.10.2005Jens KröscheConception of a system platform for the development of context-sensitive mobile applications
8720.10.2005Jörg RiesmeierA generic method for the adaptive visualisation of structured medical reports
8612.09.2005Andreea BarbuDeveloping Mobile Agents Through a Formal Approach
8513.05.2005Eike GrimpePerformance Optimising Hardware Synthesis of Shared Objects
8421.02.2005Marco GrawunderDYNAQUEST - Dynamic and Adaptive Query Processing in Virtual Database Systems
8309.02.2005Frank OppenheimerOOCOSIM - An Object-Oriented Co-design Method for Embedded HW/SW Systems
8210.12.2004Palle KlanteDesigning Auditory Environments
8119.11.2004Marco SchlattmannMethods and tools for the development of virtual multimedia laboratories
8015.10.2004Andreas LüdtkeCognitive analysis of formal safety-critical control systems based on an integrated man-machine model
7905.07.2004Guido SchimmWorkflow Mining - Methods for Extracting Workflow Schemas from Event-Based Data
7802.07.2004Frank OldenettelIntegration of digital libraries into learning management systems
7710.06.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?
7603.06.2004Arne HarrenTemporal data integration in data warehouse systems
7502.02.2004Dirk StükerHeterogeneous sensor data fusion for robust object tracking in automotive road traffic
7427.02.2004Vera KampDatabase system support for multidimensional intelligent data analyses
7311.11.2003Thorsten TeschkeSemantic component search on the basis of business process models
7222.09.2003Jochen KloseLive Sequence Charts: A Graphical Formalism for the Specification of Communication Behaviour
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 Modelling of Embedded Memories
6820.12.2002Cornelia HaberCOMMA - A development method for interactive co-operative applications
6716.10.2002Laila KabousAn Object Oriented Design Methodology for Hard Real Time Systems: The OOHARTS Approach
6628.06.2002Dietrich BolesIntegration of Electronic Commerce Concepts and Technologies into Digital Libraries
6531.05.2002Nils FaltinStructured active learning of algorithms with interactive visualisations
6431.05.2002Janine WillmsConception of an Intelligent Problem Solving Environment for Patent Application and Examination
6308.04.2002Holger HinrichsData Quality Management in Data Warehouse Systems
6221.12.2001Olaf HerdenA design methodology for data warehouses
6123.04.2001Olaf MaibaumDetermination of symbolic runtimes in embedded real-time systems
6018.10.2001Marco EichelbergA method for evaluating the interoperability of medical image communication systems
5912.10.2001Lars KruseEstimating and Optimising Power Consumption of Integrated Macro Blocks at the Behavioral Level
5812.09.2001Frank KösterAnalysing Simulation Models with Methods of Knowledge Discovery in Databases
5716.07.2001Alfred MikschlWAMCOT
5612.11.2001Hilko DonkerDevelopment of a method for didactic interaction and information design
5503.07.2001Dirk RabeAccurate Power Analysis of Integrated CMOS Circuits on Gate Level
5427.08.2001Ingo StierandAmbrosia/MP - A Real-Time Operating System for Embedded Multiprocessor Systems
5322.06.2001Josef TapkenModel-Checking of Duration Calculus Specifications
5223.08.2001Björn BrielAnalysing embedded systems using distributed simulation
5115.05.2001Gerd JochensModelling and Simulation of the Power Dissipation of Integrated Circuit Macros
5030.04.2001Wolfram Putzke-RömingConsistent communication design for structural, object-orientated hardware design
4906.03.2001Jörg FriebeArchitectures for component-based geographic information systems on the Internet
4802.03.2001Rainer SchlörSymbolic Timing Diagrams: A Visual Formalism for Model Verification
4721.07.2000Cheryl KleukerConstraint Diagrams
4608.05.2000Jörg RitterProcess-orientated configuration of component-based application systems
4508.05.2000Frank WietekIntelligent analysis of multidimensional data in a visual programming environment and its application in cancer epidemiology
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-algebraic Methods for the Description, Refinement and Analysis of Coloured Petri Nets
4103.12.1999Rainer von AmmonDevelopment of a user-centred method for the design and automatic generation of application software prototypes in iterative software development cycles
4022.10.1999Henning DierksSpecification and Verification of Polling Ral-Time-Systems
3922.10.1999Udo BrockmeyerVerification of STATEMATE Designs
3802.07.1999Wilfried ThobenKnowledge-based threat and risk analysis of workflow-based application systems
3725.06.1999Gunnar WittichA Problem-Oriented Approach to the Proof of Real-Time Properties of Embedded Systems
3612.02.1999Frank RumpContinuous management of business processes on the basis of event-driven process chains
3529.01.1999Guido SchumacherObject-Oriented Hardware Specification and Design with a Language Extension to VHDL
3414.12.1998Clemens OtteFuzzy prototype classifiers and their application for automatic feature selection
3313.11.1998Juliane VorndammeThe effects of legal obligations on software development
3223.09.1998Michael StadlerAbstract computer network models as the basis for comprehensive automation of network management
3129.05.1998Helmut LorekComputer tools to support the development and use of individual-orientated ecological models
3029.04.1998Ronald HerrmannEfficient symbolic model checking of real-time aspects for VHDL
2927.03.1998Lutz KöhlerFuzzy geometry and applications in medical image processing
2813.03.1998Olaf ZukunftIntegration of mobile and active database mechanisms as a basis for location-independent transaction processing
2713.02.1998Michael SampelsAlgebraic construction of efficient connection networks
2622.12.1997Jürgen BohnMechanical Support and Validation of a Design Calculus for Communicating Systems by a Logic-Baded Proof System
2519.12.1997Stephan KleukerIncremental Development of Verified Specifications for Distributed Systems
2418.12.1997Franz KorfSystem-Level Synthesis Tools: From Theory to Application
2318.12.1997Hergen PargmannCOMDES: Simulation and Verification Techniques for System-Level Hardware Design
2231.10.1997Ralf WietingModelling and simulation with hybrid higher networks
2124.10.1997Stefan SchöfDistributed simulation of higher Petri nets
2018.07.1997Herwig HenselerActive scheduling with multi-agents
1902.05.1997Ludger BölkeAn acoustic interaction room for blind computer users
1818.02.1997Johannes HelbigLinking Visual Formalisms: A Compositinal Proof System for Statecharts Based on Symbolic Timing Diagrams
1705.07.1996Ralf BrunsGenetic Algorithms + Constraint Programming = Knowledge-based Genetic Algorithms
1616.02.1996Manfred BurkeFDDI and ATM in multimedia application environments
1507.02.1996Ina PitschkeInteractive reconstruction of geometric models from digital images
1420.12.1995Peter KelbAbstraction techniques for automatic verification methods
1320.10.1995Helge BehrendsDescription of event-driven activities in database-supported information systems
1223.06.1995Henning ReinekeStructure and behaviour of distributed finite automata
1119.12.1994Gerlinde SchreiberFunctional equivalence of Petri nets
1020.10.1994Stephan RössigA Transformation Approach to the Design of Communicating Systems
921.03.1994Bernd MüllerPPO - An Object-Oriented Prolog Extension
811.02.1994Rainer GötzeModelling multimedia user interfaces
712.02.1993Jürgen SauerKnowledge-based solving of scheduling problems by explicit heuristics
608.05.1991Helmut EirundModelling and manipulation of multimedia documents in the MARS archive system
513.07.1990Heinrich JasperDatabase support for Prolog programming environments
420.03.1990Ulrike LichtblauFlow graph grammars
316.02.1990Andreas SchwillShortest edge-disjoint paths in graphs
205.06.1989Jürgen KämperStructural investigations in the environment of the complexity classes P and NP
119.12.1986Axel ViereckClassification, concepts and models for the human-computer dialogue
(Changed: 19 Feb 2026)  |  Kurz-URL:Shortlink: https://uol.de/p31098en
Zum Seitananfang scrollen Scroll to the top of the page

This page contains automatically translated content.