School of Mathematics, Computer Science & Engineering
  1. About the School
  2. Research
  3. UKACM 2019
  4. Compressors Conference
  5. Our London location
  6. Athena SWAN
  7. Placements and internships
  8. Engineering & Mathematics scholarships and funding
  9. Computer Science scholarships and funding
  1. Research Centre for Software Reliability
  2. Publications
School of Mathematics, Computer Science & Engineering


Strigini L, Avizienis A., "Software Fault-Tolerance and Design Diversity: Past Experience and Future Evolution", Proc. IFAC Workshop SAFECOMP, pp. 167-172, Como, 1985.

Avizienis A, Gunningberg P, Kelly J.P.J, Strigini L, Traverse P.J, Tso K.S., "The UCLA DeDiX (Design Diversity Experiment) System: A Distributed Testbed for Multiple-Version Software", Proc. 15th International Symposium on Fault-Tolerant Computing, (Ann Arbor, Eds.), pp. 126-134, 1985.