Brian Randell

Journal Articles

Reminiscences of Whetstone ALGOL
Randell, B.
ResurrectionIssue 50, pp 14-22
Computer Conservation Society, 2010 ISSN 0958-7403

Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques
Koutny, M. and Randell, B.
Fundamenta Informaticae Vol. 97, Issue 1-2, pp 41-91
IOS Press, 2009 ISSN 0169-2968

An Investigation of Cheating in Online Games
Yan, J. and Randell, B.
IEEE Security & Privacy Vol. 7, Issue 3, pp 37-44
IEEE Computer Society, 2009 ISSN 1540-7993

A Computer Scientist's Reactions to NPfIT
Randell, B.
Journal of Information Technology Vol. 22, Issue 3, pp 222-234
Palgrave Macmillan, 2007

Voting Technologies and Trust
Randell, B. and Ryan, P.Y.A.
IEEE Security & Privacy Vol. 4, Issue 5, pp 50-56
IEEE Computer Society, 2006

The Atomic Manifesto: a Story in Four Quarks
Jones, C., Lomet, D., Romanovsky, A. et al.
SIGMOD Record Vol. 34, Issue 1, pp 63-69
ACM Press, 2005 ISSN 0163-5808

pdf

Basic Concepts and Taxonomy of Dependable and Secure Computing
Avizienis, A., Laprie, J.-C., Randell, B. and Landwehr, C.
IEEE Transactions on Dependable and Secure Computing Vol. 1, Issue 1, pp 11-33
IEEE, 2004

Rigorous development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
Xu, J., Randell, B., Romanovsky, A. et al.
IEEE Transactions on Computers Vol. 51, Issue 2, pp 164-179
IEEE Computer Society, 2002 ISSN 0018-9340
Notes : Special Issue on Fault Tolerance.

Review of “Inventing Systems Engineering”, by John Aris (Review no. 0101-0037)
Randell, B.
Computing Reviews Vol. 42, Issue 1, pp 78
ACM Press, 2001 ISSN 0010-4884

Fault Tolerance in Decentralized Systems
Randell, B.
IEICE Transactions B: on Communications (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems) (Vol. E83-B) Vol. 83, Issue 5, pp 903-908
Institute of Electronics, Information and Communication Engineers (IEICE), 2000 ISSN 0916-8516

pdf

Facing up to Faults
Randell, B.
The Computer Journal Vol. 43, Issue 2, pp 95-106
Oxford University Press/British Computer Society, 2000 ISSN 0010-4260
Notes : Turing Memorial Lecture

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling
Randell, B., Beder, D.M. and Romanovsky, A. et. al.
ACM SIGOPS Operating Systems Review Vol. 34, Issue 4, pp 21-31
ACM Press, New York, 2000 ISSN 0163-5980

pdf

Concurrent Exception Handling and Resolution in Distributed Object Systems
Xu, J., Romanovsky, A. and Randell, B.
IEEE Transactions on Parallel and Distributed Systems Vol. 11, Issue 10, pp 1019-1032
IEEE Computer Society, 2000 ISSN 1045-9219

pdf

Business at War
Benjamin, R., Gladman, B. and Randell, B.
The Computer Bulletin Vol. 1, Issue 6, pp 23-28
Oxford University Press/British Computer Society, 1999 ISSN 0010-4531

Coordinated Exception Handling in Real-Time Distributed Object Systems
Romanovsky, A., Xu, J. and Randell, B.
Computer Systems Science and Engineering (Special Issue on Object-Oriented Real-Time Distributed Systems) Vol. 14, Issue 4, pp 197-207
CRL Publishing Ltd., Leicester, 1999 ISSN 0267-6192

Using Co-ordinated Atomic Actions to Design Complex Safety-Critical Systems: A Production Cell Case Study
Zorzo, A.F., Romanovsky, A. and Xu, J. et. al.
Software: Practice and Experience Vol. 29, Issue 8, pp 677-697
John Wiley & Sons, 1999 ISSN 0038-0644

pdf

Protecting IT Systems from Cyber Crime (Feature article)
Benjamin, R., Gladman, B. and Randell, B.
The Computer Journal Vol. 41, Issue 7, pp 429-443
Oxford University Press/British Computer Society, 1998 ISSN 0010-4620

Memories of the NATO Software Engineering Conferences
Randell, B.
IEEE Annals of the History of Computing Vol. 20, Issue 1, pp 51-54
IEEE Computer Society, 1998 ISSN 1058-6180

pdf

Implementation of Blocking Coordinated Atomic Actions Based on Forward Error Recovery
Romanovsky, A., Randell, B. and Stroud, R.J. et. al.
Journal of Systems Architecture (Special Issue on Dependable Parallel Computing Systems) Vol. 43, Issue 10, pp 687-699
Elsevier Science BV (North-Holland), 1997 ISSN 1383-7621

pdf

Software Fault Tolerance: t/(n–1)-Variant Programming
Xu, J. and Randell, B.
IEEE Transactions on Reliability Vol. 46, Issue 1, pp 60-68
IEEE Reliability Society, 1997 ISSN 0018-9529

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)
Randell, B.
Computing Reviews Vol. 38, Issue 11, pp 558-559
ACM Press, New York, 1997 ISSN 0010-4884

Charles Babbage and the Anglo-American Copyright Dispute
Randell, B.
IEEE Annals of the History of Computing Vol. 18, Issue 3, pp 56
IEEE Computer Society, 1996 ISSN 1058-6180

pdf

Review of ‘“The Reservisor Automated Airline Reservation System: combining communications and computing” by J. Eklund (Review no. 0263)
Randell, B.
Computing Reviews Vol. 35, Issue 6, pp 220
ACM Press, New York, 1995 ISSN 0010-4884

The Origins of Computer Programming
Randell, B.
IEEE Annals of the History of Computing Vol. 16, Issue 4, pp 6-14
IEEE Computer Society, 1994 ISSN 1058-6180

The Duality of Fault-tolerant System Structures
Shrivastava, S.K., Mancini, L. and Randell, B.
Software: Practice and Experience Vol. 23, Issue 7, pp 773-798
John Wiley & Sons, 1993 ISSN 0038-0644

Personal Ancestral File and Reunion - Two Genealogical Database Management Systems for the Apple Macintosh
Randell, B.
Computers in Genealogy Vol. 4, Issue 10, pp 424-437
Society of Genealogists, 1993 ISSN 0263-3248

Personal Ancestral File and REUNION
Randell, B.
Computers in Genealogy Vol. 4, Issue 10, pp 424-437
Society of Genealogists, 1993 ISSN 0263-3248

Reunion at Bletchley Park
Randell, B.
IEEE Annals of the History of Computing Vol. 14, Issue 2, pp 51-53
IEEE Computer Society, 1992 ISSN 1058-6180

pdf

Predictably Dependable Computing Systems: Final Report
Randell, B. and Laprie, J.-C.
Bulletin of EATCS Vol. 48, Issue Oct., pp 55-87
European Association for Theoretical Computer Science, 1992 ISSN 0252-9742

Review of “Marks on Paper, part 1: A historical survey of computer output printing” by I.L. Wieselman and E. Tomash (Review no. 0047)
Randell, B.
Computing Reviews Vol. 33, Issue 1, pp 78
ACM Press, New York, 1992 ISSN 0010-4884

Predictably Dependable Computing Systems: Second Year Report
Randell, B. and Laprie, J.-C.
Bulletin of EATCS Vol. 44, Issue Jun., pp 61-86
European Association for Theoretical Computer Science, 1991 ISSN 0252-9742

Le Coupable n'est pas la technologie
Randell, B.
La Lettre de la Sûreté de Fonctionnement Vol. 13, pp 3-4
Genie Industriel Multimedia, 1990 ISSN 1163-3867

Súrété de Fonctionnement et Défauts du Logiciel: Minimiser les risques et éviter les responsabilités
Randell, B.
La Lettre de la Sûreté de Fonctionnement Vol. 13, pp 3-4
Genie Industriel Multimedia, 1990 ISSN 1163-3867

Predictably Dependable Computing Systems: An ESPRIT Basic Research Project
Dobson, J.E., Laprie, J.-C. and Randell, B.
Bulletin of EATCS Vol. 40, Issue Feb., pp 100-116
European Association for Theoretical Computer Science, 1990 ISSN 0252-9742

