Staff Profile
Professor Brian Randell
Emeritus Professor, and Senior Research Investigator
- Email: brian.randell@ncl.ac.uk
- Telephone: +44 191 208 7923
- Fax: +44 191 208 8232
- Personal Website: http://homepages.cs.ncl.ac.uk/brian.randell/
- Address: Room 6.022,
Newcastle University,
1 Science Square,
Newcastle upon Tyne
NE4 5TG
My earliest work, during the period 1957-1964 while I was with English Electric, was on compilers. This led to the book: Algol 60 Implementation. (Co-author Lawford J. Russell). Academic Press, London, 1964.
I then joined the IBM T.J. Watson Research Center, Yorktown Heights, N.Y. where, with an intervening year during 1965-66 in California, I worked on high performance computer architectures (the ACS Project), then on operating systems and system design methodology. During this time, and shortly after I returned to the UK in 1969 to became Professor of Computing Science at the University of Newcastle upon Tyne, I was co-editor of the reports on the two NATO Software Engineering Conferences.
In 1971 I set up the project that initiated research into the possibility of software fault tolerance, and introduced the "recovery block" concept. Subsequent major developments included the Newcastle Connection, and the prototype Distributed Secure System. I have been Principal Investigator on a succession of research projects on system dependability funded by the Science Research Council (now Engineering and Physical Sciences Research Council), the Ministry of Defence, the European Strategic Programme of Research in Information Technology (ESPRIT), and the European Information Society Technologies (IST) Programme. Most recently I have performed the role of Project Director for CaberNet (the IST Network of Excellence on Distributed Computing Systems Architectures) and for two IST Research Projects, MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications) and DSoS (Dependable Systems of Systems). Subsequently I was involved with the RODIN IST project, and the ReSIST IST Network of Excellence.
My current computing science research continues to be focussed on Dependability (for example on failure analysis - in the EPSRC-funded UNCOVER Project, on which I was a co-investigator) and, to a lesser extent, on the History of Computing.
I was a founder-member of IFIP WG2.3 (Programming Methodology) and am a founder-member of IFIP WG10.4 (Dependability and Fault Tolerance). In 1979 I helped found MARI (Microelectronics Applications Research Institute) and in 1993 I was involved in setting up the Northern Informatics Applications Agency, both of which flourished and did some excellent work for a number of years. I am a Fellow of the BCS and of the ACM, and was a Member of the Conseil Scientifique of the CNRS, France (2001-5), and Chairman of the IEEE John von Neumann Medal Committee (2003-5), and was first a Member and then Chairman of the ACM A.M. Turing Award Committee (2005–09).
I was an active member of the group of twenty-three academics who, in April 2006, became concerned by what we had learned of the plans, progress, reported difficulties and controversies surrounding the UK National Health Service's National Programme for Information Technology (NPfIT). From then until September 2010 I edited the evolving Dossier that was produced documenting our growing concerns about the Programme.
The University Library now holds a sizeable archive of my professional activities and correspondence, 1950-2009. The fully catalogued materials are now available via a profile webpage on the Library website.
Note: while the University's new "official" listing of my publications is being completed, my own listing is at http://homepages.cs.ncl.ac.uk/brian.randell/Publications.html
Google Scholar: Click here.
Area of expertise: System Dependability, History of Computing
- 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, 43(1), 19-37.
- Randell B. Fifty Years of Software Engineering or The View from Garmisch. Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle University, 2018. School of Computing Science Technical Report Series 1520.
- Li B, Randell B, Bhattacharyya A, Alharbi T, Koutny M. SONCraft: A Tool for Construction, Simulation and Analysis of Structured Occurrence Nets. In: 18th International Conference on Application of Concurrency to System Design. 2018, Bratislava, Slovakia: IEEE.
- Hao F, Clarke D, Randell B, Shahandashti SF. Verifiable Classroom Voting in Practice. IEEE Security and Privacy 2018, 16(1), 72-81.
- Bhattacharyya A, Koutny M, Randell B. Towards a Framework for Monotonic Approximations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2017. School of Computing Science Technical Report Series 1506.
- Li B, Koutny M, Randell B. SONCraft: A Tool for Construction, Simulation and Verification of Structured Occurrence Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2016. School of Computing Science Technical Report Series 1493.
- Bhattacharyya A, Li B, Randell B. Time in Structured Occurrence Nets. Newcastle upon Tyne: School of Computing Science University of Newcastle upon Tyne, 2016. School of Computing Science Technical Report Series 1495.
- Bhattacharyya A, Li B, Randell B. Time in Structured Occurrence Nets. In: International Workshop on Petri Nets and Software Engineering (PNSE’16). 2016, Torun, Poland: CEUR-WS.org.
- Toreini E, Randell B, Hao F. An Acoustic Side Channel Attack on Enigma. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1455.
- Randell B. Reminiscences of Project Y and the ACS Project. IEEE Annals of the History of Computing 2015, 37(3), 56-66.
- Li B, Randell B. SONCraft user manual. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2015. School of Computing Science Technical Report Series 1448.
- Hao F, Kreeger MN, Randell B, Clarke D, Shahandashti SF, Lee PH-J. Every vote counts: Ensuring integrity in large-scale electronic voting. In: 2014 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections, EVT/WOTE 2014. 2014, San Diego: USENIX Association.
- Hao F, Kreeger MN, Randell B, Clarke D, Shahandashti SF, Lee PHJ. Every Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting. USENIX Journal of Election Technology and Systems (JETS) 2014, 2(3), 1-25.
- Randell B. Message from honorary chair: EDCC 2014. In: 2014 10th European Dependable Computing Conference, EDCC 2014. 2014, Newcastle upon Tyne, UK: IEEE.
- Randell B. Incremental Construction of Structured Occurrence Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1384.
- Randell B. A Turing Enigma. In: CONCUR 2012 - Concurrency Theory: 23rd International Conference. 2012, Newcastle upon Tyne: Springer.
- Randell B. A Turing Enigma. In: CONCUR 2012 - CONCURRENCY THEORY. 2012, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY: SPRINGER-VERLAG BERLIN.
- Randell B. A Turing Enigma. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1342.
- Missier P, Randell B, Koutny M. Modelling Provenance using Structured Occurrence Networks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1326.
- Missier P, Randell B, Koutny M. Modelling Provenance Using Structured Occurrence Networks. In: Provenance and Annotation of Data and Processes - 4th International Provenance and Annotation Workshop, IPAW 2012. 2012, Santa Barbara, CA, USA: Springer.
- Missier P, Randell B, Koutny M. Modelling Provenance Using Structured Occurrence Networks. In: PROVENANCE AND ANNOTATION OF DATA AND PROCESSES, IPAW 2012. 2012, HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY: SPRINGER-VERLAG BERLIN.
- Hao F, Randell B, Clarke D. Self-Enforcing Electronic Voting. In: Security Protocols Workshop XX : 20th International Workshop. 2012, Cambridge: Springer Verlag.
- Hao F, Randell B, Clarke D. Self-Enforcing Electronic Voting. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1311.
- Randell B. A Computer Perspective. ACM Inroads 2011, 2(3), 28-29.
- Randell B. Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1243.
- Randell B. Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. In: Application and Theory of Petri Nets. 2011, Newcastle upon Tyne, UK: Springer-Verlag.
- Randell B. Newcastle’s French Connection. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1200.
- Randell B. Reminiscences of Whetstone ALGOL. Resurrection 2010, (50), 14-22.
- Randell B. Reminiscences of Whetstone ALGOL. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2010. School of Computing Science Technical Report Series 1190.
- Yan J, Randell B. An Investigation of Cheating in Online Games. IEEE Security & Privacy 2009, 7(3), 37-44.
- Randell B, Koutny M. Structured Occurence Nets: A formalism for aiding system failure prevention and analysis techniques. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1162.
- Koutny M, Randell B. Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques. Fundamenta Informaticae 2009, 97(1-2), 41-91.
- Randell B, Koutny M. Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1170.
- Glaser H, Millard I, Anderson T, Andrews Z, Fitzgerald J, Randell B. A Knowledge Base for Dependability and Security Research. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1132.
- Koutny M, Randell B. Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1120.
- Randell B. A Computer Scientist’s Reactions to NPfIT. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1024.
- Randell B. A computer scientist's reactions to NPfIT. Journal of Information Technology 2007, 22(3), 222-234.
- Avizienis A, Laprie J-C, Randell B, Landwehr CE. Basic Concepts and Taxonomy of Dependable and Secure Computing. In: von Knop, J., Salnikov, A.A., Yaschenko. V.V, ed. A Process for Developing a Common Vocabulary in the Information Security Area. Amsterdam; Oxford: IOS Press, 2007, pp.10-51.
- Randell B, Rushby J. Distributed Secure Systems: Then and Now. In: 23rd Annual Computer Security Applications Conference, ACSAC. 2007, Miami Beach, Florida, USA: IEEE Computer Society.
- Randell B, Rushby JM. Distributed Secure Systems: Then and Now. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1052.
- Randell B, Koutny M. Failures: Their Definition, Modelling and Analysis. In: Theoretical Aspects of Computing: 4th International Colloquium (ICTAC). 2007, Macao, China: Springer-Verlag.
- Randell B. The national programme for information technology in the UK health service - Dependability challenges and strategies. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. 2007, Edinburgh, UK: IEEE.
- Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. The ReSIST Resilience Knowledge Base. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). 2007, Edinburgh, UK: IEEE Computer Society.
- Anderson T, Andrews ZH, Fitzgerald JS, Randell B, Glaser H, Millard IC. The ReSIST Resilience Knowledge Base. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2007. School of Computing Science Technical Report Series 1021.
- Randell B, Koutny M. Failures: Their Definition, Modelling and Analysis. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 994.
- Randell B. Foreword. In: Dony, C., Knudsen, J.L., Romanovsky, A., and Tripathi, A, ed. Advanced Topics in Exception Handling Techniques. Berlin: Springer, 2006, pp.vii-viii.
- Jones CB, Randell B. The role of structure: a dependability perspective. In: Besnard, D., Gacek , C. and Jones, C.B, ed. Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective. London: Springer-Verlag, 2006, pp.3-15.
- Randell B, Ryan PYA. Voting technologies and trust. In: Formal Aspects in Security and Trust: 3rd International Workshop (FAST 2005). 2006, Newcastle upon Tyne, UK: Springer-Verlag.
- Randell B, Ryan PYA. Voting technologies and trust. IEEE Security & Privacy Magazine 2006, 4(5), 50-56.
- Yan J, Randell B. A systematic classification of cheating in online games. In: 4th ACM SIGCOMM Workshop on Network and System Support for Games (NetGames). 2005, Hawthorne, NY, USA: ACM Press.
- Randell B. Dependability, Structure and Infrastructure. In: Kowalik, J.S., Gorski, J., Sachenko, A, ed. Cyberspace Security and Defense: Research Issues. Dordrecht; London: Springer, 2005, pp.143-160.
- Jones CB, Randell B. Dependable Pervasive Systems. In: Mansell, R. and Collins, B.S, ed. Trust and Crime in Information Societies. Cheltenham, UK: Edward Elgar Publishing, 2005, pp.59-90.
- Randell B. Reminiscences of Project Y and the ACS Project. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 891.
- Yan J, Randell B. Security in Computer Games: from Pong to Online Poker. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 889.
- Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel M-C, Korth HF, De Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. The atomic manifesto. Journal of Universal Computer Science 2005, 11(5), 636-650.
- Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel M-C, Korth HF, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. The Atomic Manifesto: a Story in Four Quarks. SIGMOD Record 2005, 34(1), 63-69.
- Jones C, Lomet D, Romanovsky A, Weikum G, Fekete A, Gaudel MC, Korth H F, de Lemos R, Moss E, Rajwar R, Ramamritham K, Randell B, Rodrigues L. The Atomic Manifesto: a Story in Four Quarks. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 886.
- Randell B, Ryan PYA. Voting Technologies and Trust. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 911.
- Avizienis A, Laprie J-C, Randell B, Landwehr C. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 2004, 1(1), 11-33.
- Randell B. Brief encounters. In: Herbert, A., Sparck Jones, K, ed. Computer Systems: Theory, Technology and Applications. New York; London: Springer, 2004, pp.229-235.
- Avizienis A, Laprie JC, Randell B. Dependability and its Threats: A Taxonomy. In: Building the Information Society: Proceedings of the IFIP 18th World Computer Congress. 2004, Toulouse, France: Kluwer Academic Publishers.
- Randell B. Dependability, Structure and Infrastructure. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 877.
- Randell B. Dependable Pervasive Systems. In: 23rd IEEE International Symposium on Reliable Distributed Systems. 2004, Florianpolis, Brazil: IEEE.
- Jones C, Randell B. Dependable Pervasive Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 839.
- Hoare T, Jones CB, Randell B. Extending the Horizons of DSE. In: Grand Challenges. CRC Press, 2004.
- Hoare T, Jones C, Randell B. Extending the Horizons of DSE (GC6). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 853.
- Anderson T, Randell B, Romanovsky A. Wrapping the Future. In: Building the Information Society: Proceedings of the IFIP 18th World Computer Congress. 2004, Toulouse, France: Kluwer Academic Publishers.
- Anderson T, Randell B, Romanovsky A. Wrapping the Future. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 852.
- Randell B. Edsger Dijkstra. In: 9th IEEE International Workshop on Object-Oriented Real-Time DependableSystems. 2003, Anacapri (Capri Island), Italy: IEEE Computer Society.
- Gaudel M, Issarny V, Jones C, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ, Taiani F. Final Version of DSoS Conceptual Model (CSDA1). Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 782.
- Randell B. On Failures and Faults. In: International Symposium of Formal Methods Europe. 2003, Pisa, Italy: Berlin: Springer.
- Randell B. On Failures and Faults. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 807.
- Xu J, Randell B, Romanovsky A. A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. In: 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2002, Washington DC, USA: IEEE Computer Society Press.
- Xu J, Randell B, Romanovsky A, Stroud RJ, Zorzo AF, Canver E, Von Henke F. Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions. IEEE Transactions on Computers 2002, 51(2), 164-179.
- Randell B. The New Electronic Technology. In: Akera, A., Nebeker, F, ed. From 0 to 1: An Authoritative History of Modern Computing. Oxford, UK: Oxford University Press, 2002, pp.41-50.
- Zorzo AF, Randell B, Romanovsky A. TLA Specification of a Mechanism for Concurrent Exception Handling. In: Ezhilchelvan, P., Romanovsky, A, ed. Concurrency in Dependable Computing. Boston, Massachusetts, USA; London: Kluwer Academic Publishers, 2002, pp.41-59.
- Powell D, Stroud RJ, Adelsbach A, Alessandri D, Cachin C, Creese S, Dacier M, Deswarte Y, Kursawe K, Laprie JC, Pfitzmann B, Randell B, Riordan J, Veríssimo P, Waidner M. Conceptual Model and Architecture. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 749.
- Randell B, Stroud R, Jones C et al. DSoS (Dependable Systems of Systems). In: 2001 International Conference on Dependable Systems and Networks (DSN-2001). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
- Welch I, Armstrong JM, Cachin C, Correia M, Costes A, Miranda H, Neves NF, Neves NM, Poritz JA, Randell B, Rodrigues L, Stroud RJ, Veríssimo P, Waidner M. First Specification of APIs and Protocols for the MAFTIA Middleware. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 738.
- Avizienis A, Laprie J-C, Randell B. Fundamental Concepts of Dependability. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 739.
- Powell D, Adelsbach A, Cachin C, Creese S, Dacier M, Deswarte Y, McCutcheon T, Neves N, Pfitzmann B, Randell B, Stroud RJ, Veríssimo P, Waidner M. MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications). In: International Conference on Dependable Systems and Networks (DSN). 2001, Gothenburg, Sweden: IEEE Computer Society Press.
- Beder DM, Randell B, Romanovsky A, Rubira CMF. On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. In: 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC). 2001, Magdeburg, Germany: IEEE Computer Society Press.
- Randell B. Review of “Inventing Systems Engineering”, by John Aris (Review no. 0101-0037). Computing Reviews 2001, 42(1), 78.
- Jones CB, Killijian M-O, Kopetz H, Marsden E, Moffat N, Paulitsch M, Powell D, Randell B, Romanovsky A, Stroud RJ. Revised Version of DSoS Conceptual Model. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 746.
- Xu J, Randell B, Romanovsky A. A Generic Implementation Approach to Concurrent Fault-Tolerant Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 692.
- Randell B, Beder DM, Romanovsky A, Snow CR, Stroud RJ. An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. Operating Systems Review 2000, 34(4), 21-31.
- Xu J, Romanovsky A, Randell B. Concurrent exception handling and resolution in distributed object systems. IEEE Transactions on Parallel and Distributed Systems 2000, 11(10), 1019-1032.
- Randell B. Facing up to Faults. The Computer Journal 2000, 43(2).
- Randell B. Fault Tolerance in Decentralized Systems. IEICE Transactions on Communications 2000, 83(5), 903-908.
- Avizienis A, Laprie J-C, Randell B. Fundamental Concepts of Dependability. In: 3rd IEEE Information Survivability Workshop (ISW). 2000, Boston, Massachusetts, USA: Software Engineering Institute, Carnegie-Mellon University, Pittsburgh.
- Cachin C, Camenisch J, Dacier M, Deswarte Y, Dobson JE, Horne D, Kursawe K, Laprie J-C, Lebraud J-C, Long D, McCutcheon T, Muller J, Petzold F, Pfitzmann B, Powell D, Randell B, Schunter M, Shoup V, Veríssimo P, Trouessin G, Stroud R, Waidner M, Welch I. Mailicious- and Accidental- Fault Tolerance for Internet Applications (MAFTIA) : Reference Model and Use Cases. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2000. Department of Computing Science Technical Report Series 707.
- Randell B. Turing Memorial Lecture Facing Up to Faults. Computer Journal 2000, 43(2), 95-106.
- Benjamin R, Gladman B, Randell B. Business at War. Computer Bulletin 1999, 1(6), 23-28.
- Romanovsky A, Xu J, Randell B. Coordinated exception handling in real-time distributed object systems. Computer Systems Science and Engineering 1999, 14(4), 197-207.
- Randell B, Zorzo AF. Exception Handling in Multiparty Interactions. In: Anias do SCTF'99 - VIII Simpósio de Computaçõ Tolerante a Falhas. 1999, Campinas, Sao Paolo, Brazil: Instituto de Computaçõ, Universidade Estadual de Campinas (Unicamp).
- Randell B. Fault Tolerance in Decentralised Systems (Keynote Speech). In: Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems (ISADS). 1999, Tokyo, Japan: IEEE Computer Society.
- Randell B. Fault Tolerance in Decentralized Systems. In: 4th International Symposium on Autonomous Decentralized Systems (ISADS). 1999, Tokyo, Japan: IEEE Computer Society Press.
- Benjamin R, Gladman B, Randell B. Protecting IT Systems from Cyber Crime. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 631.
- Xu J, Randell B, Romanovsky A, Stroud R, Zorzo AF, Canver E, von Henke F. Rigorous Development of a Safety-critical system based on co-ordinated Atomic Actions. In: Proceedings of the 29th International Symposium on Fault-Tolerant Computing (FTCS). 1999, Madison, Wisconsin, USA: IEEE Computer Society.
- Xu J, Randell B, Romanovsky A, Stroud RJ, Zorzo AF, Canver E, von Henke F. Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1999. Department of Computing Science Technical Report Series 662.
- Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud RJ, Welch IS. Using coordinated atomic actions to design safety-critical systems: A production cell case study. Software - Practice and Experience 1999, 29(8), 677-697.
- Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF, Schwier D, von Henke F. Coordinated Atomic Actions: Formal Model, Case Study and System Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 628.
- Xu J, Romanovsky A, Randell B. Coordinated exception handling in distributed object systems: from model to system implementation. In: 18th IEEE International Conference on Distributed Computing Systems (ICDCS). 1998, Amsterdam, The Netherlands: IEEE.
- Randell B. Dependability - A Unifying Concept. In: Workshop on Computer Security, Dependability and Assurance: From Needs to Solutions. 1998, Williamsburg, VA , USA: IEEE Computer Society Press, Los Alamitos, CA.
- Xu J, Randell B, Romanovsky A et al. Developing Control Software for Production Cell II: Failure Analysis and System Design Using CA Actions. In: 3rd International Workshop on Design for Validation. 1998, Louvain-La-Neuve, Belgium.
- Romanovsky A, Xu J, Randell B. Exception Handling in Object-Oriented Real-Time Distributed Systems. In: 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC). 1998, Kyoto, Japan: IEEE Computer Society Press.
- Randell B. Memories of the NATO Software Engineering Conferences. IEEE Annals of the History of Computing 1998, 20(1), 51-54.
- Benjamin R, Gladman B, Randell B. Protecting IT Systems from Cyber Crime. Computer Journal 1998, 41(7), 429-433.
- Xu J, Randell B, Romanovsky A, Stroud RJ. Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed Systems. In: International Symposium on Special Topics of Computers. 1998, China.
- Zorzo AF, Romanovsky A, Randell B, Stroud RJ, Welch I, Xu J. Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1998. Department of Computing Science Technical Report Series 619.
- Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF. Co-ordinated Atomic Actions: From Concept to Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 595.
- Xu J, Romanovsky A, Randell B. Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 612.
- Xu J, Romanovsky A, Randell B. Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 596.
- Romanovsky A, Xu J, Randell B. Exception Handling in Object-Oriented Real-Time Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 618.
- Romanovsky A, Randell B, Stroud R, Xu J, Zorzo AF. Implementation of blocking coordinated atomic actions based on forward error recovery. Journal of Systems Architecture 1997, 43(10), 687-699.
- Romanovsky A, Randell B, Stroud RJ, Xu J, Zorzo AF. Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 561.
- Randell B. Review of “The Timetable of Computers: A chronology of the most important people and events in the history of computers”, by D.D. Spencer (Review no. 0894). Computing Reviews 1997, 38(11), 558-559.
- Randell B, Xu J, Zorzo AF. Software Fault Tolerance in Object-Oriented Systems: Approaches, Implementation and Evaluation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 597.
- Xu J, Randell B. Software Fault Tolerance: R/(n-l)-Variant Programming. IEEE Transactions on Reliability 1997, 46(1), 60-68.
- Xu J, Randell B. The t/(n-1)-VP Approach to Fault-Tolerant Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 594.
- Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud R, Welch I. Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems. In: OOPSLA '97 Workshop on Dependable Distributed Object Systems, Atlanta, Georgia, USA, 5 October 1997. Part of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA). 1997, Atlanta, Georgia, USA: ACM.
- Lait AJ, Randell B. An Assessment of Name Matching Algorithms. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1996. Department of Computing Science Technical Report Series 550.
- Randell B. Charles Babbage and the Anglo-American Copyright Dispute. IEEE Annals of the History of Computing 1996, 18(3), 56.
- Romanovsky A, Xu J, Randell B. Exception Handling and Resolution in Distributed Object-Oriented Systems. In: 16th IEEE International Conference on Distributed Computing Systems (ICDCS). 1996, Hong Kong, China: IEEE Computer Society Press.
- Zorzo A, Xu J, Randell B. Experimental Evaluation of Fault-Tolerant Mechanisms for Object-Oriented Software. In: 23rd Brazilian Software and Hardware Seminars. 1996, Recife, Brazil.
- Xu J, Randell B, Zorzo AF. Implementing Software-Fault Tolerance in C++ and Open C++. In: 1996 International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability (CADTED). 1996, Beijing, China: International Academic Publishers.
- Randell B. La Filiation des Machines a Calculer Contemporain. In: Dumas, M, ed. Histoire Generale des Techniques, V. Les Techniques de la Civilisation Industrielle: Transformation, Communication, Facteur Humain. Paris, France: Presses Universitaires de France, 1996.
- Xu J, Randell B. Roll-Forward Error Recovery in Embedded Real-Time Systems. In: International Conference on Parallel and Distributed Systems (ICPADS). 1996, Tokyo, Japan: IEEE Computer Society Press.
- Romanovsky A, Xu J, Randell B. Exception Handling and Resolution in Distributed Object-Oriented Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 542.
- Randell B. Fault Tolerance and Security. In: 4th IFIP WG10.4 International Working Conference on Dependable Computing for Critical Applications (DCCA). 1995, San Diego, CA, USA: Springer-Verlag.
- Xu J, Randell B, Romanovsky A, Rubira CMF, Stroud RJ, Zhixue W. Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In: 25th International Symposium on Fault-Tolerant Computing (FTCS). 1995, Pasadena, California, USA: IEEE.
- Xu J, Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z. Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 507.
- Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z, Xu J. From Recovery Blocks to Concurrent Atomic Actions. In: Randell, B., Laprie, J-C., Kopetz, H., Littlewood, B, ed. Predictably Dependable Computing Systems. Brussels: Springer-Verlag, 1995, pp.87-101.
- Randell B. Le projet COLOSSUS et la seconde guerre mondiale. In: Quatrième colloque: "Histoire de l'informatique", Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA). 1995, Campus de Beaulieu, Rennes, France: IRISA, France.
- Rubira CMF, Randell B. Object-Oriented Environmental Fault Tolerance. In: 6° Sympósio de Computadores Tolerantes a Falhas, XV Congresso da Sociedade Brasileira de Computação. 1995, Brazil: Instituto de Informática, Universidade Federal do Rio Grande do Sul.
- Randell B, Laprie J-C, Kopetz H, Littlewood B, ed. Predictably Dependable Computing Systems. Brussels: Springer-Verlag, 1995.
- Xu J, Randell B. Responsive Roll-Forward Recovery in Embedded Real-Time Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1995. Department of Computing Science Technical Report Series 515.
- Randell B. Review of ‘“The Reservisor Automated Airline Reservation System: combining communications and computing” by J. Eklund (Review no. 0263). Computing Reviews 1995, 35(6), 220.
- Randell B. Software Dependability: A Personal View. In: 25th International Symposium on Fault-Tolerant Computing (FTCS). 1995, Pasadena, California, USA: IEEE Computer Society Press.
- Fabre J-C, Deswarte Y, Randell B. Designing Secure and Reliable Applications Using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach. In: 1st European Dependable Computing Conference (EDCC). 1994, Berlin, Germany: Springer-Verlag.
- Randell B. Lessons from History?. In: Randell, B; Ringland, G; Wulf, WA, ed. Software 2000: A View of the Future. Stevenage: ICL and the Commission of the European Communities, 1994, pp.B27-B29.
- Randell B, Xu J. Recovery Blocks. In: Marciniak, J.J, ed. Encyclopedia of Software Engineering. New York, USA: Wiley, 1994, pp.1037-1038.
- Randell B, Xu J. Recovery Blocks. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 479.
- Randell B, Ringland G, Wulf WA, ed. Software 2000: A View of the Future. Stevenage: ICL and the Commission of the European Communities, 1994.
- Xu J, Randell B, Rubira-Calsavara CMF, Stroud RJ. Software Fault-tolerance: Towards an Object-oriented Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1994. Department of Computing Science Technical Report Series 498.
- Randell B. Some Lessons from the SW2000 Workshop. In: 1st European Dependable Computing Conference (EDCC). 1994, Berlin, Germany: Springer-Verlag.
- Randell B, Xu J. The Evolution of the Recovery Block Concept. In: Lyu, M, ed. Software Fault Tolerance. Chichester: John Wiley & Sons, 1994, pp.1-22.
- Randell B. The Origins of Computer Programming. IEEE Annals of the History of Computing 1994, 16(4), 6-14.
- Xu J, Randell B, Rubira CMF, Stroud RJ. Toward an Object-Oriented Approach to Software Fault Tolerance. In: Fault-Tolerant Parallel and Distributed Systems. 1994, College Station, Texas, USA: IEEE Press.
- Fabre JC, Deswarte Y, Randell B. A Framework for the Design of Secure and Reliable Applications by Fragmentation-Redundancy-Scattering. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 410.
- Fabre J-C, Randell B. An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 419.
- Randell B. Approaches to Software Fault Tolerance. In: CNRS-LAAS 25th Anniversary Conference. 1993, Toulouse, France: Cépaduès-Éditions.
- Landwehr CE, Randell B, Simoncini L, ed. Dependable Computing for Critical Applications. Berlin; New York: Springer-Verlag, 1993.
- Fabre J-C, Deswarte Y, Randell B. Designing Secure and Reliable Applications using FRS: An Object-Oriented Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 438.
- Xu J, Randell B. Object-oriented Construction of Fault-tolerant Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1993. Department of Computing Science Technical Report Series 444.
- Randell B, Xu J. Object-Oriented Software Fault Tolerance: Framework, reuse and design diversity. In: 1st PDCS2 Open Workshop. 1993, Toulouse, France.
- Randell B. Personal Ancestral File and Reunion - Two Genealogical Database Management Systems for the Apple Macintosh. Computers in Genealogy 1993, 4(10), 424-437.
- Shrivastava SK, Mancini L, Randell B. The Duality of Fault-tolerant System Structures. Software: Practice and Experience 1993, 23(7), 773-798.
- Fabre J-C, Randell B. An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. In: 2nd European Symposium on Research in Computer Security (ESORICS). 1992, Toulouse, France: Springer-Verlag.
- Anderson T, Avizienis A, Carter WC, Costes A, Cristian F, Koga Y, Kopetz H, Lala JH, Laprie JC, Meyer JF, Randell B, Robinson AS. Dependability: Basic Concepts and Terminology. Wien; New York: Springer-Verlag, 1992.
- Randell B, Laprie J-C. Predictably Dependable Computing Systems: Final Report. Bulletin of EATCS 1992, 48(Oct), 55-87.
- Randell B. Reunion at Bletchley Park. IEEE Annals of the History of Computing 1992, 14(2), 51-53.
- Randell B. Review of “Marks on Paper, part 1: A historical survey of computer output printing” by I.L. Wieselman and E. Tomash (Review no. 0047). Computing Reviews 1992, 33(1), 78.
- Xu J, Randell B. Software Fault Tolerance: t(n-1)-Variant Programming. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1992. Computing Laboratory Technical Report Series 388.
- Randell B. System Dependability. In: Future Tendencies in Computer Science, Control and Applied Mathematics International Conference on the Occasion of the 25th Anniversary of INRIA. 1992, Paris, France: Springer-Verlag.
- Randell B. System Dependability. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1992. Department of Computing Science Technical Report Series 396.
- Randell B. Coping with the Past. In: Operating Systems of the 90s and Beyond. 1991, Dagstuhl Castle, Germany: Springer-Verlag.
- Randell B. Coping with the Past. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 330.
- Randell B. European Research in Distributed Computing Systems: A personal perspective. In: 10th IEEE Symposium on Reliable Distributed Systems. 1991, Pisa, Italy: IEEE Computer Society Press.
- Randell B, Fabre JC. Fault and Intrusion Tolerance in Object-Oriented Systems. In: International Workshop on Object-Orientation in Operating Systems. 1991, Palo Alto, California, USA: IEEE Technical Committee on Operating Systems and Application Environments (TCOS).
- Randell B, Fabre J-C. FDP Techniques in Object-oriented Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 337.
- Trouessin G, Deswarte Y, Fabre J-C, Randell B. Improvement of Data Processing Security by means of Fault Tolerance. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 331.
- Trouessin G, Deswarte Y, Fabre JC, Randell B. Improvement of Data Processing Security by Means of Fault Tolerance. In: 14th National Computer Security Conference. 1991, Washington, USA.
- Randell B, Laprie J-C. Predictably Dependable Computing Systems: Second Year Report. Bulletin of EATCS 1991, 44, 61-86.
- Randell B, Laprie J-C. Predictably Dependable Computing Systems: Second Year Report. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 343.
- Randell B. Programming: From Babbage to Backus. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1991. Computing Laboratory Technical Report Series 327.
- Randell B. Electronic Computing: A Continuing Revolution. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 311.
- Randell B. Epilogue. In: Eames, C., Eames, R, ed. A Computer Perspective: Background to the Computer Age. Cambridge, Massachusetts, USA: Harvard University Press, 1990, pp.161-163.
- Randell B. Foreword. In: Feijen, W.H.J., van Gasteren, A.J.M., Gries, D., Misra, J, ed. Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra. New York: Springer-Verlag, 1990, pp.ix-xi.
- Randell B. Le Coupable n'est pas la technologie. La Lettre de la Sûreté de Fonctionnement 1990, 13, 3-4.
- Dobson JE, McDermid J, Randell B. On the Trustworthiness of Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 306.
- Dobson JE, Laprie J-C, Randell B. Predictably Dependable Computing Systems: An ESPRIT Basic Research Project. Bulletin of EATCS 1990, 40, 100-116.
- Randell B. Súrété de Fonctionnement et Défauts du Logiciel: Minimiser les risques et éviter les responsabilités. La Lettre de la Sûreté de Fonctionnement 1990, 13, 3-4.
- Randell B. System Design and Structuring for Dependability. In: Anderson, T, ed. Resilient Computing Systems. Chichester, UK: John Wiley & Sons, 1990, pp.29-43.
- Shrivastava SK, Mancini LV, Randell B. The Duality of Fault-Tolerant System Structures. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1990. Computing Laboratory Technical Report Series 305.
- Randell B. Can Design Faults be Tolerated?. In: 11th IFIP World Computer Congress: Information Processing 89. 1989, San Francisco, California, USA: North-Holland/IFIP.
- Dobson JE, Randell B. Viewpoint: Program Verification: Public Image and Private Reality. Communications of the ACM 1989, 32(4), 420-422.
- SHRIVASTAVA SK, MANCINI LV, RANDELL B. ON THE DUALITY OF FAULT TOLERANT SYSTEM STRUCTURES. LECTURE NOTES IN COMPUTER SCIENCE 1988, 309, 19-37.
- Randell B. Design Fault Tolerance. In: Avizienis, A., Kopetz, H., Laprie, J.-C, ed. The Evolution of Fault-Tolerant Computing. Berlin; New York: Springer-Verlag, 1987, pp.251-270.
- Randell B. ESPRIT Basic Research Actions. In: IT Forum at the 4th ESPRIT Conference: Achievements and Impacts (Esprit). 1987, Brussels, Belgium: Elsevier Science BV (North-Holland).
- Shrivastava SK, Mancini LV, Randell B. On the Duality of Fault Tolerant System Structures. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 248.
- Shrivastava SK, Mancini LV, Randell B. On the Duality of Fault-Tolerant System Structures. In: Experiences with Distributed Systems. 1987, Kaiserslautern, Germany: Springer-Verlag.
- Randell B. System Design and Structuring for Dependability. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1987. Computing Laboratory Technical Report Series 232.
- Black JP, Marshall LF, Randell B. The Architecture of UNIX United. Proceedings of the IEEE 1987, 75(5), 709-718.
- Randell B. A Fault-Tolerance Based Approach to System Security. In: Milcomp. 1986, London, UK.
- Dobson JE, Randell B. Building Reliable Secure Computing Systems out of Unreliable Insecure Components. In: Conference on Security and Privacy. 1986, Oakland, USA: IEEE.
- Dobson JE, Randell B. Building Reliable Secure Computing Systems out of Unreliable Insecure Components. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 214.
- Randell B. Design Fault Tolerance. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 218.
- Campbell RH, Randell B. Error Recovery in Asynchronous Systems. IEEE Transactions on Software Engineering 1986, 12(8), 811-826.
- Randell B. Recursively Structured Fault-Tolerant Distributed Computing Systems. In: Skwirzynski, J.K, ed. Software System Design Methods. Berlin; New York: Springer-Verlag, 1986, pp.35-52.
- Randell B, Dobson JE. Reliability and Security Issues in Distributed Computing Systems. In: 5th IEEE International Symposium on Reliability in Distributed Software and Database Systems. 1986, Los Angeles, CA, USA: IEEE Computer Society Press.
- Randell B. System Design and Structuring. Computer Journal 1986, 29(4), 300-306.
- Black JP, Marshall LF, Randell B. The Architecture of UNIX United. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1986. Computing Laboratory Technical Report Series 220.
- Randell B. Comments on “Memorandum on Mechanical Solution of Partial Differential Equations”. In: Masani, P, ed. Norbert Wiener: Collected Works, Vol. IV. Cambridge, Massachusetts, USA: MIT Press, 1985, pp.135.
- Randell B. Hardware/Software Trade-offs: A general design principle?. Computer Architecture News 1985, 13(2), 19-21.
- Panzieri F, Randell B. Interfacing UNIX to Data Communications Networks. IEEE Transactions on Software Engineering 1985, 11(10), 1016-1032.
- Randell B. Introduction. In: Shrivastava, S.K, ed. Reliable Computer Systems: Collected Papers of the Newcastle Reliability Project. Heidelberg: Springer-Verlag, 1985.
- Alty J, Brooks A, Randell B. Operating Systems for the IBM PC. In: Barnetson, P, ed. The Research and Academic Users Guide to the IBM Personal Computer. Portsmouth, UK: IBM United Kingdom Limited, 1985, pp.13-25.
- Randell B, Dobson JE. Reliability and Security Issues in Distributed Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 210.
- Bennett KH, Marshall LF, Randell B. Reliable Computing in a UNIX United Environment. Computer Architecture Technical Committee Newsletter 1985, 23-38.
- Bennett KH, Marshall LF, Randell B. Reliable Computing in a UNIX United Environment. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 201.
- RANDELL B. SECURITY AND PRIVACY - IBM UNIVERSITY-OF-NEWCASTLE-UPON-TYNE SEMINAR, SEPTEMBER 1984. UNIVERSITY COMPUTING 1985, 7(1), 60-60.
- Randell B. System Design and Structuring. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 198.
- Anyanwu JA, Randell B. Update and Merge of Partitioned Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1985. Computing Laboratory Technical Report Series 204.
- Randell B. Coping with Complexity in Systems Development. InterMedia 1984, 12(4-5), 84-85.
- Randell B. Fault Tolerance and System Structuring. In: 4th Jerusalem Conference on Information Technology: Next Decade in Information Technology (JCIT). 1984, Jerusalem, Israel: IEEE Computer Society Press.
- Randell B. The Newcastle Connection: A software subsystem for constructing distributed UNIX systems. In: CERN. 1984, School of Computing, Aiguablava, Catalonia, Spain.
- Randell B. The Newcastle Connection: A Software Subsystem for Constructing Distributed UNIX Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1984. Computing Laboratory Technical Report Series 194.
- Rushby JM, Randell B. A Distributed Secure System. Computer 1983, 16(7), 55-67.
- Randell B. A Mysterious Advertisement. Annals of the History of Computing 1983, 5(1), 60-63.
- Campell RH, Randell B. Error Recovery in Asynchronous Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 186.
- Randell B. Fault Tolerance and System Structuring. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 189.
- Panzieri F, Randell B. Interfacing UNIX to Data Communications Networks. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 190.
- Campbell RH, Anderson T, Randell B. Practical Fault Tolerant Software for Asynchronous Systems. In: 3rd IFAC/IFIP Workshop on Safety of Computer Control Systems: Achieving Safe Real Time Computer Systems. 1983, Cambridge: Franklin Book Co.
- Campell RH, Anderson T, Randell B. Practical Fault Tolerant Software for Asynchronous Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1983. Computing Laboratory Technical Report Series 187.
- Randell B. Recursively Structured Distributed Computer Systems. In: 3rd IEEE Symposium on Reliability on Distributed Software and Database Systems. 1983, Clearwater Beach, Florida, USA: IEEE Computer Society Press.
- Rushby JM, Randell B. A Distributed Secure System. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 182.
- Randell B. From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres and Bush. IEEE Annals of the History of Computing 1982, 4(4), 327-341.
- Brownbridge DR, Marshall LF, Randell B. The Newcastle Connection or UNIXes of the World Unite!. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 175.
- Brownbridge DR, Marshall LF, Randell B. The Newcastle Connection, or - UNIXes of the World Unite!. Software: Practice and Experience 1982, 12(12), 1147-1162.
- Randell B, ed. The Origins of Digital Computers: Selected Papers. Berlin; New York: Springer, 1982.
- Randell B. The Structuring of Distributed Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1982. Computing Laboratory Technical Report Series 181.
- Randell B, Treleaven PC, ed. VLSI Architecture. Englewood Cliffs, New Jersey, USA: Prentice Hall International, 1982.
- Best E, Randell B. A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica 1981, 16(1), 93-124.
- Randell B. From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate (1883-1922), Torres y Quevedo (1852-1936) and Bush (1890-1974). Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1981. Computing Laboratory Technical Report Series 164.
- Randell B. Reliability and Integrity of Distributed Computing Systems: Progress Report 1978-80. In: 11th Annual International Symposium on Fault-Tolerant Computing (FTCS). 1981, Portland, Maine, USA: IEEE Computer Society Press.
- Randell B. Review of “History of Programming Languages” ed. by R. L. Wexelblat. Science 1981, (214), 4519.
- Randell B. Foreword. In: Stone, H, ed. Fundamentals of Computer Architecture. Science Research Associates, 1980.
- Randell B. Reliability and Integrity of Distributed Computing Systems: Progress Report 1978-80. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1980. Computing Laboratory Technical Report Series 154.
- Randell B. The COLOSSUS. In: Metropolis, N., Howlett, J., Rota, G.-C, ed. A History of Computing in the Twentieth Century. New York, USA: Academic Press, 1980, pp.47-92.
- Best E, Randell B. A Formal Model of Atomicity in Asynchronous Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1979. Computing Laboratory Technical Report Series 130.
- Randell B. An Annotated Bibliography on the Origins of Digital Computers. IEEE Annals of the History of Computing 1979, 1(2), 101-207.
- Randell B. An Annotated Bibliography on the Origins of Digital Computers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1979. Computing Laboratory Technical Report Series 140.
- Anderson T, Randell B, ed. Computing Systems Reliability. New York: Cambridge University Press, 1979.
- Randell B. La Genese des Calculateurs Electroniques. In: Perrot, M. et. al, ed. Histoire Generale des Techniques V. Les Techniques de la Civilisation Industrielle. Paris, France: Presses Universitaires de France, 1979.
- Randell B. Software Engineering in 1968. In: 4th International Conference on Software Engineering. 1979, Munich, Germany: IEEE Computer Society.
- Randell B. Software Engineering in 1968. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1979. Computing Laboratory Technical Report Series 138.
- Randell B. Software Fault Tolerance. In: European Conference on Applied Information Technology (Euro IFIP 79). 1979, London, UK: North-Holland.
- Randell B. System Reliability and Structuring. In: Anderson, T., Randell, B, ed. Computing Systems Reliability. New York, USA: Cambridge University Press, 1979, pp.1-18.
- Randell B. Error Recovery in Distributed Computing Systems. The Computer Bulletin 1978, 2, 10.
- Randell B, Lee PA, Treleaven PC. Reliability Issues in Computing System Design. ACM Computing Surveys 1978, 10(2), 123-165.
- Randell B, Lee PA, Treleaven PC. Reliable Computing Systems. In: Flynn, M.J., Gray, J. and Jones, A.K. et. al, ed. Operating Systems: An Advanced Course. Berlin: Springer-Verlag, 1978, pp.283-393.
- Randell B. Review of “Pioneers of Computer: A Series of Archival Recordings” by C. Evans. Computing Reviews 1978, 19, 221.
- Elliott WD, Randell B. Selected Bibliography on the Structure and Design of Programming Languages. Toronto, Canada: Computer Systems Research Group, University of Toronto, 1978. 14.
- Merlin PM, Randell B. State Restoration in Distributed Systems. In: 8th International Conference on Fault-Tolerant Computing (FTCS). 1978, Toulouse, France: IEEE Computer Society Press.
- Treleavan PC, Farrell EP, Ghani N, Jones SB, Randell B, Smith PJ. The Design of Highly Concurrent Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1978. Computing Laboratory Technical Report Series 126.
- Merlin PM, Randell B. Consistent State Restoration in Distributed Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 113.
- Randell B, Lee PA, Treleavan PC. Reliable Computing Systems. Newcastle upon Tyne: Computing Laboratory, The University of Newcastle upon Tyne, 1977. Computing Laboratory Technical Report Series 102.
- Melliar-Smith PM, Randell B. Software Reliability: The role of programmed exception handling. In: Software Engineering Notes: ACM Conference on Language Design For Reliable Software. 1977, Raleigh, North Carolina, USA: ACM Press.
- Randell B. Digital Computers: Origins. In: Ralston, A., Meek, C. L, ed. Encyclopaedia of Computer Science. New York: Petrocelli/Charter Publishers, 1976, pp.532-535.
- Naur P, Randell B, Buxton JN. Software Engineering: Concepts and Techniques. New York: Petrocelli/Charter, 1976.
- Melliar-Smith PM, Randell B. Software Reliability: The Role of Programmed Exception Handling. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1976. Computing Laboratory Technical Report Series 95.
- Randell B. The COLOSSUS. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1976. Computing Laboratory Technical Report Series 90.
- Randell B. The History of Digital Computers. Bulletin of the Institute of Mathematics and its Applications 1976, 12(11-12), 335-346.
- Randell B. The Origins of Digital Computers: Supplementary Bibliography. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1976. Computing Laboratory Technical Report Series 91.
- Randell B. Computing System Reliability: Prospect and Retrospect. In: Calcolo: Meeting on Twenty years of Computer Science. 1975, Pisa, Italy: Springer Italia Srl.
- Randell B. System Structure for Software Fault Tolerance. In: International Conference on Reliable Software. 1975, Los Angeles, CA, USA: ACM Press.
- Randell B. System Structure for Software Fault Tolerance. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1975. Computing Laboratory Technical Report Series 75.
- Horning JJ, Lauer HC, Melliar-Smith PM, Randell B. A Program Structure for Error Detection and Recovery. In: International Symposium on Operating Systems: Theoretical and Practical Aspects. 1974, Rocquencourt, France: Springer-Verlag.
- Horning JJ, Lauer HC, Melliar-Smith PM, Randell B. A Program Structure for Error Detection and Recovery. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1974. Computing Laboratory Technical Report Series 59.
- Randell B. Research on Computing System Reliability at the University of Newcastle upon Tyne. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1974. Computing Laboratory Technical Report Series 57.
- Randell B. System Reliability: Interaction of operating system and machine. In: INFOTECH State of the Art Report on Computer Design. Maidenhead: Infotech Information, 1974, pp.369-384.
- Randell B. The History of Digital Computers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1974. Computing Laboratory Technical Report Series 65.
- Horning JJ, Randell B. Process Structuring. ACM Computing Surveys 1973, 5(1), 5-30.
- Randell B. COLOSSUS: Godfather of the computer. New Scientist 1972, 73(1038), 346-348.
- Randell B. On Alan Turing and the Origins of Digital Computers. In: Meltzer, B., Michie, D, ed. Machine Intelligence. Edinburgh, UK: Edinburgh University Press, 1972, pp.3-20.
- Randell B. On Alan Turing and the Origins of Digital Computers. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 33.
- Randell B. Operating Systems: The problems of performance and reliability. In: IFIP Congress 1971: Information Processing 71. 1972, Ljubljana, Yugoslavia: North-Holland Publishing.
- Horning JJ, Randell B. Process Structuring. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 31.
- Denning PJ, Randell B, ed. Special Issue on Third ACM Symposium on Operating Systems Principles. New York, USA: ACM Press, 1972.
- Randell B. The Origins of Digital Computers: A Bibliography. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1972. Computing Laboratory Technical Report Series 38.
- Alderson A, Lynch WC, Randell B. Thrashing in a Multi-programmed Paging System. In: Hoare, C.A.R., Perrott, R.H, ed. Operating Systems Techniques. New York; London: Academic Press, 1972, pp.152-167.
- Cocke J, Schorr H, Randell B, Sussenguth E. Apparatus and Method in a Digital Computer for Allowing Improved Program Branching with Branch Anticipation, Reduction of the Number of Branches, and Reduction of Branch Delays. USA: IBM, 3,577,189, 1971.
- Randell B. Highly Reliable Computing Systems. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 20.
- Randell B. Large Program Design Methodology. In: Turski, W, ed. Efficient Production of Large Programs. Warsaw, Poland: Computation Centre of the Polish Academy of Sciences, 1971, pp.35-38.
- Randell B. Ludgate's Analytical Machine of 1909. The Computer Journal 1971, 14(3), 317-326.
- Randell B. Ludgate's Analytical Machine of 1909. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 15.
- Randell B. Operating Systems: The Problems of Performance and Reliability. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 17.
- Coffman EG, Randell B. Performance Predications for Extended Paged Memories. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 16.
- Coffman EG, Randell B. Performance Predictions for Extended Paged Memories. Acta Informatica 1971, 1(1), 1-13.
- Alderson A, Lynch WC, Randell B. Thrashing in a Multi-Programmed Paging System. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1971. Computing Laboratory Technical Report Series 26.
- Dijkstra EW, Duncan FG, Garwick JV, Hoare CAR, Randell B, Seegmueller G, Turski WM, Woodger M. Minority Report. ALGOL Bulletin 1970, 31, 7.
- Randell B, Buxton JN, ed. Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27th-31st October 1969. Brussels, Belgium: Scientific Affairs Division, NATO, 1970.
- Randell B. The Gentle Art of Programming: Inaugural Lecture, University of Newcastle upon Tyne. 1970, Newcastle upon Tyne: University of Newcastle upon Tyne.
- Randell B. A Note on Storage Fragmentation and Program Segmentation. Communications of the ACM 1969, 12(7), 365-369, 372.
- Conway L, Randell B, Rozenberg DP, Senzig DN. Dynamic Instruction Scheduling. Yorktown Heights, NY, USA: IBM T. J. Watson Research Center, 1969. RJ 565.
- Randell B. Interacting Sequential Processes. Newcastle upon Tyne: Computing Laboratory, University of Newcastle upon Tyne, 1969. Computing Laboratory Technical Report Series 4.
- Naur P, Randell B, ed. Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th-11th October 1968. Brussels, Belgium: Scientific Affairs Division, NATO, 1969.
- Horning JJ, Randell B. Structuring Complex Processes. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1969. RC 2459.
- Randell B. Towards a Methodology of Computing System Design. Software Engineering 1969, 204-208.
- Randell B. A Note on Storage Fragmentation and Program Segmentation. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. RC 2102.
- Kuehner CJ, Randell B. Demand Paging in Perspective. In: Fall Joint Computer Conference. 1968, San Francisco, California, USA.
- Kuehner CJ, Randell B. Demand Paging in Perspective. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. RC-2099.
- Randell B, Kuehner CJ. Dynamic Storage Allocation Systems. Communications of the ACM 1968, 11(5), 297-306.
- Zurcher FW, Randell B. Iterative Multi-Level modelling: A methodology for computer system design. In: IFIP Congress 1968: Information Processing. 1968, Edinburgh, UK: North-Holland Publishing.
- Zurcher FW, Randell B. Iterative Multi-Level Modelling: A methodology for computer system design. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. RC 2292.
- Zurcher FW, Randell B. Multilevel Modeling - A Methodology for Computer System Design. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1968. SIMP-1968-50.
- Randell B. Review of “Description of ALGOL 60” by H. Rutishauser (Review no. 14821). Computing Reviews 1968, 9, 415-416.
- Randell B. Review of “Hardware Factors for Real-Time Systems” by E. Yourdon (Review no. 14499). Computing Reviews 1968, 9, 333.
- Randell B. Review of “The Design of a Modular Real-Time Supervisor” by E. Yourdon (Review no. 14513). Computing Reviews 1968, 9, 338.
- Randell B. Review of “Translation of ALGOL 60” by A. A. Grau et al (Review no. 14958). Computing Reviews 1968, 9, 452.
- Randell B, Zweig E, Lehman M. Deadline Scheduling. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1967. RC 1842.
- Randell B, Kuehner CJ. Dynamic Storage Allocation Systems. Yorktown Heights, NY, USA: IBM T.J. Watson Research Center, 1967. RC-1837.
- Randell B. Review of “AMTRAN, a Remote Terminal, Conversational-Mode Computer System” by J. Reinfelds et al (Review no. 11204). Computing Reviews 1967, 8(1), 49.
- Randell B. Review of “Introduction to ALGOL Programming” by T. Ekman and C-E. Froberg (Review no. 10460). Computing Reviews 1966, 7, 412.
- Randell B. Review of “TALK - A high level source language debugging technique with real-time data extraction” by R. L. ver Steeg (Review no. 6950). Computing Reviews 1965, 6(1), 30.
- Randell B. Review of “The Efficient Administration of Blocks in ALGOL” by P. A. Samet (Review no. 8858). Computing Reviews 1965, 6(3), 398.
- Randell B, Russell LJ. ALGOL 60 Implementation: the Translation and Use of ALGOL 60 Programs on a Computer. New York, USA: Academic Press, 1964.
- Randell B. Review of “An Introduction to ALGOL Programming” by R. Wooldridge and J. F. Ratcliffe. The Computer Bulletin 1964, 7(4), 136-137.
- Randell B, Russell LJ. Single-Scan Techniques for the Translation of Arithmetic Expressions into Algol 60. Journal of the ACM 1964, 11(2), 159-167.
- Randell B. The Whetstone KDF9 Algol Translator. In: Wegner, P, ed. Introduction to System Programming. London, UK: Academic Press, 1964, pp.122-136.
- Randell B. Whetstone Algol Revisited, or Confessions of a Compiler Writer. APIC Bulletin 1964, (21).
- Randell B. Certification of Algorithms 63, 64 and 65: Partition, Quicksort and Find. Communications of the ACM 1963, 6(8), 446.
- Randell B. Review of “Machine Independent Computer Programming” by M. H. Halstead. APIC Bulletin 1963, (17), 39-41.
- Randell B. Review of “Process for an ALGOL Translator by G. van der Mey. APIC Bulletin 1963, (18), 9-11.
- Randell B. Certification of Algorithm 50: Inverse of a Finite Segment of the Hilbert Matrix. Communications of the ACM 1962, 5(1), 50.
- Randell B, Broyden CG. Certification of Algorithm 66: INVRS. Communications of the ACM 1962, 5(1), 50.
- Randell B, Russell LJ. DEUCE ALGOL. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 844.
- Randell B, Russell LJ. Discussions on ALGOL Translation, at Mathematisch Centrum. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 841.
- Randell B. Proposals for Code Procedures in KDF9 Algol. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 867.
- Randell B. The Object Programme Generated by the Whetstone KDF9. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962. W/AT 872.
- Randell B. The Whetstone KDF9 ALGOL Translator. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1962.
- Kelly MJ, Randell B. EASICODE. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1960. W/AT 585.
- Randell B. Multi-Section EASICODE. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1960. W/AT 603.
- Kelly MJ, Randell B. Preliminary Report on EASICODE. Whetstone, Leicester: Atomic Power Division, English Electric Co, 1958. W/AT 216.