Brian Randell

简介

Brian Randell is an Emeritus Professor and Senior Research Investigator at Newcastle University's School of Computing. His research focuses on system dependability, including failure analysis, and the history of computing. He has been involved in numerous projects on dependable systems and has contributed to the fields of software fault tolerance and distributed systems.

代表成果

• Coghlan B, Randell B, Hockie P, Gonzalez T, McQuillan D, O'Regan R. Investigating the Work and Life of Percy Ludgate. IEEE Annals of the History of Computing 2021
• Randell B. Fifty Years of Software Engineering or The View from Garmisch. 2018
• Li B, Randell B, Bhattacharyya A, Alharbi T, Koutny M. SONCraft: A Tool for Construction, Simulation and Analysis of Structured Occurrence Nets. 2018
• Hao F, Clarke D, Randell B, Shahandashti SF. Verifiable Classroom Voting in Practice. IEEE Security and Privacy 2018
• Bhattacharyya A, Koutny M, Randell B. Towards a Framework for Monotonic Approximations. 2017
• Li B, Koutny M, Randell B. SONCraft: A Tool for Construction, Simulation and Verification of Structured Occurrence Nets. 2016
• Bhattacharyya A, Li B, Randell B. Time in Structured Occurrence Nets. 2016
• Bhattacharyya A, Li B, Randell B. Time in Structured Occurrence Nets. In: International Workshop on Petri Nets and Software Engineering (PNSE’16). 2016
• Toreini E, Randell B, Hao F. An Acoustic Side Channel Attack on Enigma. 2015
• Randell B. Reminiscences of Project Y and the ACS Project. IEEE Annals of the History of Computing 2015