Research
Research
Research orientation
- Reliable computer systems
- Fault tolerance in computer systems
- High availability, especially of services in distributed systems
- Replication of data and services
- Self-stabilising (distributed) algorithms
- Region-faithful (distributed) algorithms
- System software for mobile computing systems
- Dynamics in distributed systems
- Distributed basic algorithms, in particular aspects of scalability,
self-organisation, gentle system reduction and energy efficiency - Consistency concepts for distributed objects, object groups and transactions
- (Wireless) sensor networks
- Sensor technology, e.g. for environmental phenomena
Projects
- System software and distributed systems (since 2002)
- Real-World Data Replication
- Impact of Fault Models on Realizability and Costs of Region-Adherent Self-Stabilising Distributed Algorithms
- Identification of Application-optimised Data Replication Schemes
- Design and Analysis of Highly Available Region-Adherent Distributed Algorithms in Faulty Environments
- Semantic Replication
- Quality of Service Optimisation Techniques for Wireless Sensor Networks
- Automatic Stability Verification via Lyapunov Function
- Recurrence in Self-Stabilisation - Theory, Verification, and Application (2016)
- Enabling Energy-Efficient Wireless Sensing with Improved Service Quality (2016)
- A Compositional Framework for Designing Self-Stabilising 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 Research Training Group SCARE (2012 to 2021)
- DFG Collaborative Research Centre AVACS (2004 to 2016)
- DFG Research Training Group TrustSoft (2005 to 2008)
- ExploIT Dynamics
- Target II