Viewpoint: Program Verification: Public Image and Private Reality
Dobson, J.E and Randell, B.
Communications of the ACM Vol. 32, Issue 4, pp 420-422
ACM Press, New York, 1989 ISSN 0001-0782

pdf

The Architecture of UNIX United
Black, J.P., Marshall, L.F. and Randell, B.
Proceedings of the IEEE (Special Issue on Distributed Database Systems) Vol. 75, Issue 5, pp 709-718
IEEE Press, 1987 ISSN 0018-9219

Error Recovery in Asynchronous Systems
Campbell, R.H. and Randell, B.
IEEE Transactions on Software Engineering Vol. 12, Issue 8, pp 811-826
IEEE Computer Society, 1986 ISSN 0098-5589

System Design and Structuring
Randell, B.
The Computer Journal Vol. 29, Issue 4, pp 300-306
Oxford University Press/British Computer Society, 1986 ISSN 0010-4620

pdf

Hardware/Software Trade-offs: A general design principle?
Randell, B.
Computer Architecture News Vol. 13, Issue 2, pp 19-21
ACM Press, New York, 1985 ISSN 0163-5964

Interfacing UNIX to Data Communications Networks
Panzieri, F. and Randell, B.
IEEE Transactions on Software Engineering Vol. 11, Issue 10, pp 1016-1032
IEEE Computer Society, 1985 ISSN 0098-5589

Reliable Computing in a UNIX United Environment
Bennett, K.H., Marshall, L.F. and Randell, B.
Computer Architecture Technical Committee Newsletterpp 23-38
IEEE Computer Society, 1985

Coping with Complexity in Systems Development
Randell, B.
InterMedia Vol. 12, Issue 4/5, pp 84-85
Intermedia, 1984 ISSN 0147-5754

A Distributed Secure System
Rushby, J.M. and Randell, B.
IEEE Computer Vol. 16, Issue 7, pp 55-67
IEEE Computer Society, 1983 ISSN 0018-9162

pdf

A Mysterious Advertisement
Randell, B.
Annals of the History of Computing Vol. 5, Issue 1, pp 60-63
American Federation of Information Processing Societies, 1983 ISSN 1058-6180

pdf

The Newcastle Connection, or - UNIXes of the World Unite!
Brownbridge, D.R., Marshall, L.F. and Randell, B.
Software: Practice and Experience Vol. 12, Issue 12, pp 1147-1162
John Wiley & Sons, 1982 ISSN 0038-0644

From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres and Bush
Randell, B.
IEEE Annals of the History of Computing Vol. 4, Issue 4, pp 327-341
IEEE Computer Society, 1982 ISSN 1058-6180

Review of “History of Programming Languages” ed. by R. L. Wexelblat
Randell, B.
ScienceIssue 214, pp 4519
American Association for the Advancement of Science, 1981 ISSN 1095-9203

A Formal Model of Atomicity in Asynchronous Systems
Best, E. and Randell, B.
Acta Informatica Vol. 16, pp 93-124
Springer-Verlag Germany, 1981 ISSN 0001-5903

An Annotated Bibliography on the Origins of Digital Computers
Randell, B.
IEEE Annals of the History of Computing Vol. 1, Issue 2, pp 101-207
IEEE Computer Society, 1979 ISSN 1058-6180

Review of “Pioneers of Computer: A Series of Archival Recordings” by C. Evans
Randell, B.
Computing Reviews Vol. 19, pp 221
ACM Press, New York, 1978 ISSN 0010-4884

Error Recovery in Distributed Computing Systems
Randell, B.
The Computer Bulletin Vol. 2, pp 10
Oxford University Press/British Computer Society, 1978 ISSN 0010-4531

Reliability Issues in Computing System Design
Randell, B., Lee, P.A. and Treleaven, P.C.
ACM Computing Surveys Vol. 10, Issue 2, pp 123-165
ACM Press, New York, 1978 ISSN 0360-0300

COLOSSUS: Godfather of the computer
Randell, B.
New Scientist Vol. 73, Issue 1038, pp 346-348
New Science Publications, 1977 ISSN 0028-6664

The History of Digital Computers
Randell, B.
Bull. Inst. of Mathematics and its Applications Vol. 12, Issue 11/12, pp 335-346
1976

Process Structuring
Horning, J.J. and Randell, B.
ACM Computing Surveys Vol. 5, Issue 1, pp 5-30
ACM Press, New York, 1973 ISSN 0360-0300

Special Issue on Third ACM Symposium on Operating Systems Principles
Denning, P.J. and Randell, B. (eds.)
Communications of the ACM Vol. 15, Issue 3, pp 131-203
ACM Press, New York, 1972 ISSN 0001-0782

Performance Predictions for Extended Paged Memories
Coffman, E.G. and Randell, B.
Acta Informatica Vol. 1, Issue 1, pp 1-13
Springer-Verlag Germany, 1971 ISSN 0001-5903

Ludgate's Analytical Machine of 1909
Randell, B.
The Computer Journal Vol. 14, Issue 3, pp 317-326
Oxford University Press/British Computer Society, 1971 ISSN 0010-4620

Minority Report
Dijkstra, E.W., Duncan, F.G., Garwick, J.V., Hoare, C.A.R., Randell, B., Seegmueller, G., Turski, W.M. and Woodger, M.
ALGOL Bulletin Vol. 31, pp 7
IFIP Working Group 2.1 on ALGOL, 1970

pdf

Towards a Methodology of Computing System Design
Randell, B.
Software Engineeringpp 204-208
1969

A Note on Storage Fragmentation and Program Segmentation
Randell, B.
Communications of the ACM Vol. 12, Issue 7, pp 365-369, 372
ACM Press, New York, 1969 ISSN 0001-0782

Dynamic Storage Allocation Systems
Randell, B. and Kuehner, C.J.
Communications of the ACM Vol. 11, Issue 5, pp 297-306
ACM Inc., 1968 ISSN 0001-0782

pdf

Review of “Translation of ALGOL 60” by A. A. Grau et al (Review no. 14958)
Randell, B.
Computing Reviews Vol. 9, pp 452
ACM Press, New York, 1968 ISSN 0010-4884

Review of “Description of ALGOL 60” by H. Rutishauser (Review no. 14821)
Randell, B.
Computing Reviews Vol. 9, pp 415-416
ACM Press, New York, 1968 ISSN 0010-4884

Review of “Hardware Factors for Real-Time Systems” by E. Yourdon (Review no. 14499)
Randell, B.
Computing Reviews Vol. 9, pp 333
ACM Press, New York, 1968 ISSN 0010-4884

Review of “The Design of a Modular Real-Time Supervisor” by E. Yourdon (Review no. 14513)
Randell, B.
Computing Reviews Vol. 9, pp 338
ACM Press, New York, 1968 ISSN 0010-4884

Review of “AMTRAN, a Remote Terminal, Conversational-Mode Computer System” by J. Reinfelds et al (Review no. 11204)
Randell, B.
Computing Reviews Vol. 8, Issue 1, pp 49
ACM Press, New York, 1967 ISSN 0010-4884

Review of “Introduction to ALGOL Programming” by T. Ekman and C-E. Froberg (Review no. 10460)
Randell, B.
Computing Reviews Vol. 7, pp 412
ACM Press, New York, 1966 ISSN 0010-4884

Review of “TALK - A high level source language debugging technique with real-time data extraction” by R. L. ver Steeg (Review no. 6950)
Randell, B.
Computing Reviews Vol. 6, Issue 1, pp 30
ACM Press, New York, 1965 ISSN 0010-4884

Review of “The Efficient Administration of Blocks in ALGOL” by P. A. Samet (Review no. 8858)
Randell, B.
Computing Reviews Vol. 6, Issue 3, pp 398
ACM Press, New York, 1965 ISSN 0010-4884

Review of “An Introduction to ALGOL Programming” by R. Wooldridge and J. F. Ratcliffe
Randell, B.
The Computer Bulletin Vol. 7, Issue 4, pp 136-137
Oxford University Press/British Computer Society, 1964 ISSN 0010-4531

Single-Scan Techniques for the Translation of Arithmetic Expressions into Algol 60
Randell, B. and Russell, L.J.
Journal of the ACM Vol. 11, Issue 2, pp 159-167
ACM Press, New York, 1964 ISSN 0004-5411

Whetstone Algol Revisited, or Confessions of a Compiler Writer
Randell, B.
APIC BulletinIssue 21,
Automatic Programming Information Centre, College of Technology, Brighton, 1964

