• Zuverlässige Rechnersysteme
• Fehlertoleranz in Rechensystemen
• Hochverfügbarkeit, insbesondere von Diensten in verteilten Systemen
• Replikation von Daten und Diensten
• Selbststabilisierende (verteilte) Algorithmen
• Regionentreue (verteilte) Algorithmen
• Systemsoftware für mobile Rechensysteme
• Dynamik in verteilten Systemen
• Verteilte Basisalgorithmen, insbesondere Aspekte der Skalierbarkeit,
  Selbstorganisation,  sanften Systemreduktion sowie Energieeffizienz
• Konsistenzbegriffe für verteilte Objekte, Objektgruppen und Transaktionen
• (Drahtlose) Sensornetzwerke
• Sensorik, u.a. für Umweltphänomene

• Systemsoftware und verteilte Systeme (seit 2002)
  • Real-World Data Replication
  • Impact of Fault Models on Realizability and Costs of Region-Adherent Self-Stabilizing Distributed Algorithms
  • Identification of Application-optimized Data Replication Schemes
  • 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)
• DFG-Graduiertenkolleg SCARE (2012 bis 2021)
• DFG-Sonderforschungsbereich AVACS (2004 bis 2016)
• DFG-Graduiertenkolleg TrustSoft (2005 bis 2008)
• ExploIT Dynamics
• Target II

• Gesamthochschule-Universität Siegen

• Philipps-Universität Marburg

• Technische Universität München

• University of California, Riverside, USA

• Institute de recherche en informatique et systèmes aléatoires (IRISA), Rennes, Frankreich

• University of Tromsø, Norwegen

• Helsingin Yliopisto, Helsinki

• IBM

• SAP

• BOSCH

• Software AG

(aufgeführt sind laufende und ehemalige Kooperationen)