Publikationen

Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg

Sammlung/Stundenplan Modulbelegung

Home | Rechtliches | Kontakt | Hilfe

Suche:

Lehr-
veranstaltungen

Personen/
Einrichtungen



	Darstellung
		Druckansicht ausführliche Fassung

Einrichtungen >> Technische Fakultät (TF) >> Department Informatik (INF) >>

Lehrstuhl für Informatik 4 (Systemsoftware)

	2022 Bears: Building Energy-Aware Reconfigurable Systems Invasive Run-Time Support System (iRTSS) Resource-Demand Estimation for Edge Tensor Processing Units Revisiting Migration Overheads in Real-Time Systems: One Look at Not-So-Uniform Platforms
	2021 Annotate Once - Analyze Anywhere: Context-Aware WCET Analysis by User-Defined Abstractions AnyCall: Fast and Flexible System-Call Aggregation Automated Selection of Energy-efficient Operating System Configurations Byzantine Fault-Tolerant State-Machine Replication from a Systems Perspective Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads (Best Student Paper) Egalitarian Byzantine Fault Tolerance Migration-Based Synchronization Modern Concurrency Platforms Require Modern System-Call Techniques Neverlast: Towards the Design and Implementation of the NVM-based Everlasting Operating System No Coherence? No Problem! Virtual Shared Memory for MPSoCs Nowa: A Wait-Free Continuation-Stealing Concurrency Platform Poster: AI Waste Prevention: Time and Power Estimation for Edge Tensor Processing Units Poster: Towards Automated System-Level Energy-Efficiency Optimisation using Machine Learning Resource-Aware System Software for Replicated Services Stream-based State-Machine Replication The Price of Meltdown and Spectre: Energy Overhead of Mitigations at Operating System Level
	2020 Design and Implementation of an Escape Analysis in the Context of Safety-Critical Embedded Systems Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing DySHARQ: Dynamic Software-Defined Hardware-Managed Queues for Tile-Based Architectures EnergyBudgets: Integrating Physical Energy Measurement Devices into Systems Software Low-Latency Geo-Replicated State Machines with Guaranteed Writes Nearly Symmetric Multi-Core Processors Operating-System Support for Efficient Fine-Grained Concurrency in Applications Pinpoint the Joules: Unifying Runtime-Support for Energy Measurements on Heterogeneous Systems Precious: Resource-Demand Estimation for Embedded Neural Network Accelerators Precisely Timed Task Execution Resilient Cloud-based Replication with Low Latency Run-Time Enforcement of Non-functional Program Properties on MPSoCs System Software for Resource Arbitration on Future Many-** Architectures Towards Taming the Computing Continuum: System Software for Future Many-Core Architectures Using Generic Software Components for Safety-Critical Embedded Systems - An Engineering Framework What does Power Consumption Behavior of HPC Jobs Reveal? Work In Progress: Control-Flow Migration for Data-Locality Optimisation in Multi-Core Real-Time Systems X-Leep: Leveraging Cross-Layer Pacing for Energy-Efficient Edge Systems
	2019 Adaptive Memory Protection for Many-Core Systems Asynchronous Abstract Machines: Anti-noise System Software for Many-core Processors Boosting Job-Level Migration by Static Analysis Bridging the Gap: Energy-efficient Execution of Software Workloads on Heterogeneous Hardware Components Building System Software to Leverage Dynamic Electricity Pricing Business as Unusual: A Model for Continuous Real-Time Business Insights Based on Low Level Metrics Cocoon: Custom-Fitted Kernel Compiled on Demand Combining Automated Measurement-Based Cost Modeling With Static Worst-Case Execution-Time and Energy-Consumption Analyses Convergence Rate Abstractions for Weakly-Hard Real-Time Control Cross-Layer Pacing for Predictably Low Age of Information Cross-Layer Pacing for Predictably Low Latency Customer Churn Prediction in B2B Contexts Cyber-Physical Information Systems Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing Deterministic Fuzzy Checkpoints Earl: Energy-Aware Reconfigurable Locks Efficient Checkpointing in Byzantine Fault-Tolerant Systems Enabling Wireless Network Support for Gain Scheduled Control Energy-Aware System Software in the Era of Dynamic Electricity Pricing Energy-Demand Estimation of Embedded Devices Using Deep Artificial Neural Networks GenEE: A Benchmark Generator for Static Analysis Tools of Energy-Constrained Cyber-Physical Systems Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries In Search of a Scalable Raft-based Replication Architecture Mikroarchitekturgewahre Analyse des Ressourcenverbrauchs unter Berücksichtigung des Gesamtsystems Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis QRONOS: Towards Quality-aware Responsive Real-Time Control Systems Ressourceneffiziente Systemsoftware für zuverlässige Dienste Scalable Byzantine Fault-tolerant State-Machine Replication on Heterogeneous Servers Scaling Agile Beyond Organizational Boundaries: Coordination Challenges in Software Ecosystems SHARQ: Software-Defined Hardware-Managed Queues for Tile-Based Manycore Architectures T-IBE-T: Identity-Based Encryption for Inter-Tile Communication Towards Low-Jitter and Energy-Efficient Data Processing in Cyber-Physical Information Systems Work-in-Progress: Migration Hints in Real-Time Operating Systems Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing Worst-Case Energy-Consumption Analysis by Microarchitecture-Aware Timing Analysis for Device-Driven Cyber-Physical Systems
	2018 A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing Adaptive Memory Protection for Many-Core Systems Application-Specific Tailoring of Multi-Core SoCs for Real-Time Systems with Diverse Predictability Demands BATS: Adaptive Ultra Low Power Sensor Network for Animal Tracking Building a Runtime System for Heterogeneous HPC Clusters to Exploit Dynamic Electricity Pricing Constructing Safer Systems by Design Data Propagation Delay Constraints in Multi-Rate Systems -- Deadlines vs. Job-Level Dependencies Delta: Differential Energy-Efficiency, Latency, and Timing Analysis for Real-Time Networks Empya: An Energy-aware Middleware Platform for Dynamic Applications Empya: Saving Energy in the Face of Varying Workloads Energy-Aware System Software for Operating Heterogeneous HPC Systems in the Age of Dynamic Electricity Pricing Exploiting Dynamic Electricity Prices with an Energy-Aware Runtime System for Heterogeneous HPC Clusters How to Make Profit: Exploiting Fluctuating Electricity Prices with Albatross, A Runtime System for Heterogeneous HPC Clusters INTSPECT: Interrupt Latencies in the Linux Kernel Latency-Aware Leader Selection for Geo-Replicated Byzantine Fault-Tolerant Systems Linking Energy Awareness with Cost Effectiveness: Considering Fluctuating Electricity Prices for Operating Heterogeneous HPC Systems Making Profit with Albatross: A Runtime System for Heterogeneous High-Performance-Computing Clusters POSTER: A Predictable Synchronisation Algorithm Predictability Issues in Operating Systems Predictability Issues in Operating Systems Predictability Issues in Operating Systems Predictability Issues in Operating Systems Predictable Synchronisation Algorithms for Asynchronous Critical Sections Strome: Energy-Aware Data-Stream Processing TASKers: A Whole-System Generator for Benchmarking Real-Time-System Analyses Towards System-Wide Timing Analysis of Real-Time-Capable Operating Systems Troxy: Transparent Access to Byzantine Fault-Tolerant Systems Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems Workshop on Byzantine Consensus and Resilient Blockchains (BCRB '18) X-Lap: A Systems Approach for Cross-Layer Profiling and Latency Analysis for Cyber-Physical Networks
	2017 Agora: A Dependable High-Performance Coordination Service for Multi-Cores An End-To-End Toolchain: From Automated Cost Modeling to Static WCET and WCEC Analysis Architekturvarianten sicherheitskritischer Echtzeitsysteme Benchmark Generation for Timing Analysis Challenges and Solutions for Opening Small and Medium-Scale Industrial Software Platforms cHash: Detection of Redundant Compilations via AST Hashing Demo Abstract: Tooling Support for Benchmarking Timing Analysis Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness E-Book Investigation of deployment-specific simulation for the optimization of wireless sensor networks Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems Evaluation of Architecture Variants for Hard Real-Time Systems Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis Hybrids on Steroids: SGX-based High Performance BFT Hybster -- A Highly Parallelizable Protocol for Hybrid Fault-Tolerant Service Replication In the Heat of Conflict: On the Synchronisation of Critical Sections Kostengünstig? Aber sicher! Bewertung von Architekturvarianten im Kontext von ISO 26262 und harter Echtzeit Look Mum, no VM Exits! (Almost) Operating Energy-Neutral Real-Time Systems OSEK-V: Application-Specific RTOS Instantiation in Hardware Poster Presentation: Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness Proactive Energy-Aware Computing Scalable Byzantine Fault Tolerance on Heterogeneous Servers Shallow Water Waves on a Deep Technology Stack: Accelerating a Finite Volume Tsunami Model using Reconfigurable Hardware in Invasive Computing SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (outstanding paper) The Best of Both: High-performance and Deterministic Real-Time Executive by Application-Specific Multi-Core SoCs The Perfect Getaway: Using Escape Analysis in Embedded Real-Time Systems X-Lap: A Systems Approach for Cross-Layer Profiling and Latency Analysis for Cyber-Physical Networks
	2016 A Kernel for Energy-Neutral Real-Time Systems with Mixed Criticalities Adaptive Memory Protection for Many-Core Systems Analyzing the Impact of Feature Changes in Linux Architectural Collaboration in Internal Software Ecosystems Architecture-Violation Management for Internal Software Ecosystems Architecture-Violation Management for Internal Software Ecosystems: An Industry Case Study Closing the Loop: Towards Control-aware Design of Adaptive Real-Time Systems Cooperative Memory Management in Safety-Critical Embedded Systems Energy Claims at Scale: Decreasing the Energy Demand of HPC Workloads at OS Level Entwurf und Implementierung eines energieneutralen Echtzeit-Betriebssystems Experiences with Software-based Soft-Error Mitigation using AN-Codes Feature Models in Linux - From Symbols to Semantic From Intent to Effect: Tool-based Generation of Time-Triggered Real-Time Systems on Multi-Core Processors Function Multiverses for Dynamic Variability Konstruktive Zuverlässigkeit: Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware Monitoring Bats in the Wild: On Using Erasure Codes for Energy-Efficient Wireless Sensor Networks Multi-Variability Modeling and Realization for Software Derivation in Industrial Automation Management Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks Poster Abstract: Closing the Loop: Towards Control-aware Design of Adaptive Real-Time Systems Poster Abstract: Towards Code Metrics for Benchmarking Timing Analysis Presentation: Cooperative Memory Management in Safety-Critical Embedded Systems Resource-efficient Byzantine Fault Tolerance SAREK: Optimistic Parallel Ordering in Byzantine Fault Tolerance SECO Patterns: Architectural Decision Support in Software Ecosystems TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research The Narrow Way: Constructive Measures at Operating-System Level for Low Energy Use Towards Code Metrics for Benchmarking Timing Analysis Towards Scalable Configuration Testing in Variable Software
	2015 A Case Study on Model-Driven Development and Aspect-Oriented Programming: Benefits and Liabilities A Graph-Partition–Based Scheduling Policy for Heterogeneous Architectures A Practical Getaway: Applications of Escape Analysis in Embedded Real-Time Systems Adaptive Memory Protection for Many-Core Systems An Experiment in Wait-Free Synchronisation of Priority-Controlled Simultaneous Processes: Guarded Sections AUTOBEST: A United AUTOSAR-OS and ARINC 653 Kernel Back to the Roots: Implementing the RTOS as a Specialized State Machine Consensus-Oriented Parallelization: How to Earn Your First Million Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems Cutting Out the Middleman: OS-Level Support for X10 Activities Diamond Rings: Acknowledged Event Propagation in Many-Core Processors dOSEK: Maßgeschneiderte Zuverlässigkeit dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel Energieverbrauchsanalyse mittels impliziter Pfadaufzählung und genetischer Algorithmen Extensible Distributed Coordination Fail**: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance From Sensibility to Responsibility: The Impact of System Software on Ecological and Economical Sustainability of Computing Systems GenE: A Benchmark Generator for WCET Analysis Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen Guarded Sections: Structuring Aid for Wait-Free Synchronisation Interrupt Handling in Linux Leveraging Energy-Aware Programming Techniques to Build Energy-Efficient System Software Making Energy a Useful Resource to System Engineers and Programmers Modeling Partner Networks for Systematic Architecture Derivation in Software Ecosystems Multi-layer software reliability for unreliable hardware Plan Ahead: Making Energy-Aware Computing Systems Playing Hare and Tortoise: The FigarOS Kernel for Fine-Grained System-Level Energy Optimizations Predictability Issues in Operating Systems Presentation: A Practical Getaway: Escape Analysis in Embedded Real-Time Systems Presentation: React in Time: Ereignisbasierter Entwurf zeitgesteuerter verteilter Systeme React in Time: Ereignisbasierter Entwurf zeitgesteuerter verteilter Systeme Ressourceneffiziente Fehler- und Einbruchstoleranz Software Infrastructure for Resource-Constrained Networked Systems The dataref versuchung: Saving Time through Better Internal Repeatability The FigarOS Operating System Kernel for Fine-Grained System-Level Energy Analysis Towards Energy-Proportional State-Machine Replication Towards Model-Based Derivation of Systems in the Industrial Automation Domain Wartefreie Synchronisation von Echtzeitprozessen mittels abgeschirmter Abschnitte When Less is More: Invasive Energy Optimizations of System Software Worst-Case Energy Consumption Analysis for Energy-Constrained Embedded Systems
	2014 A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study Automatic Feature Selection in Large-Scale System-Software Product Lines DrySim: Simulation-Aided Deployment-Specific Tailoring of Mote-Class WSN Software Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs Embedded Computing Systems in the Multi-Core Era Embedded Computing Systems in the Multi-Core Era Embedded Computing Systems in the Multi-Core Era Exploiting Energy-Aware Programming to Build Energy-Efficient System Software Ganzheitliche Fehlertoleranz in eingebetteten Softwaresystemen Model-Driven Development versus Aspect-Oriented Programming - A Case Study Multi Sloth: An Efficient Multi-Core RTOS using Hardware-Based Scheduling Presentation: A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes Presentation: RT-LAGC: Fragmentation-Tolerant Real-Time Memory Management Revisited Presentation: Team Up: Cooperative Memory Management in Embedded Systems Presentation: The final Frontier - Coping with Immutable Data in a JVM for Embedded Real-Time Systems Proactive Energy-Aware Programming with PEEK Resource-Aware Harris Corner Detection Based on Adaptive Pruning Resource-efficient Fault and Intrusion Tolerance RT-LAGC: Fragmentation-Tolerant Real-Time Memory Management Revisited Safer Sloth: Efficient, Hardware-Tailored Memory Protection Scalable BFT for Multi-Cores: Actor-based Decomposition and Consensus-oriented Parallelization Shared Memory in the Many-Core Age Sloth: The Virtue and Vice of Latency Hiding in Hardware-Centric Operating Systems Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue Tailorable System Software Team Up: Cooperative Memory Management in Embedded Systems The final Frontier: Coping With Immutable Data in a JVM for Embedded Real-Time Systems Usable RTOS-APIs? Using Energy-Aware Programming to Tackle Challenges in Energy-Aware System Software Design Using Erasure Codes to Overcome Reliability Issues in Energy-Constrained Sensor Networks Variability mechanisms in software ecosystems Worst-Case Energy Consumption Analysis for Soft and Hard Energy Systems
	2013 A JVM for Soft-Error-Prone Embedded Systems A Resource-Aware Nearest Neighbor Search Algorithm for K-Dimensional Trees A Scalability-Aware Kernel Executive for Many-Core Operating Systems An Infrastructure for the Life Cycle Management of Multi Product Lines Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring Challenges in Energy-Aware System Software Design Challenges in Managing Behavior Variability of Production Control Software Constraint Checking in Distributed Product Configuration of Multi Product Lines dOSEK: A Dependable RTOS for Automotive Applications Embedded Computing Systems in the Multi-Core Era EsseOS: Haskell-based Tailored Services for the Cloud Experiences During Extraction of Variability Models for Warehouse Management Systems Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience Improving Transmission Reliability in Sensor Networks for Energy-Constrained Wildlife Monitoring Invasive Computing - Common Terms and Granularity of Invasion Linux Variability Anomalies: What Causes Them and How Do They Get Fixed? Mastering Variability Challenges in Linux and Related Highly-Configurable System Software Moving Towards Industrial Software Ecosystems: Are Our Software Architectures Fit for the Future? Presentation: A JVM for Soft-Error-Prone Embedded Systems Proactive Energy-Aware System Software Design with SEEP Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung Software-based Fault-tolerance - Mission (im)Possible? Variability Bugs in System Software Virtual Machines
	2012 A Robust Approach for Variability Extraction from the Linux Build System Architectural Guidance and Governance in Industrial Software Ecosystems Atomic Basic Blocks - Eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability Automating Staged Product Derivation for Heterogeneous Multi-Product-Lines Betriebssysteme in Erlangen: 2002-2022 CheapBFT: Resource-efficient Byzantine Fault Tolerance CiAO/IP: A Highly Configurable Aspect-Oriented IP Stack Configuration coverage in the analysis of large-scale system software Demo Abstract: CoojaTrace, Extensive Profiling for WSNs Design by Uncertainty: Towards the Use of Measurement Uncertainty in Real-Time Systems DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments Eliminating Single Points of Failure in Software-Based Redundancy Eliminating Single Points of Failure in Software-Based Redundancy Energiegewahre Programmierung unter Verwendung von symbolischer Ausführung Enhancing Coordination in Cloud Infrastructures with an Extendable Coordination Service FAIL*: Towards a Versatile Fault-Injection Experiment Framework Fehlertoleranz-Techniken automatisiert einbetten Implementing OS Components in Hardware using AOP Invasive Computing: A Systems-Programming Perspective KESO - Functional Safety and the Use of Java in Embedded Systems Light-Weight Tool Support for Staged Product Derivation Low Power or High Performance? A Tradeoff Whose Time Has Come (and Nearly Gone) Managing Emerging Configuration Dependencies in Multi Product Lines Memory Protection at Option - Application-Tailored Memory Safety in Safety-Critical Embedded Systems Proactive Energy-Aware Programming Proactive Energy-Aware Programming by Exploiting Symbolic Execution Proaktive energiegewahre Programmierung ProSEEP: A Proactive Approach to Energy-Aware Programming Providing Fault-tolerant Execution of Web-service-based Workflows within Clouds Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software SEEP: Exploiting Symbolic Execution for Energy-Aware Programming SEEP: Proaktive Methodik zur energiegewahren Programmierung mittels symbolischer Ausführung Semantische Adaption von Komponenten Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS Supporting Awareness During Collaborative and Distributed Configuration of Multi Product Lines Tailor-made JVMs for statically configured embedded systems Taking Control: Modular and Adaptive Robotics Process Control Systems The Aspect-Aware Design and Implementation of the CiAO Operating-System Family Understanding Linux Feature Distribution
	2011 A Case Study of AOP and OOP Applied to Digital Hardware Design A Wait-Free NCAS Library for Parallel Applications with Timing Constraints An Infrastructure for Composing Build Systems of Software Product Lines An Overlay Network for Integration of WSNs in Federated Stream-Processing Environments Aspect-Aware Operating System Development Atomic Basic Blocks: Eine Abstraktion für die gezielte Manipulation der Echtzeitsystemarchitektur Attack Surface Reduction For Commodity OS Kernels Automated Application of Fault Tolerance Mechanisms in a Component-Based System Challenges in Real-Time Synchronization Cloud Computing: „At First Sunny With Cloudy Intervals, Then Overcast” Configuration Coverage in the Analysis of Large-Scale System Software Configuration of Non-Functional Properties in Embedded Operating Systems: The CiAO Approach DanceOS: Towards Dependability Aspects in Configurable Embedded Operating Systems Deployment-aware Energy Model for Operator Placement in Sensor Networks Design and Architectures for Dependable Embedded Systems Design Patterns of Parallel Control Systems DistRM: Distributed Resource Management for On-Chip Many-Core Systems Energy-Aware Programming Utilizing the SEEP Framework and Symbolic Execution Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems Exploiting Static Application Knowledge in a Java Compiler for Embedded Systems: A Case Study Feature Consistency in Compile-Time Configurable System Software Finding and burying Configuration Defects in Linux with the undertaker Fixing Configuration Inconsistencies Across File Type Boundaries I4Copter: An Adaptable and Modular Quadrotor Platform Increasing Performance in Byzantine Fault-Tolerant Systems with On-Demand Replica Consistency Invasive Computing: An Overview Model-Driven Engineering Support For Product Line Engineering OctoPOS: A Parallel Operating System for Invasive Computing Presentation: Automatische Anwendung von Fehlertoleranz Techniken in einer Java Virtual Machine für statische eingebettete Systeme Providing Context-Aware Adaptations Based on a Semantic Model Puma: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++ Qualitätsgewahre digitale Signalverarbeitung RealSim: Real-time Mapping of Real World Sensor Deployments into Simulation Scenarios Revisiting Fault-Injection Experiment-Platform Architectures Safety-critical Embedded Systems: From Theory to the (Flying) Real World Safety-critical Embedded Systems: From Theory to the (Flying) Real World SEEP: Energy-Aware Programming by Exploiting Symbolic Execution SEEP: Exploiting Symbolic Execution for Energy-Aware Programming Sleepy Sloth: Threads as Interrupts as Threads Software or Hardware: The Future of Green Enterprise Computing Software-Based Redundancy Techniques for High-Reliability Embedded Real-Time Systems Solution-Driven Software Product Line Engineering SPARE: Replicas on Hold System Software in the Many-Core Era The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems The Use of Java in the Context of AUTOSAR 4.0
	2010 A Flexible Approach for Generating Product-Specific Documents in Product Lines A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay Network A Wait-Free Dynamic Storage Allocator by Adopting the Helping Queue Pattern An Algorithm for Quantifying the Program Variability Induced by Conditional Compilation An Improved Algorithm for Automatic Detection of Saccades in Eye Movement Data and for Calculating Saccade Parameters Approaching Non-Functional Properties of Software Product Lines: Learning from Products AspectC++: An integrated approach for static and dynamic adaptation of system software Challenges in Operating-Systems Reengineering for Many Cores Configurability Bugs in Linux: The 10000 Feature Challenge Consistent Product Line Configuration Across File Type and Product Line Boundaries Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference Dynamic Operator Replacement in Sensor Networks Efficient Extraction and Analysis of Preprocessor-Based Variability Egs: A Cortex-M3-Based Mote Platform Enabling Mode Changes in a Distributed Automotive System Exploiting Resources of Mobile Devices in Energy Critical Environments Extending Limited Mobile Devices by Exploiting Remote Resources Extending Mobile Devices by Exploiting Remote Resources Extending the Scope of Mobile Devices Running GNU/Linux Facing the Linux 8000 Feature Nightmare Gradual Software-Based Memory Protection KESO: An Open-Source Multi-JVM for Deeply Embedded Systems Laufzeitsysteme mehrkerniger Prozessoren - Aspekte der Synchronisation in Betriebssystemen Leviathan: SPL Support on Filesystem Level Leviathan: Taming the #ifdef Beast in Linux et al. Memory Protection at Option Modelle als Mittel zur Verstärkung von strukturellen Tests sicherheitskritischer Software Multi-Level Product Line Customization Presentation: KESO: An Open-Source Multi-JVM for Deeply Embedded Systems Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '10) Separating Testing Concerns by Means of Models Softwarebasierte Redundanz für zuverlässige eingebettete Echtzeitsysteme - CoRed - Combined Software Redundancy State Transfer for Hypervisor-Based Proactive Recovery of Heterogeneous Replicated Services Stateful Mobile Modules for Robust In-network Processing Stateful Mobile Modules for Sensor Networks Storyboard: Optimistic Deterministic Multithreading Systemsoftware im Zeitalter mehrkerniger Prozessoren Systemsoftware im Zeitalter mehrkerniger Prozessoren The Aspect-Oriented Design of the PUMA C/C++ Framework The RTSC: Leveraging the Migration from Event-Triggered to Time-Triggered Systems Toolchain-Independent Variant Management with the Leviathan Filesystem Using MARTE in Code-centric Real-time Projects Providing Evolution Support Variability in Time - Product Line Variability and Evolution Revisited
	2009 A Lightweight Java Runtime Environment for Memory-Safety in Deeply Embedded Systems A Wait-Free Queue for Multiple Enqueuers and Multiple Dequeuers Using Local Preferences and Pragmatic Extensions An Asynchronous Nonblocking Coordination and Synchronization Protocol for a Parallel Robotic Control Kernel An Infrastructure for Model-Driven Hierarchical Product Lines (in german) AOCI: Ontology-based Pointcuts Aspect-Awareness in the Development of Configurable System Software Challenges in real-time application development - The I4Copter project Challenges in real-time application development - The I4Copter project CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems D-Bus Interprocess Communication — An Introduction for Programmers Dead or Alive: Finding Zombie Features in the Linux Kernel Deliverable 1.4: MDD Approach for Requirements Refinement to Architecture Design Principles for Engery-Efficient GNU/Linux Systems DOSGi: An Architecture for Instant Replication Dynamic AspectC++: Generic Advice at Any Time Functional decomposition and interactions in hybrid intrusion-tolerant systems Invasive Computing - Paralleles Betriebssystem einer SFB/TRR-Projektinitiative KESO: Konstruktiver Speicherschutz für Eingebettete Systeme OSGi4C : Enabling OSGi for the Cloud Parallel, Hardware-Supported Interrupt Handling in an Event-Triggered Real-Time Operating System Proceedings of the 8th Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '09) Proceedings of the Fourth EuroSys Conference Product Derivation for Solution-Driven Product Line Engineering Query Processing and System-Level Support for Runtime-Adaptive Sensor Networks Sloth: Let the Hardware Do the Work! Sloth: Threads as Interrupts Subdomain-oriented Implementation of Model-driven Software Product Lines Systemsoftware im Zeitalter mehrkerniger Prozessoren Systemsoftware im Zeitalter mehrkerniger Prozessoren Towards Tool Support for the Configuration of Non-Functional Properties in SPLs Variability Modelling Throughout the Product Line Lifecycle
	2008 Adaptive Web Service Migration AOCI: Weaving Components in a Distributed Environment Concern Impact Analysis in Configurable System Software - The AUTOSAR OS Case Decentralised Dynamic Code Management for OSGi Deliverable 5.3: Implementation of First Case Study: Smart Home Dimensions of Variability in Embedded Systems Software Dimensions of Variability in Embedded Systems Software Dynamic Software Management on BTnode Sensors Dynamic Weaving of Components in a Distributed Environment Dynamische Adaption in heterogenen und verteilten eingebetteten Systemen Efficient State Transfer for Hypervisor-Based Proactive Recovery FOREVER: Fault/intrusiOn REmoVal through Evolution & Recovery Laptop 2.0 — Neues bei Power Management, Wireless und Energy Star Multithreading Strategies for Replicated Objects Proceedings of the 7th Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '08) Recoverable Class Loaders for a Fast Restart of Java Applications Recoverable Class Loaders for a Fast Restart of Java Applications System Software in the Multi-Core Era Systemsoftware im Zeitalter mehrkerniger Prozessoren The Kernel, U-Dev, D-Bus, HAL, NetworkManager and Friends The Linux Kernel Configurator as a Feature Modeling Tool Towards Separation of Concerns in Model Transformation Workflows Using Object Replication for Building a Dependable Version Control System
	2007 A Family-Based Dynamic Aspect Weaver A Generic Infrastructure for Decentralised Dynamic Loading of Platform-Specific Code An OSEK/VDX-based Multi-JVM for Automotive Appliances An OSEK/VDX-based Multi-JVM for Deeply Embedded Systems AOCI: An Aspect-Oriented Component Infrastructure Aspectizing a web server for adaptation Aspektorientierte Programmierung Atomic Basic Blocks AWSM: Infrastructure for Adaptive Web Service Migration Configurable Memory Protection by Aspects Dimensions of Variability in Embedded Operating Systems Dynamic Software Update of Resource-Constrained Distributed Embedded Systems Dynamic weaving for Runtime Adaptation in Middleware Hypervisor-Based Efficient Proactive Recovery Integration von konfigurierbaren Softwaremodulen in eingebettete Systeme Interrupt Synchronization in the CiAO Operating System - Experiences from Implementing Low-Level System Policies by AOP Is The Linux Kernel a Software Product Line? KESO: A Type-Safe Middleware for Embedded Systems Linux on Laptops — Power Management, Wireless Networks and Fingerprint Authentication Mobile-Process-based Ubiquitous Computing Platform: A Blueprint Modelling Compositions of Modular Embedded Software Product Lines Modular Integration through Aspects: Making Cents of Legacy Systems On the Configuration of Non-Functional Properties in Software Product Lines Parallel State Transfer in Object Replication Systems Providing Decentralised Adaptive Services Robust and Efficient Software Management in Sensor Networks The Design and Implementation of AspectC++ ThinkFinger — Fingerprint Reader Device Driver for Linux Towards a Real-Time Systems Compiler Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems Variantenmanagement modelbasierter Funktionssoftware mit Software-Produktlinien Verteilte Versionsverwaltung mit Bazaar VM-FIT: Supporting Intrusion Tolerance with Virtualisation Technology Was bringt die aspektorientierte Programmierung? Eine Einführung am Beispiel AspectC++
	2006 A Distributed Middleware for Automotive Applications A Framework for Adaptive Mobile Objects in Heterogeneous Environments A Quantitative Analysis of Aspects in the eCOS Kernel An OSEK/VDX API for Java Aspect-Oriented Real-Time Architecture - AORTA Betriebssysteme und Softwaretechnik Concern Hierarchies Consistent Replication of Multithreaded Distributed Objects Decentralised Diffusion-based Quota Management Deterministic Multithreading for Java-based Replicated Objects Developing embedded software product lines with AspectC++ Dynamic Integration of Peer-to-Peer Services into a CORBA compliant Middleware (Poster-Paper) EDAS: Providing an Environment for Decentralized Adaptive Services Energy-Aware Reconfiguration of Sensor Nodes Fault-Tolerant Replication Based on Fragmented Objects FORMI: Integrating Adaptive Fragmented Objects into Java RMI Hypervisor-Based Redundant Execution on a Single Physical Host (Fast abstract) Implementierung und Vergleich verschiedener Strategien zur Durchführung von Ethernet Performance Messungen Lean and Efficient System Software Product Lines: Where Aspects Beat Objects Operating System Services for Task-Specific Power Management Performance Analysis of Time Dependent Priorities and Application - To Differentiated Services and Call Centers PURE Embedded Operating Systems - CiAO Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications Self-Learning Hard Disk Power Management for Mobile Devices Static and dynamic weaving in System Software with AspectC++ SUSE Linux Power Management — One Step Ahead Synthesising Real-Time Systems from Atomic Basic Blocks System Software in the Multi-Core Era The design of application-tailorable operating system product lines Time-Triggered vs. Event-Triggered: A matter of configuration? Using Signal-Oriented Feature Trees for Model-Based Automotive Functions Verteilte Systeme auf Rädern
	2005 A Flexible and Extensible Object Middleware: CORBA and Beyond A Lightweight Formal Method for the Prediction of Non-Functional System Properties Advances in AOP with AspectC++ AspectC++: An AOP Extension for C++ AspectC++: aspektowe rozszerzenie C++ AspectC++: extension de la Programmation Orientée Aspect pur C++ Dynamic Aspect Weaver Family for Family-based Adaptable Systems Echtzeitbetriebssysteme EDAS: Providing an Environment for Decentralized Adaptive Services Event-Driven Thermal Management in SMP Systems FORMI: An RMI Extension for Adaptive Applications Functional and Non-Functional Properties in a Family of Embedded Operating Systems Input Abstraction Layer - Design and Implementation of an Extended Input Interface Konfigurationsprüfung für Standardsoftware mit Hilfe von Merkmalmodellen Modellbasierte Software-Entwicklung in der Automobilindustrie mit Hilfe von Software-Produktlinien Network-Centric Operating Systems for Control Grids On the Configuration of Non-Functional Properties in Operating System Product Lines On Typesafe Aspect Implementations in C++ Operating System Challenges: Reliability, Power Awareness, Software Engineering Aspects Platform-Independent Object Migration in CORBA Quantifying Application Performance for Adaptive Power Management Revisiting Log-Structured File Systems for Low-Power Portable Storage Sicherheitsbewertung verteilter komponentenbasierter Programme Sicherheitsbewertung verteilter komponentenbasierter Programmsysteme Software-basierter Speicherschutz durch spezialisierte Java-VMs auf Microcontrollersystemen Stable, time-bound references in context of dynamically changing environments Statische Skalierbarkeit mit Software Produktlinien
	2004 A Family of Aspect Dynamic Weavers ACPI Implementation in Linux 2.6: The Small Sleeper ACPI-Implementierung in Linux 2.6 An Environment for Decentralized, Adaptive Services: A Blueprint Application Characterization for Wireless Network Power Management Aspektorientierte Programmierung mit AspectC++ Automotive Betriebssysteme Betriebssysteme für eingebettete Systeme CiAO: Eine aspektorientiert entworfene Betriebssystemfamilie Decentralized, Adaptive Services: The AspectIX Approach for a Flexible and Secure Grid Environment Der O(1)-Scheduler im Kernel 2.6 -- Die Reihenfolge zählt Dynamic Thermal Management for Distributed Systems Generic Advice: On the Combination of AOP with Generative Programming in AspectC++ Heterogeneous Finite-Source Retrial Queues Modeling Component-Based Embedded Real-Time Systems Modelling A Single Gsm/Gprs Cell With Delay Tolerant Voice Calls Using Mosel-2 On Adapable Aspect-Oriented Operating Systems On Adaptable Middleware Product Lines On Objectifying Untyped Memory in Java Operating Systems On the Design and Development of a Customizable Embedded Operating System Special Issue on Object-oriented Real-time Distributed Computing Stochastic Modeling of Multistage Interconnection Networks with MOSEL Time Dependent Priorities in Call Centers Using AOP to Develop Architecture-Neutral Operating System Components Variability management with feature models Wandlungsfähige Betriebssysteme WinPEPSY-QNS Performance Evaluation and Prediction System for Queueing Networks Workshop for Phd Students in Object Oriented Programming
	2003 13th Workshop for Phd Students in Object Oriented Programming: Summary and Accepted Papers A Generalization of the Hyperspace Approach using Meta-Models Analyzing Markov-modulated finite-source queueing systems Architecture-Neutral Operating System Components Aspektorientierung und Programmfamilien im Betriebssystembau DLS: a CORBA service for dynamic loading of code Erweiterung der Schnittstelle zwischen den Modellierungssprachen MOSEL und CSPL um Simulationskonstrukte Event-Driven Energy Accounting for Dynamic Thermal Management Heterogeneous Finite-Source Retrial Queues in the Analysis of Communication Systems with CSMA/CD Protocols Integrating Fragmented Objects into a CORBA Environment Integration des Petrinetz-Analysators TimeNET in die Modellanalyseumgebung MOSEL Monitoring of Multicast Networks for Time-Synchronous Communication MOSEL- MOdelling, Specification and Evaluation Language MOSEL-2: Modeling, Specification and Evaluation Language, Revision 2 Performance and reliability modelling with MOSEL-2 Performance Evaluation of Priority based Schedulers in the Internet Performance Modeling of Non-homogeneous Unreliable Multi-Server Systems Using MOSEL PURE/OSEK - Eine aspektorientierte Betriebssystemfamilie für Kraftfahrzeuge The Security Architecture of the Java Operating System JX The Structure of a Type-Safe Operating System Variability management with feature models Variant Management for Embedded Software Product Lines with Pure::Consul and AspectC++ Verteilung von objektorientierten Anwendungen auf der Basis des Entwurfs-Modells
	2002 A Java Operating System as the Foundation of a Secure Network Operating System An Aspect-Oriented Implementation of Interrupt Synchronization in the PURE Operating System Family AspectC++: An Aspect-Oriented Extension to C++ Cooperative I/O - A Novel I/O Semantics for Energy-Aware Applications DLS: a CORBA Service for Dynamic Loading of Code Execution Time Limitation of Interrupt Handlers in a Java Operating System Finegrain Application Specific Customization for Embedded Software Malicious Fault Tolerance: From Theoretical Algorithms to an Efficient Application Development Process Multidimensionales Trennen der Belange im Softwareentwurf Nauru: A concept for the management of object distribution On Aspect-Orientation in Distributed Real-time Dependable Systems Performance Evaluation of Priority based Schedulers Performance Modeling of Retrial Systems using the MOSEL Language Process Cruise Control: Event-Driven Clock Scaling for Dynamic Power Management Program Instrumentation for Debugging and Monitoring with AspectC++ Solving Queueing Problems by the Help of WINPEPSY Stochastic Modeling of Multistage Interconnection Networks with MOSEL The JX Operating System The Performance and Reliability Modelling Language MOSEL and its Applications The Role of IPC in the Component-Based Operating System JX The Structure of a Type-Safe Operating System Understanding the Performance of the Java Operating System JX using Visualization Techniques
	2001 A Lightweight Component Architecture for Efficient Information Fusion ActiveStorage: A Storage Server with Mobile Code Engine Administrative Skalierbarkeit verteilter Systeme An Adaptive Waiting Time Priority Scheduler for the Proportional Differentiation Model AspectC++: Language Proposal and Prototype Implementation AspectIX: A quality-aware object-based middleware architecture AspectIX: a quality-aware, object-based middleware architecture Automatische Objekt- und Threadverteilung in einer virtuellen Maschine Beyond Address Spaces - Flexibility, Performance, Protection, and Resource Management in the Type-Safe JX Operating System Component-Based Communication Support for Parallel Applications Running on Clusters of Workstations Dynamic Priority Scheduling for Proportional Delay Differentiated Services Dynamic Priority Scheduling for Proportional Delay Differentiated Services Fragmentierte Objekte für die Implementierung mobiler Agenten IDLflex: A flexible and generic compiler for CORBA IDL IDLflex: A flexible and generic compiler for CORBA IDL Integration einer Mehrprozessorunterstützung in das Java-Betriebssystem JX JPure - Purified Java Execution Environment for Controller Networks MOSEL - Modeling, Specification and Evaluation Language On Component-Based Communication Systems for Clusters of Workstations On Minimal Overhead Operating Systems and Aspect-Oriented Programming Open Components Performability Modeling of a Client-Server Communication System with Randomly Changing Parameters Using MOSEL Performability Modeling of Non-homogeneous Terminal Systems Using MOSEL Practical Performance Modeling - Application of the MOSEL Language Process Cruise Control: Event-Driven Clock Scaling for Dynamic Power Management PSI - Pervasive Service Infrastructure The Case for Event-Driven Energy Accounting The VPC programming model for omnipresent applications Ubiquitous Computing and the Need for a New Operating System Architecture Understanding the Performance of the Java Operating System JX using Visualization Techniques Virtuelle, private Rechner - Eine Software-Architektur für verteilte Systeme
	2000 A middleware architecture for scalable, QoS-aware and self-organizing global services A Middleware Architecture for Scalable, QoS-Aware and Self-Organizing Global Services An Adaptive Waiting Time Priority Scheduler for the Proportional Differentiation Model An Approach to Component-Based Software Engineering for Distributed Embedded Real-Time Systems An Improved Algorithm to Analyse Eye Movements under Natural Conditions as a Basis for Various Technical Applications Design und Implementierung eines Frameworks zur Evaluierung Phasenbasierter Agenten Design und Implementierung eines Simulators für das Lego Mindstorms Robotics Invention System Die Pure-OSEK-API, Spezialisierung einer objektorientierten Betriebssystem-Familie Efficient Object-Oriented Software with Design Patterns, Generative and Component-Based Software-Engineering EPOS and Myrinet: Effective Communication Support for Parallel Applications Running on Clusters of Commodity Workstations Fragmented Objects for the Implementation of Mobile Agents From Centrally Planned to Social Market Economy: Accounting, Billing and Trading of Energy for Dynamic Power Management JX: Eine adaptierbare Java-Betriebssystemarchitektur Modellierung und Analyse von Betriebssystemen mittels erweiterter Warteschlangentechniken und Petrinetzen MOSEL: An universal language for modeling, computer, communication, and manufacturing systems On Architecture Transparency in Operating Systems On Interrupt-Transparent Synchronization in an Embedded Object-Oriented Operating System Operating Systems: are we finally ready to move forward after 30 years of stagnation Performance Modeling of Non-homogeneous Multi-Server Systems using MOSEL Performance Modeling of Non-homogeneous Unreliable Multi-Server Systems using MOSEL Performance Modeling of Queueing Networks with Finite Capacity using MOSEL Language Scalable Schemes for Call Admission and Handover in Cellular Networks with Multiple Services Scenario Adapters: Efficiently Adapting Components Snow: A parallel programming environment for clusters of workstations Solving Queueing Problems with PEPSY-QNS. Streamlined PURE Systems Streamlining Object-Oriented Software for Deeply Embedded Applications The Benefits of Event-Driven Energy Accounting in Power-Sensitive Systems Virtual Private Computing - A New Paradigm for Component-Based Distributed Applications
	1999 A Component Model for Distributed Embedded Real-Time Systems A Retargetable JIT Compiler for Java ARTS of PEACE - A High-Performance Middleware Layer for Parallel Distributed Computing AspectIX contributions to the ECOOP\'98 conference Betriebssystembaukasten EPOS: An Object-Oriented Operating System EPOS: Paving the Path for Parallel Applications FOAM: Fragmented Objects for the Implementation of Mobile Agents High Performance Application-Oriented Operating Systems - the EPOS Aproach Juggle: Eine verteilte virtuelle Maschine für Java Koordinierung in nebenläufigen, objektorientierten Systemen L'approche PURE pour des systemes d'exploitation embarques Meta objects for access control: a formal model for role-based principals Modeling Non-Homogenous Terminal Systems Using MOSEL On the Development on Object-Oriented Operating Systems for Deeply Embedded Systems - The PURE Project OS-Directed Throttling of Processor Activity for Dynamic Power Management Policy-enabled applications RepliXa - Ein Framework zur transparenten und anpassbaren Objektreplikation Scalable Adaptation Based on Decomposition Scalable Migration for Mobile Agents Sicherheit in verteilten, objektorientierten Systemen Systemintegration des User-Level-Scheduling: Betriebssystemdienste zur Unterstützung der parallelen Programmierung Tailor-made Operating Systems for Embedded Parallel Applications The AspectIX approach to quality-of-service integration into CORBA The PURE Family of Object-Oriented Operating Systems for Deeply Embedded Systems Three Dimensions of Scheduling Virtual Private Computing
	1998 A generalized analysis technique for queuing networks with mixed priority strategy and class switching Agent Mobility and Communication Algorithmic design of the Globe wide-area location service An Approach for Highly Configurable Operating Systems Anwendung und Parallelisierung von Verfahren zur Leistungsoptimierung von Rechensystemen AspectIX AspectIX: A middleware for aspect-oriented programming AspectIX: A middleware for aspect-oriented programming D2AL - A design-based distribution aspect language Design Rationale of the PURE Object-Oriented Embedded Operating System Die Erforschung der Langsamkeit: Vernachlässigte System-Ressourcen und ihre Beherrschung Dual Objects - An Object Model for Distributed System Programming D²AL: A design-based aspect language for distribution control Einsatz von Java-Komponenten in verteilten Embedded-Systems Experience Developing a Virtual Shared Memory System using High-Level Object Paradigms Juggle: Eine verteilte virtuelle Maschine für Java Kontrollierte Unsicherheit zur Absicherung lokaler Netze Locating objects in wide-area systems Meta Objects for Access Control: Extending Capability-Based Security Meta Objects for Access Control: Extending Capability-Based Security Meta Objects for Access Control: Role-Based Principles metaXa and the Future of Reflection OSEK-konformer, konfigurierbarer Betriebssystemkern auf Basis der Betriebssystemfamilie PURE Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications Scalable Schemes for Mobile Networks with Multiple Services. SMP PCs: A Case Study on Cluster Computing Support for mobility and replication in the AspectIX architecture Support for Mobility and Replication in the AspectIX Architecture The AspectIX ORB architecture Tradeoffs of distributed object models Transitiver Schutz in Java durch Sicherheitsmetaobjekte Unterbrechungsbehandlung in einer objektorientierten Betriebssystemfamilie für tiefste eingebettete Systeme
	1997 Abschlußbericht zum Vorhaben TK 558 - VA 0019, Einrichtung eines CONS-Routinglabors Analyse von Warteschlangennetzen mit asymmetrischen Knoten und mehreren Auftragsklassen Beschreibung von Verteilung im objektorientierten Design einer Anwendung Dual, Mobile and Reactive Objects - Operating System Support for Load Balancing Parallel VR Applications Implementing Real-Time Actors with MetaJava Java & Echtzeitsysteme ? Java - die Embedded-Sprache von morgen? Memory Access - The Third Dimension of Scheduling MetaJava MetaJava - A Platform for Adaptable Operating-System Mechanisms METRO: Parallelrechner für den Entwurf und die Realisierung mechatronischer Systeme On the Coexistence of Shared-Memory and Message-Passing in the Programming of Parallel Applications Performance Considerations in Software Multicasts Process Cruise Control: Throttling Memory Access in a Soft Real-Time Environment Promondia: A Java-Based Framework for Real-Time Group Communication in the Web Splitting Synchronization from Algorithmic Behaviour Vote for Peace - Implementation and Performance of a Parallel Operating System
	1996 Approximative analytische Leistungsbewertung am Beispiel eines UNIX-basierten Multiprozessor Betriebssystems Archivierung von hierarchisch organisierten Dateistrukturen Das Konzept einer Maschinenkontrollschicht für Betriebssysteme Einsatzmöglichkeiten von Fuzzy-Strategien in Betriebssystemen Experience made with the Design and Development of a Message-Passing Kernel for a Dual-Processor-Node Parallel Computer MANNA: Prototype of a Distributed Memory Architecture with Maximized Sustained Performance MetaJava: An Efficient Run-Time Meta Architecture for Java Modeling and Performance Evaluation of Production Lines Using the Modeling Language MOSEL Security in Large Distributed, Object-Oriented Systems Synchronizing Classes: Splitting Inheritance Concepts Transparent and Adaptable Object Replication Using a Reflective Java User-Level Scheduling with Kernel Threads Using Locality Information in Userlevel Scheduling
	1995 A Generalized Analysis Technique for Queueing Networks with Mixed Priority Strategy, Class Switching and Heterogenous Nodes Analytische und simulative Leistungsbewertung des photolitographischen Prozesses mit Petri-Netzen ARTS - Ausführungsunterstützung komplexer Anwendungen auf parallelen Systemen oder "PEACE meets PARIX" Eine Klasse gerichteter, azyklischer Graphen zur Leistungsbewertung paralleler Systeme Experience Developing an Object-Oriented Parallel Operating System Geschützte Objektreferenzen und dynamische Typisierung in verteilten heterogenen Systemen Leistungsbewertung mit PEPSY QNS und MOSES Leistungsbewertung mit PEPSY-QNS und MOSES Memory Conscious Scheduling and Processor Allocation on NUMA Architrchitectures Modeling and Simulation of a Markov Modulated Multiprocessor System with Petri nets Modeling Production Lines with Blocking Batch Processing and Unreliable Machines MOSEL - MOdeling Specifikation and Evaluation Language Multimedia Data Streams in Distributed Object-Oriented Operating Systems Parallelisierung einer Molekulardynamik-Aufgabe mit Verwendung eines gemeinsamen Speichers Performance Evaluation of Dynamic Priority Operating Systems Persistenzkonzepte für verteilte Objektsysteme Scheduler und Threads in Spring, Konzept und Implementation Sleeping Threads Sleeping Threads Special Issue: Trends in Parallel Operating Systems Struktur und Verteilung von Programmpaketen in heterogenen Netzwerken The Next Generation Parallel Architecture - Multiple Executing Threads Vererbungsmechanismen auf Koordinierungsklassen
	1994 22 Jahre IMMD IV von "Interdata ST32" bis "Parallele Module" A New Efficient Parallelization Strategy for the QR Algorithm Approximate Analytical Performance Evaluation of a UNIX Based Multiprocessor Operating System Approximative analytische Leistungsbewertung am Beispiel eines UNIX-basierten Multiprozessor-Betriebssystems Beam Distributed algorithms adapted to knows-based systems Fine-grained checkpointing in distributed object systems Fine-grained parallel computation in the PM/OM object model Generation and solution of Markov chains using MOSES Hierarchical schedulers in the PM System-Architecture Implementierung adaptiver Verfahren auf komplexen Geometrien mit leichtgewichtigen Prozessen Latency Hiding in Message Passing Architectures Objektorientierte Ansätze zur Parallellisierung von strömungsmechanischen Anwendungen Operating System Support for Massively Parallel Computer Architectures Optimizing latency of the HTTP protocol Paketorganisation am IMMD Parallele leichtgewichtige Prozesse zur Implementierung adaptiver numerischer Verfahren Parallelisierung eines Genetischen Algorithmus auf PVM PEACE - A Software Backplane for Parallel Computing PEPSY-QNS Performance analysis of parallel programs based on model calculations Performance-Evaluation of Operating Systems using Approximate Analytical Methods PM Systemarchitektur SAM Scalable Operating Systems Special Issue: Operating System Support for Massively Parallel Computer Architectures Techniques for building a fast threads package on NUMA architectures The ACID-Fission The Logical Design of Parallel Operating Systems The Markov analyzer MOSES Typen, Klassen und Vererbung in verteilten objektorientierten Systemen
	1993 3rd workshop for doctoral students in object-oriented system An Object-Oriented Computing Surface for Distributed Memory Architectures Class-based inheritance is not a basic concept Concurrency control by cooperating objects Das Multiprozessorsystem MEMSY Design Principles of Parallel Operating Systems Design Principles of Parallel Operating Systms - A PEACE Case Study DTS/NTP - Zeitsynchronisationsverfahren in verteilten Systemen, Dynamischer Multiprogramm-Betrieb von MIMD Parallelrechnersystemen Dynamischer Multiprogrammbetrieb von Parallelrechnern Ein Ereignis-basiertes Modell für Beauftragung und mögliche Protokolle Eine orthogonale Verteilungssprache für uniforme objektorientierte Programmiersprachen Einsatz des ISO-Transaktionsdienstes zur Echtzeitkommunikation in verteilten Systemen Formale Methoden zur Verhaltensbeschreibung verteilter Systeme Inheritance modeled with explicit bindings Inheritance modelled by aggregation Modelling, Specification and Evaluation of Computer Systems Object-Orientation in a Family of Parallel Operating Systems PEACE - Konzepte und Struktur des Parallelen Betriebssystems für MANNA PM Systemarchitektur PM: a distributed object-oriented operating system Queueing Model for a Markov-Modulated Heterogeneous Multiprocessor System Supporting class evolution by typing inheritance Typisierte Vererbung modelliert durch Aggregation Von objektinterner Koordinierung zur Koordinierung von Objektstrukturen XPEPSY - Handbuch
	1992 An orthogonal distribution language for uniform object-oriented languages Beschreibung der Verteilung in objektorientierten Systemen Betriebssystemarchitektur von MEMSY Cooperative concurrency control Dynamischer Multiprogrammbetrieb von Parallelrechnern Ein Ereignis-basiertes Modell für Beauftragung und mögliche Protokolle Eine orthogonale Verteilungssprache für uniforme objektorientierte Programmiersprachen ISO CONS in LANs - making it all work Kommunikation in verteilten, objektbasierten Systemen Kommunikation und dynamische Rekonfiguration in MEMSY MEMSY MEMSY-Programmiermodell Modeling Replication and Placement in the PEACE Parallel Operating System - A Case Study for Dual Objects NFS Organisation mit Amd Object- and memory management architecture Objekt- und Speicherverwaltung in einer offenen, objektorientierten Betriebssystemarchitektur Objekt- und Speicherverwaltungs-Architektur Objektorientierung in Parallelen Betriebssystemen PEACE - The Evolution of a Parallel Operating Systems PEPSY-QNS Performance Evaluation and Prediction System for Queueing Networks PM Systemarchitektur Problem-Oriented Virtually Shared Memory in an Object-Oriented Parallel Operating System Towards a Scalable Kernel Architecture Towards the implementation of a uniform object model Transiente Leistungsbewertung und Optimierung rekonfigurierbarer fehlertoleranter Rechensysteme Typisierte Vererbung modelliert durch Aggregation Von objektorientierter Koordinierung zur Koordinierung von Objektsystemen Zeitsynchronisationsverfahren in verteilten Systemen
	1991 A Distribution Implementation of Shared Virtual Memory with Strong and Weak Coherence BackStage Das PM Projekt Inheritance by aggregation Leistungsbewertung UNIX-basierter Betriebssysteme für Multiprozessoren mit globalem Speicher Methoden zur Steigerung der Wiederverwendbarkeit von Softwarekomponenten in der Fertigungsautomatisierung Object-Oriented Operating System Design and the Revival of Program Families Objective PEACE: A Bridge between Parallel and Distributed Operating Systems Overcoming the Startup Time Problem in Distributed Memory Architectures Programming Models for Massively Parallel Systems Scalable Operating System Design Software-implementierte Fehlertoleranzmechanismen für objektorientierte, verteilte Systeme The Architecture of the European MIMD Supercomputer GENESIS The PEACE Family of Distributed Operating Systems
	1990 Betriebssystemkonzepte für Massiv Parallele Systeme Die Koordinierung in Betriebssystemen für Multiprozessoren Frozen files Leistungsbewertung paralleler Programme für MIMD-Architekturen: Modellbildung und mathematische Analyse Making Massively Parallel Systems Fast Making Massively Parallel Systems Work Proceedings of the International Workshop on Progress in Distributed Operating Systems and Distributed Systems Management Struktur und Verhalten in verteilten Systemen
	1989 ALLOC-Ein wissensbasierter Ansatz zur Lösung des Allokationsproblems von Tasks in verteilten Realzeitsystemen Architecture and Rationale of the GENESIS Family of Distributed Operating Systems Naming in the PEACE Distributed Operating System PEACE - A Distributed Operating System for High-Performance Multicomputer Systems Synchronous vs. Asynchronous Communication in High Performance Multicomputer Systems Untersuchung von Sicherungsmaßnahmen für verteilte Systeme unter Verwendung eines geeigneten Betriebssystemmodells Very High-Speed Communication in Large MIMD Supercomputers
	1988 A Distributed Process Execution and Communication Environment for High-Performance Application Systems Modellierung und Implementierung kommunizierender Systeme mit Hilfe von Regeln PEACE: A Distributed Operating System for an MIMD Message-Passing Architecture PEACE: The Distributed SUPRENUM Operating System The Distributed PEACE Operating System and its Suitability for MIMD Message Passing Architectures
	1987 Communication and Management Protocols for the Distributed PEACE Operating System Concepts of a Distributed Process Execution and Communication Environment (PEACE) Der Fernaufruf als Betriebssystemdienst Spezifikation graphisch interaktiver Benutzerschnittstellen
	1986 Der Dominoeffekt in der Fehlerbehandlung von Prozeßsystemen Eine Familie UNIX-ähnlicher Betriebssysteme - Anwendung von Prozessen und des Nachrichtenübermittlungskonzeptes beim strukturierten Betriebssystementwurf
	1985 Zur Simulation von zeitdiskreten Systemen auf GPSS-FORTRAN Basis
	1984 Das MOOSE System Deterministisches Zuordnen vielfach durchlaufener Aufgabensysteme in Multiprozessorsystemen Ein Konzept zur Darstellung und Realisierung von verteilten Prozeßautomatisierungssystemen Leistungsanalyse von Multiprozessorsystemen mit Prozeßkommunikation Prozeßkoordinierung durch Verwendung von Fortsetzungsbedingungen
	1983 Modellierung von Fehlverhalten mit Berücksichtigung paralleler Abläufe Modellierung, Spezifikation und korrekte Realisierung von asynchronen Systemen
	1982 Die Systemimplementierungssprache ALICE
	1981 Basic Test Requirements for Data Communication Networks Ein Mechanismus für die Synchronisation paralleler Prozesse Formale Spezifikation der Ebenen 2 und 3 der CCITT X.25 Recommendation sowie eine Analyse bestehender Firmenprodukte SYMPOS/UNIX - Ein Betriebssystem für homogene Polyprozessorsysteme
	1980 Auftragssystem für eine Mehrprozessanlage
	1979 Deterministisches Zuordnen in heterogenen Prozessorsystemen mit Pseudoboole Methoden The OSA Project: Design and Formal Specification of an Open Link Layer The OSA Project: Specification of a Level 2 (LAP) Protocol Machine
	1978 Betriebssystemaspekte in hierarchisch modularen Polyprozessorsystemen - Modellierungsansätze und Koordinierungsmechanismen Strukturierte Beschreibung von Prozeßsystemen
	1977 Ein allgemeines formales Modell für Betriebssysteme und dessen Implementierung



	UnivIS ist ein Produkt der Config eG, Buckenhof