Certification of Algorithms 63, 64 and 65: Partition, Quicksort and Find
Randell, B.
Communications of the ACM Vol. 6, Issue 8, pp 446
ACM Press, New York, 1963 ISSN 0001-0782

Review of “Process for an ALGOL Translator by G. van der Mey
Randell, B.
APIC BulletinIssue 18, pp 9-11
Automatic Programming Information Centre, College of Technology, Brighton, 1963

Review of “Machine Independent Computer Programming” by M. H. Halstead
Randell, B.
APIC BulletinIssue 17, pp 39-41
Automatic Programming Information Centre, College of Technology, Brighton, 1963

Certification of Algorithm 50: Inverse of a Finite Segment of the Hilbert Matrix
Randell, B.
Communications of the ACM Vol. 5, Issue 1, pp 50
ACM Press, New York, 1962 ISSN 0001-0782

Certification of Algorithm 66: INVRS
Randell, B. and Broyden, C.G.
Communications of the ACM Vol. 5, Issue 1, pp 50
ACM Press, New York, 1962 ISSN 0001-0782

Books and Chapters

Basic Concepts and Taxonomy of Dependable and Secure Computing
Avizienis, A., Laprie, J.-C., Randell, B. et al.
In A Process for Developing a Common Vocabulary in the Information Security Area,
von Knop, J., Salnikov, A.A., and Yaschenko. V.V. (eds.), pp 10-51
NATO Science for Peace and Security Series E, 23
IOS Press, 2007, ISBN 978-1-58603-756-7
Notes : Originally published in IEEE Transactions on Dependable and Secure Computing Vol. 1, No. 1, IEEE, 2004, pp. 11-33.

Foreword
Randell, B.
In Advanced Topics in Exception Handling Techniques,
Dony, C., Knudsen, J.L., Romanovsky, A., and Tripathi, A. (eds), Lecture Notes in Computer Science, 4119
Springer, 2006, ISBN 3-540-37443-4

pdf

The role of structure: a dependability perspective
Jones, C.B. and Randell, B.
In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective,
Besnard, D., Gacek , C. and Jones, C.B.(eds), pp 3-15
Springer, 2006, ISBN 1-84628-110-5

Dependability, Structure and Infrastructure
Randell, B.
In Cyberspace Security and Defense: Research Issues,
Kowalik, J.S., Gorski, J. and Sachenko, A. (eds), pp 143-160
NATO Science Series II, 196
Springer, 2005, ISBN 1-4020-3380-X

pdf

Dependable Pervasive Systems
Jones, C.B. and Randell, B.
In Trust and Crime in Information Societies,
Mansell. R. and Collins, B.S. (eds), pp 59-91
Edward Elgar Publishing, 2005, ISBN 1-84542-177-9
Notes : Commissioned contribution to the Foresight Project on Cyber Trust and Crime Prevention of the UK Government's Office of Science and Technology

Brief encounters
Randell, B.
In Computer Systems: Theory, Technology and Applications,
Herbert, A. and Sparck Jones, K. (eds.), pp 229-235
Monographs in Computer Science, Gries, D. and Schneider, F.B. (eds.)
Springer, 2004, ISBN 0-387-20170-X

pdf

The New Electronic Technology
Randell, B.
In From 0 to 1: An Authoritative History of Modern Computing,
Akera, A., Nebeker, F. (ed.), pp 41-50
Oxford University Press, 2002, ISBN 0-19-514025-7

TLA Specification of a Mechanism for Concurrent Exception Handling
Zorzo, A.F., Randell, B. and Romanovsky, A.
In Concurrency in Dependable Computing,
Ezhilchelvan, P. and Romanovsky, A. (eds.), pp 41-59
Kluwer Academic Publishers, Boston, 2002, ISBN 1-4020-7043-8

pdf

La Filiation des Machines a Calculer Contemporain
Randell, B.
In Histoire Generale des Techniques, V. Les Techniques de la Civilisation Industrielle: Transformation, Communication, Facteur Humain,
Dumas, M. (ed), Presses Universitaires de France, Paris, 1996,

Predictably Dependable Computing Systems
Randell, B., Laprie, J.-C., Kopetz, H. and Littlewood, B. (eds.)
ESPRIT Basic Research Series,
Springer-Verlag, Brussels, 1995, ISBN 3-540-59334-9

From Recovery Blocks to Concurrent Atomic Actions
Randell, B., Romanovsky, A., Rubira-Calsavara, C.M.F., Stroud, R.J., Wu, Z. and Xu, J.
In Predictably Dependable Computing Systems,
Randell, B., Laprie, J-C., Kopetz, H. and Littlewood, B. (eds.), pp 87-101
ESPRIT Basic Research Series,
Springer-Verlag, Brussels, 1995, ISBN 3-540-59334-9

Software 2000: A View of the Future
Randell, B., Ringland, G. and Wulf, W.A.
Commission of the European Communities, Brussels, 1994, ISBN n/a

Toward an Object-Oriented Approach to Software Fault Tolerance
Xu, J., Randell, B., Rubira, C.M.F. and Stroud, R.J.
In Fault-Tolerant Parallel and Distributed Systems,
Avresky, D.R. (ed), IEEE Press, 1994, ISBN 0-7923-8069-X

Recovery Blocks
Randell, B. and Xu, J.
In Encyclopedia of Software Engineering, Vol 2,
Marciniak, J.J. (ed.-in-chief), pp 1037-1038
Wiley, New York, 1994, ISBN 0-471-21007-2

The Evolution of the Recovery Block Concept
Randell, B. and Xu, J.
In Software Fault Tolerance,
Lyu, M. (ed), pp 1-22
Trends in Software,
Wiley, 1994, ISBN 0-471-95068-8

Dependable Computing for Critical Applications: 3
Landwehr, C.E., Randell, B. and Simoncini, L. (eds.)
Dependable Computing and Fault Tolerant Systems, 3
Springer-Verlag, 1993, ISBN 3-211-82481-2

Dependability: Basic Concepts and Terminology
Anderson, T., Avizienis, A. and Carter, W.C., et. al.
Dependable Computing and Fault-Tolerant Systems, 5 Laprie, J.-C. (ed)
Springer-Verlag, New York, 1992, ISBN 3-211-82296-8

System Dependability
Randell, B.
In Future Tendencies in Computer Science, Control and Applied Mathematics,
Bensoussan, A. and Verjus, J.-P. (eds.), pp 21-50
Lecture Notes in Computer Science, 653
Springer-Verlag, 1992, ISBN 3-540-56320-2

Coping with the Past
Randell, B.
In Operating Systems of the 90s and Beyond,
Karshmer, A. and Nehmer, J. (eds.), pp 72-76
Lecture Notes in Computer Science, 563
Springer-Verlag, Berlin, 1991, ISBN 3-540-54987-0

Epilogue
Randell, B.
In A Computer Perspective: Background to the Computer Age,
Eames, C. and Eames, R., pp 161-163
Harvard Univ. Press, Cambridge, MA, 1990, ISBN 0-674-15626-9

pdf

System Design and Structuring for Dependability
Randell, B.
In Resilient Computing Systems,
Anderson, T. (ed), pp 29-43
Collins & Wiley, 1990, ISBN 0-471-85426-3

Foreword
Randell, B.
In Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra,
Feijen, W.H.J., van Gasteren, A.J.M., Gries, D. and Misra, J. (eds.), Monographs in Computer Science, 453 Gries, D., and Schneider, F.B.(eds)
Springer-Verlag, New York, 1990, ISBN 0-387-97299-4

pdf

Design Fault Tolerance
Randell, B.
In The Evolution of Fault-Tolerant Computing,
Avizienis, A., Kopetz, H. and Laprie, J.-C. (eds.), pp 251-270
Springer-Verlag, 1987, ISBN 3-211-81941-X

Recursively Structured Fault-Tolerant Distributed Computing Systems
Randell, B.
In Software System Design Methods,
Skwirzynski, J.K. (ed), pp 35-52
NATO ASI Series: Series F, Computer and Systems Sciences, 22
Springer-Verlag, 1986, ISBN 0-387-16765-X

Operating Systems for the IBM PC
Alty, J., Brooks, A. and Randell, B.
In The Research and Academic Users Guide to the IBM Personal Computer,
Barnetson, P. (ed), pp 13-25
IBM United Kingdom Limited, 1985,

