Die Abteilung System Software und verteilte System führt bzw. führte folgende interne Forschungsprojekte (teils in Überschneidung mit anderen Forschungsprojekten) durch:

• Real-World Data Replication

• Identification of Application-optimized Data Replication Schemes

• Impact of Fault Models on Realizability and Costs of Region-Adherent Self-Stabilizing Distributed Algorithms

• Design and Analysis of Highly Available Region-Adherent Distributed Algorithms in Faulty Environments

• Semantic Replication

• Quality of Service Optimization Techniques for Wireless Sensor Networks

• Automatik Stability Verification via Lyapunov Funktions

• Recurrence in Self-Stabilization - Theory, Verification, and Application (2016)

• Enabling Energy-Efficient Wireless Sensing with Improved Service Quality (2016)

• A Compositional Framework for Designing Self-Stabilizing Distributed Algorithms (2013)

• Unmasking Fault Tolerance: Quantifying Deterministic Recovery Dynamics in Probabilistic Environments (2013)

• Probabilistic Quorum Systems for Dependable Data Management (2012)

• Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-based Data Replication Schemes (2011)

• Decomposition of Stability Proofs for Hybrid Systems (2011)

• Structural Failure Models for Fault-Tolerant Distributed Computing (2009)