Professor Brian Randell
| Edsger Dijkstra—Some Reminiscences | 2023 |
|
Professor Brian Randell
| Edsger Dijkstra - Some Reminiscences | 2022 |
|
Professor Brian Randell
| Percy Ludgate (1883-1922): Ireland's First Computer Designer | 2022 |
|
Professor Brian Randell
| Investigating the Work and Life of Percy Ludgate | 2021 |
|
Professor Brian Randell
| Percy Ludgate (1883–1922), Ireland’s first computer designer | 2021 |
|
Professor Brian Randell
| Fifty Years of Software Engineering or The View from Garmisch | 2018 |
|
Dr Bowen Li
Professor Brian Randell
Dr Anirban Bhattacharyya
Talal Alharbi
Emeritus Professor Maciej Koutny
et al. | SONCraft: A Tool for Construction, Simulation and Analysis of Structured Occurrence Nets | 2018 |
|
Professor Feng Hao
Dr Dylan Clarke
Professor Brian Randell
| Verifiable Classroom Voting in Practice | 2018 |
|
Dr Anirban Bhattacharyya
Emeritus Professor Maciej Koutny
Professor Brian Randell
| Towards a Framework for Monotonic Approximations | 2017 |
|
Dr Bowen Li
Emeritus Professor Maciej Koutny
Professor Brian Randell
| SONCraft: A Tool for Construction, Simulation and Verification of Structured Occurrence Nets | 2016 |
|
Dr Anirban Bhattacharyya
Dr Bowen Li
Professor Brian Randell
| Time in Structured Occurrence Nets | 2016 |
|
Dr Anirban Bhattacharyya
Dr Bowen Li
Professor Brian Randell
| Time in Structured Occurrence Nets | 2016 |
|
Dr Ehsan Toreini
Professor Brian Randell
Professor Feng Hao
| An Acoustic Side Channel Attack on Enigma | 2015 |
|
Professor Brian Randell
| Reminiscences of Project Y and the ACS Project | 2015 |
|
Dr Bowen Li
Professor Brian Randell
| SONCraft user manual | 2015 |
|
Professor Feng Hao
Professor Brian Randell
Dr Dylan Clarke
Dr Peter Lee
| Every vote counts: Ensuring integrity in large-scale electronic voting | 2014 |
|
Professor Feng Hao
Professor Brian Randell
Dr Dylan Clarke
Dr Siamak Fayyaz Shahandashti
Dr Peter Lee
et al. | Every Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting | 2014 |
|
Professor Brian Randell
| Message from honorary chair: EDCC 2014 | 2014 |
|
Professor Brian Randell
| Incremental Construction of Structured Occurrence Nets | 2013 |
|
Professor Brian Randell
| A Turing Enigma | 2012 |
|
Professor Brian Randell
| A Turing Enigma | 2012 |
|
Professor Paolo Missier
Professor Brian Randell
Emeritus Professor Maciej Koutny
| Modelling Provenance using Structured Occurrence Networks | 2012 |
|
Professor Paolo Missier
Professor Brian Randell
Emeritus Professor Maciej Koutny
| Modelling Provenance Using Structured Occurrence Networks | 2012 |
|
Professor Feng Hao
Professor Brian Randell
Dr Dylan Clarke
| Self-Enforcing Electronic Voting | 2012 |
|
Professor Feng Hao
Professor Brian Randell
Dr Dylan Clarke
| Self-Enforcing Electronic Voting | 2012 |
|
Professor Brian Randell
| A Computer Perspective | 2011 |
|
Professor Brian Randell
| Occurrence Nets Then and Now: The Path to Structured Occurrence Nets | 2011 |
|
Professor Brian Randell
| Occurrence Nets Then and Now: The Path to Structured Occurrence Nets | 2011 |
|
Professor Brian Randell
| Newcastle’s French Connection | 2010 |
|
Professor Brian Randell
| Reminiscences of Whetstone ALGOL | 2010 |
|
Professor Brian Randell
| Reminiscences of Whetstone ALGOL | 2010 |
|
Dr Jeff Yan
Professor Brian Randell
| An Investigation of Cheating in Online Games | 2009 |
|
Professor Brian Randell
Emeritus Professor Maciej Koutny
| Structured Occurence Nets: A formalism for aiding system failure prevention and analysis techniques | 2009 |
|
Emeritus Professor Maciej Koutny
Professor Brian Randell
| Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques | 2009 |
|
Professor Brian Randell
Emeritus Professor Maciej Koutny
| Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence | 2009 |
|
Dr Zoe Andrews
Professor John Fitzgerald
Professor Brian Randell
| A Knowledge Base for Dependability and Security Research | 2008 |
|
Emeritus Professor Maciej Koutny
Professor Brian Randell
| Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques | 2008 |
|
Professor Brian Randell
| A Computer Scientist’s Reactions to NPfIT | 2007 |
|
Professor Brian Randell
| A computer scientist's reactions to NPfIT | 2007 |
|
Professor Brian Randell
| Basic Concepts and Taxonomy of Dependable and Secure Computing | 2007 |
|
Professor Brian Randell
| Distributed Secure Systems: Then and Now | 2007 |
|
Professor Brian Randell
| Distributed Secure Systems: Then and Now | 2007 |
|
Professor Brian Randell
Emeritus Professor Maciej Koutny
| Failures: Their Definition, Modelling and Analysis | 2007 |
|
Professor Brian Randell
| The national programme for information technology in the UK health service - Dependability challenges and strategies | 2007 |
|
Emeritus Professor Tom Anderson
Dr Zoe Andrews
Professor John Fitzgerald
Professor Brian Randell
| The ReSIST Resilience Knowledge Base | 2007 |
|
Emeritus Professor Tom Anderson
Dr Zoe Andrews
Professor John Fitzgerald
Professor Brian Randell
| The ReSIST Resilience Knowledge Base | 2007 |
|
Professor Brian Randell
Emeritus Professor Maciej Koutny
| Failures: Their Definition, Modelling and Analysis | 2006 |
|
Professor Brian Randell
| Foreword | 2006 |
|
Emeritus Professor Cliff Jones
Professor Brian Randell
| The role of structure: a dependability perspective | 2006 |
|
Professor Brian Randell
Professor Peter Ryan
| Voting technologies and trust | 2006 |
|
Professor Brian Randell
Professor Peter Ryan
| Voting technologies and trust | 2006 |
|
Dr Jeff Yan
Professor Brian Randell
| A systematic classification of cheating in online games | 2005 |
|
Professor Brian Randell
| Dependability, Structure and Infrastructure | 2005 |
|
Emeritus Professor Cliff Jones
Professor Brian Randell
| Dependable Pervasive Systems | 2005 |
|
Professor Brian Randell
| Reminiscences of Project Y and the ACS Project | 2005 |
|
Dr Jeff Yan
Professor Brian Randell
| Security in Computer Games: from Pong to Online Poker | 2005 |
|
Emeritus Professor Cliff Jones
Emeritus Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
| The atomic manifesto | 2005 |
|
Emeritus Professor Cliff Jones
Emeritus Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
| The Atomic Manifesto: a Story in Four Quarks | 2005 |
|
Emeritus Professor Cliff Jones
Emeritus Professor Alexander Romanovsky
Dr Rogerio De Lemos
Professor Brian Randell
| The Atomic Manifesto: a Story in Four Quarks | 2005 |
|
Professor Brian Randell
Professor Peter Ryan
| Voting Technologies and Trust | 2005 |
|
Professor Brian Randell
| Basic concepts and taxonomy of dependable and secure computing | 2004 |
|
Professor Brian Randell
| Brief encounters | 2004 |
|
Professor Brian Randell
| Dependability and its Threats: A Taxonomy | 2004 |
|
Professor Brian Randell
| Dependability, Structure and Infrastructure | 2004 |
|
Emeritus Professor Cliff Jones
Professor Brian Randell
| Dependable Pervasive Systems | 2004 |
|
Professor Brian Randell
| Dependable Pervasive Systems | 2004 |
|
Emeritus Professor Cliff Jones
Professor Brian Randell
| Extending the Horizons of DSE | 2004 |
|
Emeritus Professor Cliff Jones
Professor Brian Randell
| Extending the Horizons of DSE (GC6) | 2004 |
|
Emeritus Professor Tom Anderson
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
| Wrapping the Future | 2004 |
|
Emeritus Professor Tom Anderson
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
| Wrapping the Future | 2004 |
|
Professor Brian Randell
| Edsger Dijkstra | 2003 |
|
Emeritus Professor Cliff Jones
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
| Final Version of DSoS Conceptual Model (CSDA1) | 2003 |
|
Professor Brian Randell
| On Failures and Faults | 2003 |
|
Professor Brian Randell
| On Failures and Faults | 2003 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
| A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software | 2002 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
| Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions | 2002 |
|
Professor Brian Randell
| The New Electronic Technology | 2002 |
|
Avelino Zorzo
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
| TLA Specification of a Mechanism for Concurrent Exception Handling | 2002 |
|
Dr Robert Stroud
Dominique Alessandri
Professor Brian Randell
| Conceptual Model and Architecture | 2001 |
|
Professor Brian Randell
Dr Robert Stroud
Emeritus Professor Cliff Jones
| DSoS (Dependable Systems of Systems) | 2001 |
|
Dr James Armstrong
Professor Brian Randell
Dr Robert Stroud
| First Specification of APIs and Protocols for the MAFTIA Middleware | 2001 |
|
Professor Brian Randell
| Fundamental Concepts of Dependability | 2001 |
|
Professor Thomas McCutcheon
Professor Brian Randell
Dr Robert Stroud
| MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications) | 2001 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
| On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems | 2001 |
|
Professor Brian Randell
| Review of “Inventing Systems Engineering”, by John Aris (Review no. 0101-0037) | 2001 |
|
Emeritus Professor Cliff Jones
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
| Revised Version of DSoS Conceptual Model | 2001 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
| A Generic Implementation Approach to Concurrent Fault-Tolerant Software | 2000 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Charles Snow
Dr Robert Stroud
| An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling | 2000 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
| Concurrent exception handling and resolution in distributed object systems | 2000 |
|
Professor Brian Randell
| Facing up to Faults | 2000 |
|
Professor Brian Randell
| Fault Tolerance in Decentralized Systems | 2000 |
|
Professor Brian Randell
| Fundamental Concepts of Dependability | 2000 |
|
Emeritus Professor John Dobson
Professor Thomas McCutcheon
Professor Brian Randell
Dr Robert Stroud
Ian Welch
et al. | Mailicious- and Accidental- Fault Tolerance for Internet Applications (MAFTIA) : Reference Model and Use Cases | 2000 |
|
Professor Brian Randell
| Turing Memorial Lecture Facing Up to Faults | 2000 |
|
Professor Brian Randell
| Business at War | 1999 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
| Coordinated exception handling in real-time distributed object systems | 1999 |
|
Professor Brian Randell
Avelino Zorzo
| Exception Handling in Multiparty Interactions | 1999 |
|
Professor Brian Randell
| Fault Tolerance in Decentralised Systems (Keynote Speech) | 1999 |
|
Professor Brian Randell
| Fault Tolerance in Decentralized Systems | 1999 |
|
Professor Brian Randell
| Protecting IT Systems from Cyber Crime | 1999 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
| Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions | 1999 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
| Rigorous Development of a Safety-critical system based on co-ordinated Atomic Actions | 1999 |
|
Avelino Zorzo
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Ian Welch
et al. | Using coordinated atomic actions to design safety-critical systems: A production cell case study | 1999 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
| Coordinated Atomic Actions: Formal Model, Case Study and System Implementation | 1998 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
| Coordinated exception handling in distributed object systems: from model to system implementation | 1998 |
|
Professor Brian Randell
| Dependability - A Unifying Concept | 1998 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
| Developing Control Software for Production Cell II: Failure Analysis and System Design Using CA Actions | 1998 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
| Exception Handling in Object-Oriented Real-Time Distributed Systems | 1998 |
|
Professor Brian Randell
| Memories of the NATO Software Engineering Conferences | 1998 |
|
Professor Brian Randell
| Protecting IT Systems from Cyber Crime | 1998 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
| Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed Systems | 1998 |
|
Avelino Zorzo
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Ian Welch
et al. | Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems | 1998 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Avelino Zorzo
| Co-ordinated Atomic Actions: From Concept to Implementation | 1997 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
| Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation | 1997 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
| Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation | 1997 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
| Exception Handling in Object-Oriented Real-Time Distributed Systems | 1997 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Avelino Zorzo
| Implementation of blocking coordinated atomic actions based on forward error recovery | 1997 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Avelino Zorzo
| Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery | 1997 |
|
Professor Brian Randell
| 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) | 1997 |
|
Professor Brian Randell
Avelino Zorzo
| Software Fault Tolerance in Object-Oriented Systems: Approaches, Implementation and Evaluation | 1997 |
|
Professor Brian Randell
| Software Fault Tolerance: R/(n-l)-Variant Programming | 1997 |
|
Professor Brian Randell
| The t/(n-1)-VP Approach to Fault-Tolerant Software | 1997 |
|
Avelino Zorzo
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
Dr Robert Stroud
Ian Welch
et al. | Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems | 1997 |
|
Professor Brian Randell
| An Assessment of Name Matching Algorithms | 1996 |
|
Professor Brian Randell
| Charles Babbage and the Anglo-American Copyright Dispute | 1996 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
| Exception Handling and Resolution in Distributed Object-Oriented Systems | 1996 |
|
Avelino Zorzo
Professor Brian Randell
| Experimental Evaluation of Fault-Tolerant Mechanisms for Object-Oriented Software | 1996 |
|
Professor Brian Randell
Avelino Zorzo
| Implementing Software-Fault Tolerance in C++ and Open C++ | 1996 |
|
Professor Brian Randell
| La Filiation des Machines a Calculer Contemporain | 1996 |
|
Professor Brian Randell
| Roll-Forward Error Recovery in Embedded Real-Time Systems | 1996 |
|
Emeritus Professor Alexander Romanovsky
Professor Brian Randell
| Exception Handling and Resolution in Distributed Object-Oriented Systems | 1995 |
|
Professor Brian Randell
| Fault Tolerance and Security | 1995 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
| Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery | 1995 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
Jake Wu
| Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery | 1995 |
|
Professor Brian Randell
Emeritus Professor Alexander Romanovsky
Dr Robert Stroud
| From Recovery Blocks to Concurrent Atomic Actions | 1995 |
|
Professor Brian Randell
| Le projet COLOSSUS et la seconde guerre mondiale | 1995 |
|
Professor Brian Randell
| Object-Oriented Environmental Fault Tolerance | 1995 |
|
Professor Brian Randell
| Predictably Dependable Computing Systems | 1995 |
|
Professor Brian Randell
| Responsive Roll-Forward Recovery in Embedded Real-Time Systems | 1995 |
|
Professor Brian Randell
| Review of ‘“The Reservisor Automated Airline Reservation System: combining communications and computing” by J. Eklund (Review no. 0263) | 1995 |
|
Professor Brian Randell
| Software Dependability: A Personal View | 1995 |
|
Professor Brian Randell
| Designing Secure and Reliable Applications Using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach | 1994 |
|
Professor Brian Randell
| Lessons from History? | 1994 |
|
Professor Brian Randell
| Recovery Blocks | 1994 |
|
Professor Brian Randell
| Recovery Blocks | 1994 |
|
Professor Brian Randell
| Software 2000: A View of the Future | 1994 |
|
Professor Brian Randell
Dr Robert Stroud
| Software Fault-tolerance: Towards an Object-oriented Approach | 1994 |
|
Professor Brian Randell
| Some Lessons from the SW2000 Workshop | 1994 |
|
Professor Brian Randell
| The Evolution of the Recovery Block Concept | 1994 |
|
Professor Brian Randell
| The Origins of Computer Programming | 1994 |
|
Professor Brian Randell
Dr Robert Stroud
| Toward an Object-Oriented Approach to Software Fault Tolerance | 1994 |
|
Professor Brian Randell
| A Framework for the Design of Secure and Reliable Applications by Fragmentation-Redundancy-Scattering | 1993 |
|
Professor Brian Randell
| An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems | 1993 |
|
Professor Brian Randell
| Approaches to Software Fault Tolerance | 1993 |
|
Professor Brian Randell
| Dependable Computing for Critical Applications | 1993 |
|
Professor Brian Randell
| Designing Secure and Reliable Applications using FRS: An Object-Oriented Approach | 1993 |
|
Professor Brian Randell
| Object-oriented Construction of Fault-tolerant Software | 1993 |
|
Professor Brian Randell
| Object-Oriented Software Fault Tolerance: Framework, reuse and design diversity | 1993 |
|
Professor Brian Randell
| Personal Ancestral File and Reunion - Two Genealogical Database Management Systems for the Apple Macintosh | 1993 |
|
Emeritus Professor Santosh Shrivastava
Professor Brian Randell
| The Duality of Fault-tolerant System Structures | 1993 |
|
Professor Brian Randell
| An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems | 1992 |
|
Emeritus Professor Tom Anderson
Professor Brian Randell
| Dependability: Basic Concepts and Terminology | 1992 |
|
Professor Brian Randell
| Predictably Dependable Computing Systems: Final Report | 1992 |
|
Professor Brian Randell
| Reunion at Bletchley Park | 1992 |
|
Professor Brian Randell
| Review of “Marks on Paper, part 1: A historical survey of computer output printing” by I.L. Wieselman and E. Tomash (Review no. 0047) | 1992 |
|
Professor Brian Randell
| Software Fault Tolerance: t(n-1)-Variant Programming | 1992 |
|
Professor Brian Randell
| System Dependability | 1992 |
|
Professor Brian Randell
| System Dependability | 1992 |
|
Professor Brian Randell
| Coping with the Past | 1991 |
|
Professor Brian Randell
| Coping with the Past | 1991 |
|
Professor Brian Randell
| European Research in Distributed Computing Systems: A personal perspective | 1991 |
|
Professor Brian Randell
| Fault and Intrusion Tolerance in Object-Oriented Systems | 1991 |
|
Professor Brian Randell
| FDP Techniques in Object-oriented Systems | 1991 |
|
Professor Brian Randell
| Improvement of Data Processing Security by means of Fault Tolerance | 1991 |
|
Professor Brian Randell
| Improvement of Data Processing Security by Means of Fault Tolerance | 1991 |
|
Professor Brian Randell
| Predictably Dependable Computing Systems: Second Year Report | 1991 |
|
Professor Brian Randell
| Predictably Dependable Computing Systems: Second Year Report | 1991 |
|
Professor Brian Randell
| Programming: From Babbage to Backus | 1991 |
|
Professor Brian Randell
| Electronic Computing: A Continuing Revolution | 1990 |
|
Professor Brian Randell
| Epilogue | 1990 |
|
Professor Brian Randell
| Foreword | 1990 |
|
Professor Brian Randell
| Le Coupable n'est pas la technologie | 1990 |
|
Emeritus Professor John Dobson
Professor Brian Randell
| On the Trustworthiness of Computing Systems | 1990 |
|
Emeritus Professor John Dobson
Professor Brian Randell
| Predictably Dependable Computing Systems: An ESPRIT Basic Research Project | 1990 |
|
Professor Brian Randell
| Súrété de Fonctionnement et Défauts du Logiciel: Minimiser les risques et éviter les responsabilités | 1990 |
|
Professor Brian Randell
| System Design and Structuring for Dependability | 1990 |
|
Emeritus Professor Santosh Shrivastava
Professor Brian Randell
| The Duality of Fault-Tolerant System Structures | 1990 |
|
Professor Brian Randell
| Can Design Faults be Tolerated? | 1989 |
|
Emeritus Professor John Dobson
Professor Brian Randell
| Viewpoint: Program Verification: Public Image and Private Reality | 1989 |
|
Professor Brian Randell
| Design Fault Tolerance | 1987 |
|
Professor Brian Randell
| ESPRIT Basic Research Actions | 1987 |
|
Emeritus Professor Santosh Shrivastava
Professor Brian Randell
| On the Duality of Fault Tolerant System Structures | 1987 |
|
Emeritus Professor Santosh Shrivastava
Professor Brian Randell
| On the Duality of Fault-Tolerant System Structures | 1987 |
|
Professor Brian Randell
| System Design and Structuring for Dependability | 1987 |
|
Emeritus Professor Lindsay Marshall
Professor Brian Randell
| The Architecture of UNIX United | 1987 |
|
Professor Brian Randell
| A Fault-Tolerance Based Approach to System Security | 1986 |
|
Emeritus Professor John Dobson
Professor Brian Randell
| Building Reliable Secure Computing Systems out of Unreliable Insecure Components | 1986 |
|
Emeritus Professor John Dobson
Professor Brian Randell
| Building Reliable Secure Computing Systems out of Unreliable Insecure Components | 1986 |
|
Professor Brian Randell
| Design Fault Tolerance | 1986 |
|
Professor Brian Randell
| Error Recovery in Asynchronous Systems | 1986 |
|
Professor Brian Randell
| Recursively Structured Fault-Tolerant Distributed Computing Systems | 1986 |
|
Professor Brian Randell
Emeritus Professor John Dobson
| Reliability and Security Issues in Distributed Computing Systems | 1986 |
|
Professor Brian Randell
| System Design and Structuring | 1986 |
|
Emeritus Professor Lindsay Marshall
Professor Brian Randell
| The Architecture of UNIX United | 1986 |
|
Professor Brian Randell
| Comments on “Memorandum on Mechanical Solution of Partial Differential Equations” | 1985 |
|
Professor Brian Randell
| Hardware/Software Trade-offs: A general design principle? | 1985 |
|
Professor Brian Randell
| Interfacing UNIX to Data Communications Networks | 1985 |
|
Professor Brian Randell
| Introduction | 1985 |
|
Professor Brian Randell
| Operating Systems for the IBM PC | 1985 |
|
Professor Brian Randell
Emeritus Professor John Dobson
| Reliability and Security Issues in Distributed Computing Systems | 1985 |
|
Emeritus Professor Lindsay Marshall
Professor Brian Randell
| Reliable Computing in a UNIX United Environment | 1985 |
|
Emeritus Professor Lindsay Marshall
Professor Brian Randell
| Reliable Computing in a UNIX United Environment | 1985 |
|
Professor Brian Randell
| System Design and Structuring | 1985 |
|
Professor Brian Randell
| Update and Merge of Partitioned Distributed Systems | 1985 |
|
Professor Brian Randell
| Coping with Complexity in Systems Development | 1984 |
|
Professor Brian Randell
| Fault Tolerance and System Structuring | 1984 |
|
Professor Brian Randell
| The Newcastle Connection: A software subsystem for constructing distributed UNIX systems | 1984 |
|
Professor Brian Randell
| The Newcastle Connection: A Software Subsystem for Constructing Distributed UNIX Systems | 1984 |
|
Professor Brian Randell
| A Distributed Secure System | 1983 |
|
Professor Brian Randell
| A Mysterious Advertisement | 1983 |
|
Professor Brian Randell
| Error Recovery in Asynchronous Systems | 1983 |
|
Professor Brian Randell
| Fault Tolerance and System Structuring | 1983 |
|
Professor Brian Randell
| Interfacing UNIX to Data Communications Networks | 1983 |
|
Emeritus Professor Tom Anderson
Professor Brian Randell
| Practical Fault Tolerant Software for Asynchronous Systems | 1983 |
|
Emeritus Professor Tom Anderson
Professor Brian Randell
| Practical Fault Tolerant Software for Asynchronous Systems | 1983 |
|
Professor Brian Randell
| Recursively Structured Distributed Computer Systems | 1983 |
|
Professor Brian Randell
| A Distributed Secure System | 1982 |
|
Professor Brian Randell
| From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres and Bush | 1982 |
|
Emeritus Professor Lindsay Marshall
Professor Brian Randell
| The Newcastle Connection or UNIXes of the World Unite! | 1982 |
|
Emeritus Professor Lindsay Marshall
Professor Brian Randell
| The Newcastle Connection, or - UNIXes of the World Unite! | 1982 |
|
Professor Brian Randell
| The Origins of Digital Computers: Selected Papers | 1982 |
|
Professor Brian Randell
| The Structuring of Distributed Computing Systems | 1982 |
|
Professor Brian Randell
| VLSI Architecture | 1982 |
|
Professor Eike Best
Professor Brian Randell
| A Formal Model of Atomicity in Asynchronous Systems | 1981 |
|
Professor Brian Randell
| From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate (1883-1922), Torres y Quevedo (1852-1936) and Bush (1890-1974) | 1981 |
|
Professor Brian Randell
| Reliability and Integrity of Distributed Computing Systems: Progress Report 1978-80 | 1981 |
|
Professor Brian Randell
| Review of “History of Programming Languages” ed. by R. L. Wexelblat | 1981 |
|
Professor Brian Randell
| Reliability and Integrity of Distributed Computing Systems: Progress Report 1978-80 | 1980 |
|
Professor Brian Randell
| The COLOSSUS | 1980 |
|
Professor Eike Best
Professor Brian Randell
| A Formal Model of Atomicity in Asynchronous Systems | 1979 |
|
Professor Brian Randell
| An Annotated Bibliography on the Origins of Digital Computers | 1979 |
|
Professor Brian Randell
| An Annotated Bibliography on the Origins of Digital Computers | 1979 |
|
Emeritus Professor Tom Anderson
Professor Brian Randell
| Computing Systems Reliability | 1979 |
|
Professor Brian Randell
| La Genese des Calculateurs Electroniques | 1979 |
|
Professor Brian Randell
| Software Engineering in 1968 | 1979 |
|
Professor Brian Randell
| Software Engineering in 1968 | 1979 |
|
Professor Brian Randell
| Software Fault Tolerance | 1979 |
|
Professor Brian Randell
| System Reliability and Structuring | 1979 |
|
Professor Brian Randell
| Error Recovery in Distributed Computing Systems | 1978 |
|
Professor Brian Randell
Professor Pete Lee
| Reliability Issues in Computing System Design | 1978 |
|
Professor Brian Randell
Professor Pete Lee
| Reliable Computing Systems | 1978 |
|
Professor Brian Randell
| Review of “Pioneers of Computer: A Series of Archival Recordings” by C. Evans | 1978 |
|
Professor Brian Randell
| Selected Bibliography on the Structure and Design of Programming Languages | 1978 |
|
Professor Brian Randell
| State Restoration in Distributed Systems | 1978 |
|
Professor Brian Randell
| The Design of Highly Concurrent Computing Systems | 1978 |
|
Professor Brian Randell
| Consistent State Restoration in Distributed Systems | 1977 |
|
Professor Brian Randell
Professor Pete Lee
| Reliable Computing Systems | 1977 |
|
Professor Brian Randell
| Software Reliability: The role of programmed exception handling | 1977 |
|
Professor Brian Randell
| Digital Computers: Origins | 1976 |
|
Professor Brian Randell
| Software Engineering: Concepts and Techniques | 1976 |
|
Professor Brian Randell
| Software Reliability: The Role of Programmed Exception Handling | 1976 |
|
Professor Brian Randell
| The COLOSSUS | 1976 |
|
Professor Brian Randell
| The History of Digital Computers | 1976 |
|
Professor Brian Randell
| The Origins of Digital Computers: Supplementary Bibliography | 1976 |
|
Professor Brian Randell
| Computing System Reliability: Prospect and Retrospect | 1975 |
|
Professor Brian Randell
| System Structure for Software Fault Tolerance | 1975 |
|
Professor Brian Randell
| System Structure for Software Fault Tolerance | 1975 |
|
Professor Brian Randell
| A Program Structure for Error Detection and Recovery | 1974 |
|
Professor Brian Randell
| A Program Structure for Error Detection and Recovery | 1974 |
|
Professor Brian Randell
| Research on Computing System Reliability at the University of Newcastle upon Tyne | 1974 |
|
Professor Brian Randell
| System Reliability: Interaction of operating system and machine | 1974 |
|
Professor Brian Randell
| The History of Digital Computers | 1974 |
|
Professor Brian Randell
| Process Structuring | 1973 |
|
Professor Brian Randell
| COLOSSUS: Godfather of the computer | 1972 |
|
Professor Brian Randell
| On Alan Turing and the Origins of Digital Computers | 1972 |
|
Professor Brian Randell
| On Alan Turing and the Origins of Digital Computers | 1972 |
|
Professor Brian Randell
| Operating Systems: The problems of performance and reliability | 1972 |
|
Professor Brian Randell
| Process Structuring | 1972 |
|
Professor Brian Randell
| Special Issue on Third ACM Symposium on Operating Systems Principles | 1972 |
|
Professor Brian Randell
| The Origins of Digital Computers: A Bibliography | 1972 |
|
Professor Brian Randell
| Thrashing in a Multi-programmed Paging System | 1972 |
|
Professor Brian Randell
| 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 | 1971 |
|
Professor Brian Randell
| Highly Reliable Computing Systems | 1971 |
|
Professor Brian Randell
| Large Program Design Methodology | 1971 |
|
Professor Brian Randell
| Ludgate's Analytical Machine of 1909 | 1971 |
|
Professor Brian Randell
| Ludgate's Analytical Machine of 1909 | 1971 |
|
Professor Brian Randell
| Operating Systems: The Problems of Performance and Reliability | 1971 |
|
Professor Brian Randell
| Performance Predications for Extended Paged Memories | 1971 |
|
Professor Brian Randell
| Performance Predictions for Extended Paged Memories | 1971 |
|
Professor Brian Randell
| Thrashing in a Multi-Programmed Paging System | 1971 |
|
Professor Brian Randell
| Minority Report | 1970 |
|
Professor Brian Randell
| Software Engineering Techniques: Report of a conference sponsored by the NATO Science Committee, Rome, Italy, 27th-31st October 1969 | 1970 |
|
Professor Brian Randell
| The Gentle Art of Programming: Inaugural Lecture, University of Newcastle upon Tyne | 1970 |
|
Professor Brian Randell
| A Note on Storage Fragmentation and Program Segmentation | 1969 |
|
Professor Brian Randell
| Dynamic Instruction Scheduling | 1969 |
|
Professor Brian Randell
| Interacting Sequential Processes | 1969 |
|
Professor Brian Randell
| Software Engineering: Report of a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th-11th October 1968 | 1969 |
|
Professor Brian Randell
| Structuring Complex Processes | 1969 |
|
Professor Brian Randell
| Towards a Methodology of Computing System Design | 1969 |
|
Professor Brian Randell
| A Note on Storage Fragmentation and Program Segmentation | 1968 |
|
Professor Brian Randell
| Demand Paging in Perspective | 1968 |
|
Professor Brian Randell
| Demand Paging in Perspective | 1968 |
|
Professor Brian Randell
| Dynamic Storage Allocation Systems | 1968 |
|
Professor Brian Randell
| Iterative Multi-Level modelling: A methodology for computer system design | 1968 |
|
Professor Brian Randell
| Iterative Multi-Level Modelling: A methodology for computer system design | 1968 |
|
Professor Brian Randell
| Multilevel Modeling - A Methodology for Computer System Design | 1968 |
|
Professor Brian Randell
| Review of “Description of ALGOL 60” by H. Rutishauser (Review no. 14821) | 1968 |
|
Professor Brian Randell
| Review of “Hardware Factors for Real-Time Systems” by E. Yourdon (Review no. 14499) | 1968 |
|
Professor Brian Randell
| Review of “The Design of a Modular Real-Time Supervisor” by E. Yourdon (Review no. 14513) | 1968 |
|
Professor Brian Randell
| Review of “Translation of ALGOL 60” by A. A. Grau et al (Review no. 14958) | 1968 |
|
Professor Brian Randell
| Deadline Scheduling | 1967 |
|
Professor Brian Randell
| Dynamic Storage Allocation Systems | 1967 |
|
Professor Brian Randell
| Review of “AMTRAN, a Remote Terminal, Conversational-Mode Computer System” by J. Reinfelds et al (Review no. 11204) | 1967 |
|
Professor Brian Randell
| Review of “Introduction to ALGOL Programming” by T. Ekman and C-E. Froberg (Review no. 10460) | 1966 |
|
Professor Brian Randell
| Review of “TALK - A high level source language debugging technique with real-time data extraction” by R. L. ver Steeg (Review no. 6950) | 1965 |
|
Professor Brian Randell
| Review of “The Efficient Administration of Blocks in ALGOL” by P. A. Samet (Review no. 8858) | 1965 |
|
Professor Brian Randell
| ALGOL 60 Implementation: the Translation and Use of ALGOL 60 Programs on a Computer | 1964 |
|
Professor Brian Randell
| Review of “An Introduction to ALGOL Programming” by R. Wooldridge and J. F. Ratcliffe | 1964 |
|
Professor Brian Randell
| Single-Scan Techniques for the Translation of Arithmetic Expressions into Algol 60 | 1964 |
|
Professor Brian Randell
| The Whetstone KDF9 Algol Translator | 1964 |
|
Professor Brian Randell
| Whetstone Algol Revisited, or Confessions of a Compiler Writer | 1964 |
|
Professor Brian Randell
| Certification of Algorithms 63, 64 and 65: Partition, Quicksort and Find | 1963 |
|
Professor Brian Randell
| Review of “Machine Independent Computer Programming” by M. H. Halstead | 1963 |
|
Professor Brian Randell
| Review of “Process for an ALGOL Translator by G. van der Mey | 1963 |
|
Professor Brian Randell
| Certification of Algorithm 50: Inverse of a Finite Segment of the Hilbert Matrix | 1962 |
|
Professor Brian Randell
| Certification of Algorithm 66: INVRS | 1962 |
|
Professor Brian Randell
| DEUCE ALGOL | 1962 |
|
Professor Brian Randell
| Discussions on ALGOL Translation, at Mathematisch Centrum | 1962 |
|
Professor Brian Randell
| Proposals for Code Procedures in KDF9 Algol | 1962 |
|
Professor Brian Randell
| The Object Programme Generated by the Whetstone KDF9 | 1962 |
|
Professor Brian Randell
| The Whetstone KDF9 ALGOL Translator | 1962 |
|
Professor Brian Randell
| EASICODE | 1960 |
|
Professor Brian Randell
| Multi-Section EASICODE | 1960 |
|
Professor Brian Randell
| Preliminary Report on EASICODE | 1958 |
|
