Research

Dependable denotes a generalized notion of high reliability that unifies fault tolerance and fault avoidance.

Our work spans fault-tolerant system theory, software reliability, software testing, and performance evaluation — the theoretical foundations required to build dependable systems.