Comments on “Memorandum on Mechanical Solution of Partial Differential Equations”
Randell, B.
In Norbert Wiener: Collected Works, Vol. IV,
Masani, P. (ed), pp 135
Mathematicians of our time, 23
MIT Press, 1985, ISBN 0-262-23123-9

Introduction
Randell, B.
In Reliable Computer Systems: Collected Papers of the Newcastle Reliability Project,
Shrivastava, S.K. (ed), Monographs in Computer Science, Gries, D., and Schneider, F.B.(eds)
Springer-Verlag, Heidelberg, 1985, ISBN 3-540-15256-3

VLSI Architecture
Randell, B. and Treleaven, P.C. (eds.)
Prentice Hall International, 1982, ISBN 0-13-942672-8

The Origins of Digital Computers: Selected Papers (3rd ed.)
Randell, B. (ed)
Monographs in Computer Science, 580 Gries, D., and Schneider, F.B.(eds)
Springer-Verlag, Heidelberg, 1982, ISBN 3-540-11319-3

Foreword
Randell, B.
In Fundamentals of Computer Architecture,
Stone, H. (ed), Science Research Associates, 1980,

The COLOSSUS
Randell, B.
In A History of Computing in the Twentieth Century,
Metropolis, N. et.al. (eds.), pp 47-92
Academic Press, New York, 1980, ISBN 0-12-491650-3

Computing Systems Reliability
Anderson, T. and Randell, B. (eds.)
Cambridge University Press, New York, 1979, ISBN 0-521-2276-74

La Genese des Calculateurs Electroniques
Randell, B.
In Histoire Generale des Techniques V. Les Techniques de la Civilisation Industrielle,
Perrot, M. et. al. (eds.), Presses Universitaires de France, Paris, 1979,

System Reliability and Structuring
Randell, B.
In Computing Systems Reliability,
Anderson, T. and Randell, B. (eds.), pp 1-18
Cambridge University Press, New York, 1979, ISBN 0-521-22767-4

Reliable Computing Systems
Randell, B., Lee, P.A. and Treleaven, P.C.
In Operating Systems: An Advanced Course,
Flynn, M.J., Gray, J. and Jones, A.K. et. al. (eds.), pp 283-393
Lecture Notes in Computer Science, 60
Springer-Verlag, 1978, ISBN 0-387-08755-9

Software Engineering: Concepts and Techniques
Naur, P., Randell, B. and Buxton, J.N.
Petrocelli/Charter, New York, 1976, ISBN 0-88405-334-2

Digital Computers: Origins
Randell, B.
In Encyclopaedia of Computer Science,
Ralston, A. and Meek, C. L. (eds.), pp 532-535
Petrocelli/Charter Publishers, New York, 1976, ISBN 0-88405-321-0

pdf

System Reliability: Interaction of operating system and machine
Randell, B.
In INFOTECH State of the Art Report on Computer Design,
pp 369-384
INFOTECH State of the Art Reports, 17
Infotech Information, Maidenhead, 1974, ISBN 0-85539-160-X

Thrashing in a Multi-programmed Paging System
Alderson, A., Lynch, W.C. and Randell, B.
In Operating Systems Techniques,
Hoare, C.A.R. and Perrott, R.H. (eds.), pp 152-167
APIC Studies in Data Processing, 9
Academic Press, 1972, ISBN 0-12-350650-6

On Alan Turing and the Origins of Digital Computers
Randell, B.
In Machine Intelligence, 7,
Meltzer, B. and Michie, D. (eds.), pp 3-20
Edinburgh University Press, 1972, ISBN 0-85224-234-4

pdf

Large Program Design Methodology
Randell, B.
In Efficient Production of Large Programs,
Turski, W. (ed), pp 35-38
Computation Centre of the Polish Academy of Sciences, Warsaw, 1971,

The Gentle Art of Programming: Inaugural Lecture, University of Newcastle upon Tyne
Randell, B.
University of Newcastle upon Tyne, 1970,

pdf

ALGOL 60 Implementation: the Translation and Use of ALGOL 60 Programs on a Computer
Randell, B. and Russell, L.J.
A.P.I.C. Studies in Data Processing, 5 Goodman, R. (ed.)
Academic Press, 1964, ISBN 12-578150-4

The Whetstone KDF9 Algol Translator
Randell, B.
In Introduction to System Programming,
Wegner, P. (ed), pp 122-136
Academic Press, London, 1964,

pdf

Conference Papers

Distributed Secure Systems: Then and Now
Randell, B. and Rushby, J.
In Proceedings. Twenty-Third Annual Computer Security Applications Conference, ACSAC 2007, 10-14 December 2007, Miami Beach, Florida
pp 177-198
IEEE Computer Society, 2007

Failures: Their Definition, Modelling and Analysis
Randell, B. and Koutny, M.
In Theoretical Aspects of Computing - ICTAC 2007. 4th International Colloquium, Macao, China, September 26-28, 2007
Jones, C.B., Liu, Z. and Woodcock, J. (eds.)
Lecture Notes in Computer Science, 4711, pp 260-274
Springer-Verlag, 2007

The ReSIST Resilience Knowledge Base
Anderson, T., Andrews, Z.H., Fitzgerald, J.S., Randell, B. et al.
In 37th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK
pp 362-363
IEEE Computer Society, 2007
Notes : Fast abstract in DSN 2007 Supplemental volume

A Systematic Classification of Cheating in Online Games
Yan, J. and Randell, B.
In 4th ACM SIGCOMM Workshop on Network and System Support for Games (NetGames05), Hawthorne, NY, October 10-11, 2005
pp 1-9
ACM Press, 2005
Notes : Session: cheating and fairness. pp.1-9

Dependability and its Threats: A Taxonomy
Avizienis, A., Laprie, J.C., and Randell, B.
In Building the Information Society: Proc. IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse, France
Jacquart, R. (ed)
pp 91-120
Kluwer Academic Publishers, 2004

Wrapping the Future
Anderson, T., Randell, B., and Romanovsky, A.
In Building the Information Society: Proc. IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse, France
Jacquart, R. (ed)
pp 165-173
Kluwer Academic Publishers, 2004

Edsger Dijkstra
Randell, B.
In 9th IEEE Int. Workshop on Object-Oriented Real-Time DependableSystems
Bacellar, L., Kim, K.H., Russo, S.
pp 3-8
IEEE Computer Society, 2003

pdf

On Failures and Faults
Randell, B.
In FME 2003: Formal Methods, Pisa, Italy
Araki, K., Gnesi, S., Mandrioli, D.
Lecture Notes in Computer Science, 2805, pp 18-39
Springer-Verlag, 2003ISBN 3-540-40828-2

A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software
Xu, J., Randell, B. and Romanovsky, A.
In 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002), Washington DC, USA, 29 April-01 May 2002
Bacellar, L., Puschner, P. and Hong, S. (eds.)
pp 207-214
IEEE Computer Society Press, 2002ISBN 0-7695-1558-4

pdf

On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems
Beder, D.M., Randell, B., Romanovsky, A. and Rubira, C.M.F.,
In 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, 2-4 May 2001
pp 103-112
IEEE Computer Society Press, 2001ISBN 0-7695-1089-2

pdf

DSoS (Dependable Systems of Systems)
Randell, B., Stroud, R., Jones, C. et. al.
In 2001 International Conference on Dependable Systems and Networks (DSN-2001), Gothenburg, Sweden, 1-4 July 2001
pp D28-D31
IEEE Computer Society Press, 2001ISBN 0-7695-1101-5

MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)
Powell, D., Adelsbach, A., Cachin, C. et. al
In 2001 International Conference on Dependable Systems and Networks (DSN-2001), Gothenburg, Sweden, 1-4 July 2001
pp D32-D35
IEEE Computer Society Press, 2001ISBN 0-7695-1101-5

Fundamental Concepts of Dependability
Avizienis, A., Laprie, J.-C. and Randell, B.
In 3rd IEEE Information Survivability Workshop (ISW-2000), Boston, Massachusetts, USA, October 24-26, 2000
pp 7-12
Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, 2000

pdf

