Software reliability modelling
When should testing stop, and when is a release safe? Probabilistic models that estimate reliability from failure data.
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.
Supporting software development
From automatic test generation to model-driven development — techniques that support the work of building software.
Numerical analysis of stochastic models
Solving very large Markov chains quickly — phase-type distributions, Markovian arrival processes and the EM algorithm.
Optimal maintenance and replacement
When should a unit be replaced, repaired or inspected? The theory of optimal preventive maintenance built on stochastic processes.
Dependability and performance evaluation
Software rejuvenation, checkpointing, and the performance and availability of cloud and 5G networks.
Security
Classifying malware and detecting vulnerabilities, from both machine learning and stochastic modelling.