Brian Randell

Brian Randell: A Turing Enigma. CONCUR 2012: 23-36

Paolo Missier, Brian Randell, Maciej Koutny: Modelling Provenance Using Structured Occurrence Networks. IPAW 2012: 183-197

Feng Hao, Brian Randell, Dylan Clarke: Self-enforcing Electronic Voting. Security Protocols Workshop 2012: 23-31

Dylan Clarke, Feng Hao, Brian Randell: Analysis of Issues and Challenges of E-Voting in the UK. Security Protocols Workshop 2012: 126-135

Brian Randell: Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. Petri Nets 2011: 1-16

Maciej Koutny, Brian Randell: Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. Fundam. Inform. 97(1-2): 41-91 (2009)

Jeff Jianxin Yan, Brian Randell: An Investigation of Cheating in Online Games. IEEE Security & Privacy 7(3): 37-44 (2009)

Brian Randell: Position Statement: How Far Have We Come? COMPSAC 2008: 8

Brian Randell: System Complexity and System Failures. ECBS 2008: 5

Brian Randell: A computer scientist's reactions to NPfIT. JIT 22(3): 222-234 (2007)

Brian Randell, John M. Rushby: Distributed Secure Systems: Then and Now. ACSAC 2007: 177-199

Brian Randell: The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies. DSN 2007: 813

Brian Randell, Maciej Koutny: Failures: Their Definition, Modelling and Analysis. ICTAC 2007: 260-274

Brian Randell, Peter Y. A. Ryan: Voting Technologies and Trust. IEEE Security & Privacy 4(5): 50-56 (2006)

Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues: The atomic manifesto: a story in four quarks. SIGMOD Record 34(1): 63-69 (2005)

Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís Rodrigues: The atomic manifesto: a story in four quarks. Operating Systems Review 39(2): 41-46 (2005)

Brian Randell, Peter Y. A. Ryan: Voting Technologies and Trust. Formal Aspects in Security and Trust 2005: 1-4

Jeff Jianxin Yan, Brian Randell: A systematic classification of cheating in online games. NETGAMES 2005: 1-9

Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, Carl E. Landwehr: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. Dependable Sec. Comput. 1(1): 11-33 (2004)

Algirdas Avizienis, Jean-Claude Laprie, Brian Randell: Dependability and its threats - A taxonomy. IFIP Congress Topical Sessions 2004: 91-120

Tom Anderson, Brian Randell, Alexander B. Romanovsky: Wrapping the future. IFIP Congress Topical Sessions 2004: 165-174

Brian Randell: Dependable Pervasive Systems. SRDS 2004: 2

Brian Randell: On Failures and Faults. FME 2003: 18-39

Brian Randell: Edsger Dijkstra. WORDS Fall 2003: 3-

Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke: Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers 51(2): 164-179 (2002)

Jie Xu, Brian Randell, Alexander B. Romanovsky: A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 207-214

John E. Dobson, Brian Randell: Building Reliable Secure Computing Systems out of Unreliable Insecure Components. ACSAC 2001: 164-173

Delano M. Beder, Cecília M. F. Rubira, Brian Randell, Alexander B. Romanovsky: On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. ISORC 2001: 103-112

Brian Randell: Turing Memorial Lecture Facing Up to Faults. Comput. J. 43(2): 95-106 (2000)

Delano M. Beder, Alexander B. Romanovsky, Brian Randell, C. Richard Snow, Robert J. Stroud: An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. Operating Systems Review 34(4): 21-31 (2000)

Jie Xu, Alexander B. Romanovsky, Brian Randell: Concurrent Exception Handling and Resolution in Distributed Object Systems. IEEE Trans. Parallel Distrib. Syst. 11(10): 1019-1032 (2000)

Avelino F. Zorzo, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch: Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Softw., Pract. Exper. 29(8): 677-697 (1999)

Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke: Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS 1999: 68-75

Brian Randell: Fault Tolerance in Decentralized Systems. ISADS 1999: 174-

R. Benjamin, B. Gladman, Brian Randell: Protecting IT Systems from Cyber Crime. Comput. J. 41(7): 429-443 (1998)

Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell: Cyber Threats (Panel). FTCS 1998: 104-106

Jie Xu, Alexander B. Romanovsky, Brian Randell: Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. ICDCS 1998: 12-21

Alexander B. Romanovsky, Jie Xu, Brian Randell: Exception Handling in Object-Oriented Real-Time Distributed Systems. ISORC 1998: 32-42

Alexander Romanovsky, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo: Implementation of blocking coordinated atomic actions based on forward error recovery. Journal of Systems Architecture 43(10): 687-699 (1997)

Jie Xu, Alexander B. Romanovsky, Brian Randell: Exception Handling and Resolution in Distributed Object-oriented Systems. ICDCS 1996: 545-553

Jie Xu, Brian Randell: Roll-forward error recovery in embedded real-time systems. ICPADS 1996: 414-421

Jie Xu, Brian Randell, Alexander B. Romanovsky, Cecília M. F. Rubira, Robert J. Stroud, Zhixue Wu: Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. FTCS 1995: 499-508