Fault Tolerance in Decentralized Systems
Randell, B.
In 4th International Symposium on Autonomous Decentralized Systems (ISADS '99), Tokyo, Japan, 20-23 March 1999
pp 174-179
IEEE Computer Society Press, 1999ISBN 0-7695-0137-0

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions
Xu, J., Randell, B. and Romanovsky, A. et. al.
In 29th International Symposium on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, 15–18 June 1999
pp 68-75
IEEE Computer Society Press, 1999ISBN 0-7695-0213-X

pdf

Developing Control Software for Production Cell II: Failure Analysis and System Design Using CA Actions
Xu, J., Randell, B., Romanovsky, A. et. al
In 3rd International Workshop on Design for Validation, Louvain-La-Neuve, 1998
1998

Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation
Xu, J., Romanovsky, A. and Randell, B.
In 18th IEEE International Conference on Distributed Computing Systems (ICDCS '98) , Amsterdam, The Netherlands, 26-29 May 1998
pp 12-21
IEEE Computer Society Press, 1998ISBN 0-8186-8292-2

pdf

Dependability - A Unifying Concept
Randell, B.
In Workshop on Computer Security, Dependability and Assurance: From Needs to Solutions, Williamsburg, VA , USA, November 1998
Amman, P. (ed)
pp 16-25
IEEE Computer Society Press, Los Alamitos, CA, 1998ISBN 0-7695-0337-3

Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed Systems
Xu, J., Randell, B., Romanovsky, A. and Stroud, R.J.
In International Symposium on Special Topics of Computers, China
pp 53-59
1998

Exception Handling in Object-Oriented Real-Time Distributed Systems
Romanovsky, A., Xu, J. and Randell, B.
In 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '98), Kyoto, Japan, 20-22 April 1998
pp 32-42
IEEE Computer Society Press, 1998ISBN 0-8186-8430-5

pdf

Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems
Zorzo, A.F., Romanovsky, A., Xu, J. , Randell, B., Stroud, R. and Welch, I.
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 '97), Atlanta, 5-9 October 1997
ACM, 1997

pdf

Exception Handling and Resolution in Distributed Object-Oriented Systems
Romanovsky, A., Xu, J. and Randell, B.
In 16th IEEE International Conference on Distributed Computing Systems (ICDCS '96), Hong Kong, China, 27-30 May 1996
pp 545-552
IEEE Computer Society Press, 1996ISBN 0-8186-7398-2

Roll-Forward Error Recovery in Embedded Real-Time Systems
Xu, J. and Randell, B.
In 1996 IEEE International Conference on Parallel and Distributed Systems (ICPADS '96), Tokyo, Japan, 3-6 June 1996
pp 414-421
IEEE Computer Society Press, 1996ISBN 0-8186-7267-6

Experimental Evaluation of Fault-Tolerant Mechanisms for Object-Oriented Software
Zorzo, A., Xu, J. and Randell, B.,
In 23rd Brazilian Software and Hardware Seminars, Recife, Brazil
pp 457-468
1996

Implementing Software-Fault Tolerance in C++ and Open C++
Xu, J., Randell, B. and Zorzo, A.F.
In 1996 International Workshop on Computer-Aided Design, Test, and Evaluation for Dependability (CADTED '96), Beijing, China, 1996
Min, Y. and Tang, D. (eds.)
pp 224-229
International Academic Publishers, Beijing, 1996ISBN 7-80003-364-3

Object-Oriented Environmental Fault Tolerance
Rubira, C.M.F. and Randell, B.
In 6° Sympósio de Computadores Tolerantes a Falhas, XV Congresso da Sociedade Brasileira de Computação, Brazil
pp 417-439
Instituto de Informática, Universidade Federal do Rio Grande do Sul, 1995

Le projet COLOSSUS et la seconde guerre mondiale
Randell, B.
In Quatrième colloque: "Histoire de l'informatique", Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Campus de Beaulieu, Rennes, France, 14-16 November 1995
IRISA, France, 1995

Software Dependability: A Personal View
Randell, B.
In 25th International Symposium on Fault-Tolerant Computing (FTCS-25), Pasadena, California, USA, 27-30 June 1995
pp 35-41
IEEE Computer Society Press, 1995ISBN 0-8186-7079-7
Notes : Invited Paper

Fault Tolerance and Security
Randell, B.
In 4th IFIP WG10.4 International Working Conference on Dependable Computing for Critical Applications (DCCA-4), San Diego, CA, USA, January 1994
Cristian, F., Le Lann, G. and Lunt, T. (eds.)
Dependable Computing and Fault-Tolerant Systems, 9, pp 257-259
Springer-Verlag, 1995ISBN 3-211-82649-1

Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery
Xu, J., Randell, B. and Romanovsky, A. et. al.
In 25th International Symposium on Fault-Tolerant Computing (FTCS-25), Pasadena, California, USA, 27-30 June 1995
pp 499-508
IEEE Computer Society Press, 1995ISBN 0-8186-7079-7

Some Lessons from the SW2000 Workshop
Randell, B.
In 1st European Dependable Computing Conference (EDCC-1), Berlin, Germany, 4-6 October 1994
Echtle, K., Hammer, D.K. and Powell, D. (eds.)
Lecture Notes in Computer Science, 852, pp 414-416
Springer-Verlag, 1994ISBN 3-540-58426-9

Designing Secure and Reliable Applications Using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach
Fabre, J.-C., Deswarte, Y. and Randell, B.
In 1st European Dependable Computing Conference (EDCC-1), Berlin, Germany, 4-6 October 1994
Echtle, K., Hammer, D.K. and Powell, D. (eds.)
Lecture Notes in Computer Science, 852, pp 21-38
Springer-Verlag, 1994ISBN 3-540-58426-9

Approaches to Software Fault Tolerance
Randell, B.
In CNRS-LAAS 25th Anniversary Conference
pp 33-42
Cépaduès-Éditions, Toulouse, France, 1993

Object-Oriented Software Fault Tolerance: Framework, reuse and design diversity
Randell, B. and Xu, J.
In 1st PDCS2 Open Workshop, Toulouse, France
pp 165-184
1993

An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems
Fabre, J.-C. and Randell, B.
In 2nd European Symposium on Research in Computer Security (ESORICS 92), Toulouse, France, 23-25 November 1992
Deswarte, Y., Eizenberg, G. and Quisquater, J.-J. (eds.)
Lecture Notes in Computer Science, 648, pp 193-208
Springer-Verlag, 1992ISBN 3-540-56246-X

Fault and Intrusion Tolerance in Object-Oriented Systems
Randell, B. and Fabre, J.C.
In Int. Workshop on Object-Orientation in Operating Systems, Palo Alto, CA, USA
pp 180-184
IEEE Technical Committee on Operating Systems and Application Environments (TCOS), 1991

Improvement of Data Processing Security by Means of Fault Tolerance
Trouessin, G., Deswarte, Y., Fabre, J.C. and Randell, B.
In 14th National Computer Security Conference, Washington, USA

1991

European Research in Distributed Computing Systems: A personal perspective
Randell, B.
In 10th IEEE Symposium on Reliable Distributed Systems, Pisa, Italy, 30 September - 2 October 1991
IEEE Computer Society Press, 1991ISBN 0-8186-2260-1
Notes : Invited keynote speech

Can Design Faults be Tolerated?
Randell, B.
In 11th IFIP World Computer Congress: Information Processing 89, San Francisco, CA, USA, 28 Aug - 1 Sept , 1989
Ritter, G. (ed)
pp 499
North-Holland/IFIP, 1989ISBN 0-444-88015-1

ESPRIT Basic Research Actions
Randell, B.
In IT Forum at the 4th ESPRIT Conference: Achievements and Impacts (Esprit '87), Brussels, Belgium, 30 September 1987
Commission of the European Communities: Directorate-General Telecommunications, Information Industries and Innovation (eds.)
pp 89-92
Elsevier Science BV (North-Holland), 1987

On the Duality of Fault-Tolerant System Structures
Shrivastava, S.K., Mancini, L.V. and Randell, B.
In International Workshop on Experiences with Distributed Systems, Kaiserslautern, Germany, 28-30 September 1987
Nehmer, J. (ed)
Lecture Notes in Computer Science, 309, pp 19-37
Springer-Verlag, 1987ISBN 3-540-19333-2

Building Reliable Secure Computing Systems out of Unreliable Insecure Components
Dobson, J.E. and Randell, B.
In Conference on Security and Privacy, Oakland, USA
pp 187-193
IEEE, 1986

Reliability and Security Issues in Distributed Computing Systems
Randell, B. and Dobson, J.E.
In 5th IEEE International Symposium on Reliability in Distributed Software and Database Systems, Los Angeles, USA, 13-15 January 1986
pp 113-118
IEEE Computer Society Press, 1986ISBN 0-8186-0690-8

A Fault-Tolerance Based Approach to System Security
Randell, B.
In Milcomp 86, London, United Kingdom, September 1986
pp 117-122
1986

The Newcastle Connection: A software subsystem for constructing distributed UNIX systems
Randell, B.
In CERN 1984 School of Computing, Aiguablava, Catalonia, Spain, September 1984
pp 74-87
1984

Fault Tolerance and System Structuring
Randell, B.
In 4th Jerusalem Conference on Information Technology: Next Decade in Information Technology (JCIT 1984), Jerusalem, Israel, 21-25 May 1984
pp 182-191
IEEE Computer Society Press, 1984ISBN 0-8186-0535-9

Practical Fault Tolerant Software for Asynchronous Systems
Campbell, R.H., Anderson, T. and Randell, B.
In 3rd IFAC/IFIP Workshop on Safety of Computer Control Systems: Achieving Safe Real Time Computer Systems, Cambridge, September 1983
Bayliss, J.A. (ed)
Ifac Proceedings Series, pp 59-65
Franklin Book Co., 1983ISBN 0-08-030563-6

Recursively Structured Distributed Computer Systems
Randell, B.
In 3rd IEEE Symposium on Reliability on Distributed Software and Database Systems, Clearwater Beach, Florida, USA, 17-19 October 1983
pp 3-11
IEEE Computer Society Press, 1983ISBN 0-8186-0301-4

Reliability and Integrity of Distributed Computing Systems: Progress Report 1978-80
Randell, B.
In 11th Annual International Symposium on Fault-Tolerant Computing (FTCS-11), Portland, Maine, June 1981
pp 14
IEEE Computer Society Press, 1981

pdf

Software Fault Tolerance
Randell, B.
In Euro IFIP 79. European Conference on Applied Information Technology, London, 25-28 September ,1979
Samet, P.A. (ed)
pp 721-724
North-Holland, 1979ISBN 0-444-85370-7

Software Engineering in 1968
Randell, B.
In 4th International Conference on Software Engineering, Munich, Germany, September 17-19, 1979
pp 1-10
IEEE Computer Society, 1979
Notes : Invited Paper

State Restoration in Distributed Systems
Merlin, P.M. and Randell, B.
In 8th International Conference on Fault-Tolerant Computing (FTCS-8), Toulouse, France, 21-23 June 1978
pp 129-134
IEEE Computer Society Press, 1978

Software Reliability: The role of programmed exception handling
Melliar-Smith, P.M. and Randell, B.
In ACM Conference on Language Design For Reliable Software, Raleigh, NC, USA, 1977
ACM SIGPLAN Notices (Issue 3), 12, pp 95-100
ACM Press, New York, 1977ISBN 0163-5948

System Structure for Software Fault Tolerance
Randell, B.
In International Conference on Reliable Software, Los Angeles, April 1975
ACM SIGPLAN Notices (Issue 6), 10, pp 437-449
ACM Press, New York, 1975

Computing System Reliability: Prospect and Retrospect
Randell, B.
In Meeting on Twenty years of Computer Science, Pisa, Italy, 16-19 June 1975
Calcolo, Supp. 1, X11, pp 1-4
1975

pdf

A Program Structure for Error Detection and Recovery
Horning, J.J., Lauer, H.C., Melliar-Smith, P.M. and Randell, B.
In International Symposium on Operating Systems: Theoretical and Practical Aspects, Rocquencourt, France, 23-25 April 1974
Gelenbe, E. and Kaiser, C. (eds.)
Lecture Notes in Computer Science, 16, pp 171-187
Springer-Verlag, 1974ISBN 3-540-06849-X

Operating Systems: The problems of performance and reliability
Randell, B.
In IFIP Congress 1971: Information Processing 71, Ljubljana, Yugoslavia, 23-28 August 1971
Freiman, C.V., Griffith, J.E. and Rosenfeld, J.L. (eds.)
Proceedings of IFIP Congress 71, 1, pp 281-290
North-Holland, 1972ISBN 0-7204-2063-6

Iterative Multi-Level modelling: A methodology for computer system design
Zurcher, F.W. and Randell, B.
In IFIP Congress 1968: Information Processing 68, Edinburgh, UK, 5-10 August 1968
Morrell, A.J.H. (ed)
Proceedings of IFIP Congress 68, 2, pp 867-871
North-Holland, 1968

Demand Paging in Perspective
Kuehner, C.J. and Randell, B.
In Fall Joint Computer Conference, San Francisco, USA
pp 1011-1018
1968

pdf

Patents

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
Cocke, J., Schorr, H., Randell, B., Sussenguth, E.
IBM, 1971, U.S. Patent No. 3,577,189

Conference Proceedings

Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27th-31st October 1969
Randell, B. and Buxton, J.N. (eds.)
Scientific Affairs Division, NATO, 1970

pdf

Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th-11th October 1968
Naur, P. and Randell, B. (eds.)
Scientific Affairs Division, NATO, 1969

pdf

School Technical Reports

CS-TR No 1342 A Turing Enigma
Randell, B.
School of Computing Science, Newcastle University, Apr 2010

pdf

CS-TR No 1200 Newcastle's French Connection
Randell, B.
School of Computing Science, Newcastle University, Apr 2012

CS-TR No 1190 Reminiscences of Whetstone ALGOL
Randell, B
School of Computing Science, Newcastle University, Feb 2010

CS-TR No 1170 Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence
Randell, B., Koutny, M.
School of Computing Science, Newcastle University, Sep 2009

CS-TR No 1162 Structured Occurence Nets: A formalism for aiding system failure prevention and analysis techniques
Randell, B., Koutny, M.
School of Computing Science, Newcastle University, Aug 2009

CS-TR No 1132 A Knowledge Base for Dependability and Security Research
Glaser, H., Millard, I., Anderson, T., Andrews, Z., Fitzgerald, J., Randell, B.
School of Computing Science, Newcastle University, Dec 2008

CS-TR No 1120 Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques
Koutny, M., Randell, B.
School of Computing Science, Newcastle University, Sep 2008

CS-TR No 1052 Distributed Secure Systems: Then and Now
Randell, B., Rushby, J. M.
School of Computing Science, Newcastle University, Oct 2007

CS-TR No 1024 A Computer Scientist's Reactions to NPfIT
Randell, B.
School of Computing Science, Newcastle University, May 2007

CS-TR No 1021 The ReSIST Resilience Knowledge Base
Anderson, T., Andrews, Z. H., Fitzgerald, J. S., Randell, B., Glaser, H., Millard, I. C.
School of Computing Science, Newcastle University, May 2007

CS-TR No 994 Failures: Their Definition, Modelling and Analysis
Randell, B., Koutny, M.
School of Computing Science, Newcastle University, Dec 2006

CS-TR No 911 Voting Technologies and Trust
Randell, B., Ryan, P.Y.A.
School of Computing Science, Newcastle University, Jun 2005

CS-TR No 891 Reminiscences of Project Y and the ACS Project
Randell, B.
School of Computing Science, Newcastle University, Feb 2005

CS-TR No 889 Security in Computer Games: from Pong to Online Poker
Yan, J., Randell, B.
School of Computing Science, Newcastle University, Feb 2005

CS-TR No 886 The Atomic Manifesto: a Story in Four Quarks
Jones, C., Lomet, D., Romanovsky, A., Weikum, G., Fekete, A., Gaudel, M.C., Korth, H. F., Lemos, R., Moss, E., Rajwar, R., Ramamritham, K., Randell, B., Rodrigues, L.
School of Computing Science, Newcastle University, Jan 2005

CS-TR No 877 Dependability, Structure and Infrastructure
Randell, B.
School of Computing Science, Newcastle University, Nov 2004

CS-TR No 853 Extending the Horizons of DSE (GC6)
Hoare, T., Jones, C., Randell, B.
School of Computing Science, Newcastle University, Jul 2004

CS-TR No 852 Wrapping the Future
Anderson, T., Randell, B., Romanovsky, A.
School of Computing Science, Newcastle University, Jul 2004

CS-TR No 839 Dependable Pervasive Systems
Jones, C. and Randell, B
School of Computing Science, Newcastle University, Apr 2004

CS-TR No 807 On Failures and Faults
Randell, B.
School of Computing Science, Newcastle University, Jul 2003

CS-TR No 782 Final Version of DSoS Conceptual Model (CSDA1)
Gaudel, M., Issarny, V., Jones, C., Kopetz, H., Marsden, E., Moffat, N., Paulitsch, M., Powell, D., Randell, B., Romanovsky, A., Stroud, R., Taiani, F.
School of Computing Science, Newcastle University, Jul 2003

CS-TR No 749 Conceptual Model and Architecture
Powell, D., Stroud, R.J., Adelsbach, A., Alessandri, D., Cachin, C., Creese, S., Dacier, M., Deswarte, Y., Kursawe, K., Laprie, J.C., Pfitzmann, B., Randell, B., Riordan, J., Veríssimo, P. and Waidner, M.
School of Computing Science, Newcastle University, 2001

CS-TR No 746 Revised Version of DSoS Conceptual Model
C.B. Jones, M-O. Killijian, H. Kopetz, E. Marsden, N. Moffat, M. Paulitsch, D. Powell, B. Randell, A. Romanovsky and R.J. Stroud
School of Computing Science, Newcastle University, 2001

CS-TR No 739 Fundamental Concepts of Dependability
A. Avizienis, J.-C. Laprie and B. Randell
School of Computing Science, Newcastle University, 2001

CS-TR No 738 First Specification of APIs and Protocols for the MAFTIA Middleware
Welch, I., Armstrong, J. M., Cachin, C., Correia, M., Costes, A., Miranda, H., Neves, N. F., Neves, N. M., Poritz, J. A., Randell, B., Rodrigues, L., Stroud, R. J., Veríssimo, P. and Waidner, M.
School of Computing Science, Newcastle University, 2001

CS-TR No 707 Mailicious- and Accidental- Fault Tolerance for Internet Applications (MAFTIA) : Reference Model and Use Cases
Cachin, C., J. Camenisch, M. Dacier, Y. Deswarte, J.E. Dobson, D. Horne, K. Kursawe, J-C. Lebraud, D. Long, T. McCutcheon, J. Muller, D. Powell, B. Randell, P. Pfitzmann and t-Al
School of Computing Science, Newcastle University, 2000

CS-TR No 692 A Generic Implementation Approach to Concurrent Fault-Tolerant Software
J. Xu, B. Randell and A. Romanovsky
School of Computing Science, Newcastle University, 2000

CS-TR No 662 Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions
J. Xu, B. Randell, A. Romanovsky, R.J. Stroud, A.F. Zorzo, E. Canver and F. von Henke
School of Computing Science, Newcastle University, 1999

CS-TR No 631 Protecting IT Systems from Cyber Crime
R. Benjamin, B. Gladman and B. Randell
School of Computing Science, Newcastle University, 1999

CS-TR No 628 Coordinated Atomic Actions: Formal Model, Case Study and System Implementation
B. Randell, A. Romanovsky, R.J. Stroud, J. Xu, A.F. Zorzo, D. Schwier and F. von Henke
School of Computing Science, Newcastle University, 1998

CS-TR No 619 Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems
A.F. Zorzo, A. Romanovsky, B. Randell, R.J. Stroud, I. Welch and J. Xu
School of Computing Science, Newcastle University, 1998

CS-TR No 618 Exception Handling in Object-Oriented Real-Time Distributed Systems
A. Romanovsky, J. Xu and B. Randell
School of Computing Science, Newcastle University, 1997

CS-TR No 612 Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation
J. Xu, A. Romanovsky and B. Randell
School of Computing Science, Newcastle University, 1997

CS-TR No 597 Software Fault Tolerance in Object-Oriented Systems: Approaches, Implementation and Evaluation
B. Randell, J. Xu and A.F. Zorzo
School of Computing Science, Newcastle University, 1997

CS-TR No 596 Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation
J. Xu, A. Romanovsky and B. Randell
School of Computing Science, Newcastle University, 1997

CS-TR No 595 Co-ordinated Atomic Actions: From Concept to Implementation
B. Randell, A. Romanovsky, R.J. Stroud, J. Xu and A.F. Zorzo
School of Computing Science, Newcastle University, 1997

CS-TR No 594 The t/(n-1)-VP Approach to Fault-Tolerant Software
J. Xu and B. Randell
School of Computing Science, Newcastle University, 1997

CS-TR No 561 Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery
A. Romanovsky, B. Randell, R.J. Stroud, J. Xu and A.F. Zorzo
School of Computing Science, Newcastle University, 1997

CS-TR No 550 An Assessment of Name Matching Algorithms
A.J. Lait and B. Randell
School of Computing Science, Newcastle University, 1996

CS-TR No 542 Exception Handling and Resolution in Distributed Object-Oriented Systems
A. Romanovsky, J. Xu and B. Randell
School of Computing Science, Newcastle University, 1995

CS-TR No 515 Responsive Roll-Forward Recovery in Embedded Real-Time Systems
J. Xu and B. Randell
School of Computing Science, Newcastle University, 1995

CS-TR No 507 Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery
J. Xu, B. Randell, A. Romanovsky, C.M.F. Rubira-Calsavara, R.J. Stroud and Z. Wu
School of Computing Science, Newcastle University, 1995

CS-TR No 498 Software Fault-tolerance: Towards an Object-oriented Approach
J. Xu, B. Randell, C.M.F. Rubira-Calsavara and R.J. Stroud
School of Computing Science, Newcastle University, 1994

CS-TR No 479 Recovery Blocks
Randell, B. and Xu, J.
School of Computing Science, Newcastle University, 1994

CS-TR No 444 Object-oriented Construction of Fault-tolerant Software
Xu, J. and Randell, B.
School of Computing Science, Newcastle University, 1993

CS-TR No 438 Designing Secure and Reliable Applications using FRS: An Object-Oriented Approach
Fabre, J.-C., Deswarte, Y. and Randell, B.
School of Computing Science, Newcastle University, 1993

CS-TR No 419 An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems
Fabre, J.-C. and Randell, B.
School of Computing Science, Newcastle University, 1993

CS-TR No 410 A Framework for the Design of Secure and Reliable Applications by Fragmentation-Redundancy-Scattering
Fabre, J.C., Deswarte, Y. and Randell, B.R.
School of Computing Science, Newcastle University, 1993

CS-TR No 396 System Dependability
Randell, B.
School of Computing Science, Newcastle University, 1992

CS-TR No 388 Software Fault Tolerance: t(n-1)-Variant Programming
Xu, J. and Randell, B.
School of Computing Science, Newcastle University, 1992

CS-TR No 343 Predictably Dependable Computing Systems: Second Year Report
Randell, B. and Laprie, J.-C.
School of Computing Science, Newcastle University, 1991

CS-TR No 337 FDP Techniques in Object-oriented Systems
Randell, B. and Fabre, J.-C.
School of Computing Science, Newcastle University, 1991

CS-TR No 331 Improvement of Data Processing Security by means of Fault Tolerance
Trouessin, G., Y. Deswarte, J.-C. Fabre and B. Randell
School of Computing Science, Newcastle University, 1991

CS-TR No 330 Coping with the Past
Randell, B.
School of Computing Science, Newcastle University, 1991

CS-TR No 327 Programming: From Babbage to Backus
Randell, B.
School of Computing Science, Newcastle University, 1991

CS-TR No 311 Electronic Computing: A Continuing Revolution
Randell, B.
School of Computing Science, Newcastle University, 1990

CS-TR No 306 On the Trustworthiness of Computing Systems
Dobson, J.E., McDermid, J. and Randell, B.
School of Computing Science, Newcastle University, 1990

CS-TR No 305 The Duality of Fault-Tolerant System Structures
Shrivastava, S.K., Mancini, L.V. and Randell, B.
School of Computing Science, Newcastle University, 1990

CS-TR No 248 On the Duality of Fault Tolerant System Structures
Shrivastava, S.K., Mancini, L.V. and Randell, B.
School of Computing Science, Newcastle University, 1987

CS-TR No 232 System Design and Structuring for Dependability
Randell, B.
School of Computing Science, Newcastle University, 1987

CS-TR No 220 The Architecture of UNIX United
Black, J.P., Marshall, L.F. and Randell, B.
School of Computing Science, Newcastle University, 1986

CS-TR No 218 Design Fault Tolerance
Randell, B.
School of Computing Science, Newcastle University, 1986

CS-TR No 214 Building Reliable Secure Computing Systems out of Unreliable Insecure Components
Dobson, J.E. and Randell, B.
School of Computing Science, Newcastle University, 1986

CS-TR No 210 Reliability and Security Issues in Distributed Computing Systems
Randell, B. and Dobson, J.E.
School of Computing Science, Newcastle University, 1985

CS-TR No 204 Update and Merge of Partitioned Distributed Systems
Anyanwu, J.A. and Randell, B.
School of Computing Science, Newcastle University, 1985

CS-TR No 201 Reliable Computing in a UNIX United Environment
Bennett, K.H., Marshall, L.F. and Randell, B.
School of Computing Science, Newcastle University, 1985

CS-TR No 198 System Design and Structuring
Randell, B.
School of Computing Science, Newcastle University, 1985

CS-TR No 194 The Newcastle Connection: A Software Subsystem for Constructing Distributed UNIX Systems
Randell, B.
School of Computing Science, Newcastle University, 1984

CS-TR No 190 Interfacing UNIX to Data Communications Networks
Panzieri, F. and Randell, B.
School of Computing Science, Newcastle University, 1983

CS-TR No 189 Fault Tolerance and System Structuring
Randell, B.
School of Computing Science, Newcastle University, 1983

CS-TR No 187 Practical Fault Tolerant Software for Systems
Campell, R.H., Anderson, T. and Randell, B.
School of Computing Science, Newcastle University, 1983

CS-TR No 186 Error Recovery in Asynchronous Systems
Campell, R.H. and Randell, B.
School of Computing Science, Newcastle University, 1983

CS-TR No 182 A Distributed Secure System
Rushby, J.M. and Randell, B.
School of Computing Science, Newcastle University, 1982

CS-TR No 181 The Structuring of Distributed Computing Systems
Randell, B
School of Computing Science, Newcastle University, Dec 1982

CS-TR No 175 The Newcastle Connection or UNIXes of the World Unite!
Brownbridge, D.R., Marshall, L.F. and Randell, B.
School of Computing Science, Newcastle University, 1982

CS-TR No 164 From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate (1883-1922), Torresy Quevedo (1852-1936) and Bush (1890-1974)
Randell, B.
School of Computing Science, Newcastle University, 1981

CS-TR No 154 Reliability and Integrity of Distributed Computing Systems
Randell, B.
School of Computing Science, Newcastle University, 1980

CS-TR No 140 An Annotated Bibliography on the Origins of Digital Computers
Randell, B.
School of Computing Science, Newcastle University, 1979

CS-TR No 138 Software Engineering in 1968
Randell, B.
School of Computing Science, Newcastle University, 1979

CS-TR No 130 A Formal Model of Atomicity in Asynchronous Systems
Best, E. and Randell, B.
School of Computing Science, Newcastle University, 1979

CS-TR No 126 The Design of Highly Concurrent Computing Systems
Treleavan, P.C., Farrell, E.P., Ghani, N., Jones, S.B., Randell, B. and Smith, P.J.
School of Computing Science, Newcastle University, 1978

CS-TR No 113 Consistent State Restoration in Distributed Systems
Merlin, P.M. and Randell, B.
School of Computing Science, Newcastle University, 1977

CS-TR No 102 Reliable Computing Systems
Randell, B., Lee, P.A. and Treleavan, P.C.
School of Computing Science, Newcastle University, 1977

CS-TR No 95 Software Reliability: The Role of Programmed Exception Handling
Melliar-Smith, P.M. and Randell, B.
School of Computing Science, Newcastle University, 1976

CS-TR No 91 The Origins of Digital Computers: Supplementary Bibliography
Randell, B.
School of Computing Science, Newcastle University, 1976

CS-TR No 90 The COLOSSUS
Randell, B.
School of Computing Science, Newcastle University, 1976

CS-TR No 75 System Structure for Software Fault Tolerance
Randell, B.
School of Computing Science, Newcastle University, 1975

CS-TR No 65 The History of Digital Computers
Randell, B.
School of Computing Science, Newcastle University, 1974

CS-TR No 59 A Program Structure for Error Detection and Recovery
Horning, J.J., Lauer, H.C., Melliar-Smith, P.M. and Randell, B.
School of Computing Science, Newcastle University, 1974

CS-TR No 57 Research on Computing System Reliability at the University of Newcastle upon Tyne
Randell, B.
School of Computing Science, Newcastle University, 1974

CS-TR No 38 The Origins of Digital Computers: A Bibliography
Randell, B.
School of Computing Science, Newcastle University, 1972

CS-TR No 33 On Alan Turing and the Origins of Digital Computers
Randell, B.
School of Computing Science, Newcastle University, 1972

CS-TR No 31 Process Structuring
Horning, J.J. and Randell, B.
School of Computing Science, Newcastle University, 1972

CS-TR No 26 Thrashing in a Multi-Programmed Paging System
Alderson, A., Lynch, W.C. and Randell, B.
School of Computing Science, Newcastle University, 1971

CS-TR No 20 Highly Reliable Computing Systems
Randell, B.
School of Computing Science, Newcastle University, 1971

CS-TR No 17 Operating Systems: The Problems of Performance and Reliability
Randell, B.
School of Computing Science, Newcastle University, 1971

CS-TR No 16 Performance Predications for Extended Paged Memories
Coffman, E.G. and Randell, B.
School of Computing Science, Newcastle University, 1971

CS-TR No 15 Ludgate's Analytical Machine of 1909
Randell, B.
School of Computing Science, Newcastle University, 1971

CS-TR No 4 Interacting Sequential Processes
Randell, B.
School of Computing Science, Newcastle University, 1969

Other Technical Reports

Selected Bibliography on the Structure and Design of Programming Languages
Elliott, W.D. and Randell, B. (eds.)
14, Computer Systems Research Group, University of Toronto, June, 1978
Notes : Technical note.
Keywords : programming languages survey

Structuring Complex Processes
Horning, J.J. and Randell, B.
RC 2459, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA,  , 1969

Dynamic Instruction Scheduling
Conway, L., Randell, B., Rozenberg, D.P., Senzig, D.N.
RJ 565, IBM T. J. Watson Research Center, Yorktown Heights, NY, USA, March, 1969
Keywords : look-ahead, parallelism, instruction sequencing, computer architecture

Multilevel Modeling - A Methodology for Computer System Design
Zurcher, F.W., Randell, B.
SIMP-1968-50, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, November, 1968
Keywords : Programming, Systems Design, Systems Evaluation, Simulation

Demand Paging in Perspective
Kuehner, C.J. and Randell, B.
RC-2099, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, May, 1968
Keywords : storage allocation, paging, thrashing

Iterative Multi-Level Modelling: A methodology for computer system design
Zurcher, F.W. and Randell, B.
RC 2292, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, November, 1968

A Note on Storage Fragmentation and Program Segmentation
Randell, B.
RC 2102, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, 1968
Keywords : storage allocation, paging

Dynamic Storage Allocation Systems
Randell, B., Kuehner, C.J.
RC-1837, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, June, 1967
Keywords : storage allocation, paging

Deadline Scheduling
Randell, B., Zweig, E. and Lehman, M.
RC 1842, IBM T.J. Watson Research Center, Yorktown Heights, NY, USA, 1967
Keywords : scheduling, deadline, multiprocessors

The Object Programme Generated by the Whetstone KDF9
Randell, B.
W/AT 872, Atomic Power Division, English Electric Co., Whetstone, Leics., April, 1962

Proposals for Code Procedures in KDF9 Algol
Randell, B.
W/AT 867, Atomic Power Division, English Electric Co., Whetstone, Leics., March, 1962

DEUCE ALGOL
Randell, B. and Russell, L.J.
W/AT 844, Atomic Power Division, English Electric Co., Whetstone, Leics., February, 1962

Discussions on ALGOL Translation, at Mathematisch Centrum
Randell, B. and Russell, L.J.
W/AT 841, Atomic Power Division, English Electric Co., Whetstone, Leics.,  , 1962
Keywords : Algol compiler

The Whetstone KDF9 ALGOL Translator
Randell, B.
Atomic Power Division, English Electric Co., Whetstone, Leics., June, 1962
Keywords : Algol KDF9 compiler

Multi-Section EASICODE
Randell, B.
W/AT 603, Atomic Power Division, English Electric Co., Whetstone, Leics., November, 1960

pdf

EASICODE
Kelly, M. J. and Randell, B.
W/AT 585, Atomic Power Division, English Electric Co., Whetstone, Leics., October, 1960

pdf

Preliminary Report on EASICODE
Kelly, M.J. and Randell, B.
W/AT 216, Atomic Power Division, English Electric, Whetstone, Leics., September, 1958
Keywords : Easicode compiler DEUCE