Brian Randell

115 papers A* 2A 6B 5C 4Misc 2Journal 57Unranked 34
YearRankTypeTitle / Venue / Authors
2025 J jnl
Artificial Intelligence: ChatGPT's Astonishing Fabrications About Percy Ludgate.
Ubiquity
Brian A. Coghlan, Brian Randell, Noel M. O'Boyle, Walter F. Tichy
2025 J jnl
Looking Back on Recovery Blocks and Conversations.
IEEE Trans. Software Eng.
Brian Randell, Jie Xu
2024 J jnl
How Percy Ludgate's 1909 Paper (and IBM) Helped Thwart Konrad Zuse's Computer Patent in 1960.
IEEE Ann. Hist. Comput.
Brian A. Coghlan, Brian Randell, Ralf Buelow
2024 J jnl
Structured Acyclic Nets.
CoRR
Mohammed Alahmadi, Salma Alharbi, Talal Alharbi, Nadiyah Almutairi, Tuwailaa Alshammari, Anirban Bhattacharyya, Maciej Koutny, Bowen Li, Brian Randell
2023 J jnl
ChatGPT's Astonishing Fabrications About Percy Ludgate.
IEEE Ann. Hist. Comput.
Brian Randell, Brian A. Coghlan
2022 — ch.
Edsger Dijkstra - Some Reminiscences.
Edsger Wybe Dijkstra
Brian Randell
2021 J jnl
Exception Handling on Multiparty Interactions.
CoRR
Brian Randell, Avelino Francisco Zorzo
2021 J jnl
Investigating the Work and Life of Percy Ludgate.
IEEE Ann. Hist. Comput.
Brian A. Coghlan, Brian Randell, Paul Hockie, Trish Gonzalez, David McQuillan, Reddy O'Regan
2021 J jnl
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems.
CoRR
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo
2019 — ch.
Early Interactions with Carl Adam Petri.
Carl Adam Petri: Ideas, Personality, Impact
Brian Randell
2018 J jnl
Fifty Years of Software Engineering - or - The View from Garmisch.
CoRR
Brian Randell
2018 — conf
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets.
ACSD
Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny
2018 J jnl
Verifiable Classroom Voting in Practice.
IEEE Secur. Priv.
Feng Hao, Dylan Clarke, Brian Randell, Siamak F. Shahandashti
2017 — ch.
Turing and the origins of digital computers.
The Turing Guide
Brian Randell
2017 — ch.
Ultra revelations.
The Turing Guide
Brian Randell
2017 J jnl
Verifiable Classroom Voting in Practice.
IACR Cryptol. ePrint Arch.
Feng Hao, Dylan Clarke, Brian Randell, Siamak F. Shahandashti
2016 — conf
Time in Structured Occurrence Nets.
PNSE @ Petri Nets
Anirban Bhattacharyya, Bowen Li, Brian Randell
2015 J jnl
Reminiscences of Project Y and the ACS Project.
IEEE Ann. Hist. Comput.
Brian Randell
2014 — conf
Every Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting.
EVT/WOTE
Feng Hao, Matthew Nicolas Kreeger, Brian Randell, Dylan Clarke, Siamak Fayyaz Shahandashti, Peter Hyun-Jeen Lee
2012 B conf
A Turing Enigma.
CONCUR
Brian Randell
2012 — conf
Analysis of Issues and Challenges of E-Voting in the UK.
Security Protocols Workshop
Dylan Clarke, Feng Hao, Brian Randell
2012 — conf
Modelling Provenance Using Structured Occurrence Networks.
IPAW
Paolo Missier, Brian Randell, Maciej Koutny
2012 — conf
Self-enforcing Electronic Voting.
Security Protocols Workshop
Feng Hao, Brian Randell, Dylan Clarke
2011 J jnl
A computer perspective.
Inroads
Brian Randell
2011 B conf
Occurrence Nets Then and Now: The Path to Structured Occurrence Nets.
Petri Nets
Brian Randell
2009 J jnl
An Investigation of Cheating in Online Games.
IEEE Secur. Priv.
Jeff Jianxin Yan, Brian Randell
2009 J jnl
Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques.
Fundam. Informaticae
Maciej Koutny, Brian Randell
2008 B conf
Position Statement: How Far Have We Come?
COMPSAC
Brian Randell
2008 — conf
System Complexity and System Failures.
ECBS
Brian Randell
2007 J jnl
A computer scientist's reactions to NPfIT.
J. Inf. Technol.
Brian Randell
2007 A conf
Distributed Secure Systems: Then and Now.
ACSAC
Brian Randell, John M. Rushby
2007 C conf
Failures: Their Definition, Modelling and Analysis.
ICTAC
Brian Randell, Maciej Koutny
2007 A conf
The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies.
DSN
Brian Randell
2006 J jnl
Voting Technologies and Trust.
IEEE Secur. Priv.
Brian Randell, Peter Y. A. Ryan
2005 — conf
A systematic classification of cheating in online games.
NETGAMES
Jeff Jianxin Yan, Brian Randell
2005 J jnl
The atomic manifesto: a story in four quarks.
SIGMOD Rec.
Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
2005 J jnl
The atomic manifesto: a story in four quarks.
ACM SIGOPS Oper. Syst. Rev.
Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
2005 — conf
Voting Technologies and Trust.
Formal Aspects in Security and Trust
Brian Randell, Peter Y. A. Ryan
2004 J jnl
Basic Concepts and Taxonomy of Dependable and Secure Computing.
IEEE Trans. Dependable Secur. Comput.
Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, Carl E. Landwehr
2004 — conf
Dependability and its threats - A taxonomy.
IFIP Congress Topical Sessions
Algirdas Avizienis, Jean-Claude Laprie, Brian Randell
2004 B conf
Dependable Pervasive Systems.
SRDS
Brian Randell
2004 — conf
The Atomic Manifesto: a Story in Four Quarks.
Atomicity in System Design and Execution
Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
2004 — conf
Wrapping the future.
IFIP Congress Topical Sessions
Tom Anderson, Brian Randell, Alexander B. Romanovsky
2003 — conf
Edsger Dijkstra.
WORDS Fall
Brian Randell
2003 — conf
On Failures and Faults.
FME
Brian Randell
2002 — conf
A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software.
Symposium on Object-Oriented Real-Time Distributed Computing
Jie Xu, Brian Randell, Alexander B. Romanovsky
2002 J jnl
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.
IEEE Trans. Computers
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
2001 A conf
Building Reliable Secure Computing Systems out of Unreliable Insecure Components.
ACSAC
John E. Dobson, Brian Randell
2001 C conf
On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems.
ISORC
Delano M. Beder, Cecília M. F. Rubira, Brian Randell, Alexander B. Romanovsky
2000 J jnl
An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.
ACM SIGOPS Oper. Syst. Rev.
Delano M. Beder, Alexander B. Romanovsky, Brian Randell, C. Richard Snow, Robert J. Stroud
2000 J jnl
Concurrent Exception Handling and Resolution in Distributed Object Systems.
IEEE Trans. Parallel Distributed Syst.
Jie Xu, Alexander B. Romanovsky, Brian Randell
2000 J jnl
Turing Memorial Lecture Facing Up to Faults.
Comput. J.
Brian Randell
1999 C conf
Fault Tolerance in Decentralized Systems.
ISADS
Brian Randell
1999 — conf
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.
FTCS
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke
1999 J jnl
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study.
Softw. Pract. Exp.
Avelino F. Zorzo, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch
1998 A conf
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation.
ICDCS
Jie Xu, Alexander B. Romanovsky, Brian Randell
1998 — conf
Cyber Threats (Panel).
FTCS
Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell
1998 C conf
Exception Handling in Object-Oriented Real-Time Distributed Systems.
ISORC
Alexander B. Romanovsky, Jie Xu, Brian Randell
1998 J jnl
Protecting IT Systems from Cyber Crime.
Comput. J.
R. Benjamin, B. Gladman, Brian Randell
1997 J jnl
Implementation of blocking coordinated atomic actions based on forward error recovery.
J. Syst. Archit.
Alexander B. Romanovsky, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo
1996 J jnl
Anecdotes.
IEEE Ann. Hist. Comput.
Brian Randell, Rudolph E. Hirsch
1996 A conf
Exception Handling and Resolution in Distributed Object-oriented Systems.
ICDCS
Jie Xu, Alexander B. Romanovsky, Brian Randell
1996 B conf
Roll-forward error recovery in embedded real-time systems.
ICPADS
Jie Xu, Brian Randell
1995 — conf
Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery.
FTCS
Jie Xu, Brian Randell, Alexander B. Romanovsky, Cecília M. F. Rubira, Robert J. Stroud, Zhixue Wu
1994 Misc conf
Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach.
EDCC
Jean-Charles Fabre, Yves Deswarte, Brian Randell
1994 Misc conf
Some Lessons from the SW2000 Workshop.
EDCC
Brian Randell
1994 J jnl
The origins of computer programming.
IEEE Ann. Hist. Comput.
Brian Randell
1993 J jnl
The Duality of Fault-tolerant System Structures.
Softw. Pract. Exp.
Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell
1992 A conf
An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems.
ESORICS
Jean-Charles Fabre, Brian Randell
1992 J jnl
Happenings.
IEEE Ann. Hist. Comput.
Judy E. O'Neill, Brian Randell, Geoffrey C. Bowker, J.-P. Poitou, Pierre-E. Mounier-Kuhn, B. Crozier
1992 — conf
System Dependability.
25th Anniversary of INRIA
Brian Randell
1991 — conf
Coping with the Past.
Operating Systems of the 90s and Beyond
Brian Randell
1991 J jnl
Network and infrastructure user requirements for transatlantic research collaboration: Brussels, July 16-18, and Washington July 24-25, 1990.
RFC
Vinton G. Cerf, Peter T. Kirstein, Brian Randell
1989 — conf
Can Design Faults be Tolerated.
IFIP Congress
Brian Randell
1987 — conf
On the Duality of Fault Tolerant System Structures.
Experiences with Distributed Systems
Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell
1987 J jnl
The Wiener Memorandum on the Mechanical Solution of Partial Differential Equations.
IEEE Ann. Hist. Comput.
Pesi Masani, Brian Randell, David K. Ferry, Richard Saeks
1987 J jnl
The architecture of UNIX united.
Proc. IEEE
James P. Black, Lindsay F. Marshall, Brian Randell
1986 — conf
Building Reliable Secure Computing Systems out of Unreliable Insecure Components.
S&P
John E. Dobson, Brian Randell
1986 J jnl
Error Recovery in Asynchronous Systems.
IEEE Trans. Software Eng.
Roy H. Campbell, Brian Randell
1986 — conf
Making distributed systems work: position paper for Amsterdam workshop.
ACM SIGOPS European Workshop
Lindsay F. Marshall, Robert J. Stroud, Brian Randell
1986 — conf
Reliability and Security Issues in Distributed Computing Systems.
Symposium on Reliability in Distributed Software and Database Systems
Brian Randell, John E. Dobson
1986 J jnl
System Design and Structuring.
Comput. J.
Brian Randell
1985 J jnl
Hardware/software tradeoffs: a general design principle?
SIGARCH Comput. Archit. News
Brian Randell
1985 J jnl
Interfacing UNIX to Data Communications Networks.
IEEE Trans. Software Eng.
Fabio Panzieri, Brian Randell
1983 — conf
A Distributed Secure System.
S&P
John M. Rushby, Brian Randell
1983 J jnl
A Distributed Secure System.
Computer
John M. Rushby, Brian Randell
1983 J jnl
A Mysterious Advertisement.
IEEE Ann. Hist. Comput.
Brian Randell
1983 — conf
Recursively Structured Distributed Computing Systems.
Symposium on Reliability in Distributed Software and Database Systems
Brian Randell
1982 J jnl
From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush.
IEEE Ann. Hist. Comput.
Brian Randell
1982 J jnl
The Newcastle Connection or UNIXes of the World Unite!
Softw. Pract. Exp.
David R. Brownbridge, Lindsay F. Marshall, Brian Randell
1981 J jnl
A Formal Model of Atomicity in Asynchronous Systems.
Acta Informatica
Eike Best, Brian Randell
1981 J jnl
Commentary (with replies by the authors).
IEEE Ann. Hist. Comput.
John Vincent Atanasoff, John Grist Brainerd, J. Presper Eckert, Kathleen R. Mauchly, Brian Randell, Konrad Zuse
1979 J jnl
An Annotated Bibliography on the Origins of Digital Computers.
IEEE Ann. Hist. Comput.
Brian Randell
1979 A* conf
Software Engineering: As it was in 1968.
ICSE
Brian Randell
1978 — ed.
Operating Systems, An Advanced Course
Advanced Course: Operating Systems
Michael J. Flynn, Jim Gray, Anita K. Jones, Klaus Lagally, Holger Opderbeck, Gerald J. Popek, Brian Randell, Jerome H. Saltzer, Hans-Rüdiger Wiehle
1978 J jnl
Reliability Issues in Computing System Design.
ACM Comput. Surv.
Brian Randell, P. A. Lee, Philip C. Treleaven
1978 — conf
Reliable Computing Systems.
Advanced Course: Operating Systems
Brian Randell
1977 — conf
Software Reliability: The Role of Programmed Exception Handling.
Language Design for Reliable Software
P. M. Melliar-Smith, Brian Randell
1975 J jnl
System Structure for Software Fault Tolerance.
IEEE Trans. Software Eng.
Brian Randell
1975 — conf
System structure for software fault tolerance.
Reliable Software
Brian Randell
1974 — conf
A program structure for error detection and recovery.
Symposium on Operating Systems
James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell
1973 J jnl
Process Structuring.
ACM Comput. Surv.
James J. Horning, Brian Randell
1971 J jnl
Ludgate's Analytical Machine of 1909.
Comput. J.
Brian Randell
1971 — conf
Operating Systems: The Problems of Performance and Reliability.
IFIP Congress (1)
Brian Randell
1971 J jnl
Performance Predictions for Extended Paged Memories.
Acta Informatica
Edward G. Coffman Jr., Brian Randell
1969 J jnl
A note on storage fragmentation and program segmentation.
Commun. ACM
Brian Randell
1968 — conf
Demand paging in perspective.
AFIPS Fall Joint Computing Conference (2)
C. J. Kuehner, Brian Randell
1968 J jnl
Dynamic storage allocation systems.
Commun. ACM
Brian Randell, C. J. Kuehner
1968 — conf
Iterative multi-level modelling. A methodology for computer system design.
IFIP Congress (2)
Frank W. Zurcher, Brian Randell
1967 A* conf
Dynamic storage allocation systems.
SOSP
Brian Randell, C. J. Kuehner
1964 J jnl
Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60.
J. ACM
Brian Randell, L. J. Russell
1963 J jnl
Certification of algorithms 63, 64 and 65, partition, quicksort, and find.
Commun. ACM
Brian Randell, L. J. Russell
1962 J jnl
Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix.
Commun. ACM
Brian Randell
1962 J jnl
Certification of Algorithm 66: INVRS.
Commun. ACM
Brian Randell, C. G. Broyden
1962 J jnl
Remark on Algorithm 76: Sorting procedures.
Commun. ACM
Brian Randell