Software reliability modelling
When should testing stop, and when is a release safe? Probabilistic models that estimate reliability from failure data.
Dependable systems, from first principles.
Fault-tolerant system theory, software reliability, and performance evaluation — the mathematics of designing for failure.
Research
See all
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.
Interactive demos
See allRock-paper-scissors × reinforcement learning (opens an external site)
Play against an agent that learns your habits, and watch the statistics update in real time.
Cart-pole balancing with reinforcement learning (opens an external site)
Watch a reinforcement-learning agent learn to keep a pole upright through trial and error.
Probabilistic geometric coverage reliability (opens an external site)
Where should sensors go to cover a region reliably? Binary decision diagrams give an exact answer, recomputed in the browser as you move sensors.
Recent publications
See all- A Fine-grained parametric bootstrap approach for NHPP-based software reliability modeling Journal of Systems and Software, 236, pp. 112789, 2026
- A Note on Software Reliability Modeling Based on Hawkes Processes with Gamma Type Base Intensity Wsse 2025 2025 the 7th World Symposium on Software Engineering, pp. 16–21, 2026
- A Probabilistic Least Squares Estimation For NHPP-based Software Reliability Models with Time-domain Data Wsse 2025 2025 the 7th World Symposium on Software Engineering, pp. 28–33, 2026
- A unified palm measure framework for failure-event-based component importance measures in nonrepairable, repairable, and phase-mission systems Probability in the Engineering and Informational Sciences, 2026
- An EM algorithm for estimating phase-type distributions with left-truncated and right-censored data Journal of Applied Probability, 2026