Jean-Charles Fabre, Yves Deswarte, Brian Randell: Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach. EDCC 1994: 21-38

Brian Randell: Some Lessons from the SW2000 Workshop. EDCC 1994: 414-416

Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell: The Duality of Fault-tolerant System Structures. Softw., Pract. Exper. 23(7): 773-798 (1993)

Jean-Charles Fabre, Brian Randell: An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. ESORICS 1992: 193-208

Brian Randell: System Dependability. 25th Anniversary of INRIA 1992: 21-50

Brian Randell: Coping with the Past. Operating Systems of the 90s and Beyond 1991: 72-76

Brian Randell: Can Design Faults be Tolerated. IFIP Congress 1989: 499

Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell: On the Duality of Fault Tolerant System Structures. Experiences with Distributed Systems 1987: 19-37

Brian Randell: System Design and Structuring. Comput. J. 29(4): 300-306 (1986)

Roy H. Campbell, Brian Randell: Error Recovery in Asynchronous Systems. IEEE Trans. Software Eng. 12(8): 811-826 (1986)

Lindsay F. Marshall, Robert J. Stroud, Brian Randell: Making distributed systems work: position paper for Amsterdam workshop. ACM SIGOPS European Workshop 1986

John E. Dobson, Brian Randell: Building Reliable Secure Computing Systems out of Unreliable Insecure Components. IEEE Symposium on Security and Privacy 1986: 187-193

Brian Randell, John E. Dobson: Reliability and Security Issues in Distributed Computing Systems. Symposium on Reliability in Distributed Software and Database Systems 1986: 113-118

Fabio Panzieri, Brian Randell: Interfacing UNIX to Data Communications Networks. IEEE Trans. Software Eng. 11(10): 1016-1032 (1985)

John M. Rushby, Brian Randell: A Distributed Secure System. IEEE Symposium on Security and Privacy 1983: 127-135

Brian Randell: Recursively Structured Distributed Computing Systems. Symposium on Reliability in Distributed Software and Database Systems 1983: 3-11

David R. Brownbridge, Lindsay F. Marshall, Brian Randell: The Newcastle Connection or UNIXes of the World Unite! Softw., Pract. Exper. 12(12): 1147-1162 (1982)

Eike Best, Brian Randell: A Formal Model of Atomicity in Asynchronous Systems. Acta Inf. 16: 93-124 (1981)

Brian Randell: Software Engineering: As it was in 1968. ICSE 1979: 1-10

Brian Randell, P. A. Lee, Philip C. Treleaven: Reliability Issues in Computing System Design. ACM Comput. Surv. 10(2): 123-165 (1978)

Brian Randell: Reliable Computing Systems. Advanced Course: Operating Systems 1978: 282-391

Michael J. Flynn, Jim Gray, Anita K. Jones, Klaus Lagally, Holger Opderbeck, Gerald J. Popek, Brian Randell, Jerome H. Saltzer, Hans-Rüdiger Wiehle (Eds.): Operating Systems, An Advanced Course. Lecture Notes in Computer Science 60, Springer 1978, isbn 3-540-08755-9

P. M. Melliar-Smith, Brian Randell: Software Reliability: The Role of Programmed Exception Handling. Language Design for Reliable Software 1977: 95-100

Brian Randell: System Structure for Software Fault Tolerance. IEEE Trans. Software Eng. 1(2): 221-232 (1975)

James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell: A program structure for error detection and recovery. Symposium on Operating Systems 1974: 171-187

James J. Horning, Brian Randell: Process Structuring. ACM Comput. Surv. 5(1): 5-30 (1973)

Edward G. Coffman Jr., Brian Randell: Performance Predictions for Extended Paged Memories. Acta Inf. 1: 1-13 (1971)

Brian Randell: Ludgate's Analytical Machine of 1909. Comput. J. 14(3): 317-326 (1971)

Brian Randell: Operating Systems: The Problems of Performance and Reliability. IFIP Congress (1) 1971: 281-290

Brian Randell: A note on storage fragmentation and program segmentation. Commun. ACM 12(7): 365-369 (1969)

Brian Randell, C. J. Kuehner: Dynamic storage allocation systems. Commun. ACM 11(5): 297-306 (1968)

F. W. Zurcher, Brian Randell: Iterative multi-level modelling. A methodology for computer system design. IFIP Congress (2) 1968: 867-871

Brian Randell, L. J. Russell: Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60. J. ACM 11(2): 159-167 (1964)

Brian Randell, L. J. Russell: Certification of algorithms 63, 64 and 65, partition, quicksort, and find. Commun. ACM 6(8): 446 (1963)

Brian Randell: Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix. Commun. ACM 5(1): 50 (1962)

Brian Randell, C. G. Broyden: Certification of Algorithm 66: INVRS. Commun. ACM 5(1): 50 (1962)

Brian Randell: Remark on Algorithm 76: Sorting procedures. Commun. ACM 5(6): 348 (1962)