Brian Randell

According to our database1, Brian Randell authored at least 102 papers between 1962 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2008, "For contributions to dependable computing and computer history.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Structured Acyclic Nets.
CoRR, 2024

2023
ChatGPT's Astonishing Fabrications About Percy Ludgate.
IEEE Ann. Hist. Comput., 2023

2022
Edsger Dijkstra - Some Reminiscences.
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2021
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems.
CoRR, 2021

Exception Handling on Multiparty Interactions.
CoRR, 2021

Investigating the Work and Life of Percy Ludgate.
IEEE Ann. Hist. Comput., 2021

2019
Early Interactions with Carl Adam Petri.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018
Verifiable Classroom Voting in Practice.
IEEE Secur. Priv., 2018

Fifty Years of Software Engineering - or - The View from Garmisch.
CoRR, 2018

SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017
Ultra revelations.
Proceedings of the Turing Guide., 2017

Turing and the origins of digital computers.
Proceedings of the Turing Guide., 2017

2016
Time in Structured Occurrence Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015
Reminiscences of Project Y and the ACS Project.
IEEE Ann. Hist. Comput., 2015

2014
Every Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting.
Proceedings of the 2014 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections, 2014

2012
Self-enforcing Electronic Voting.
Proceedings of the Security Protocols XX, 2012

Analysis of Issues and Challenges of E-Voting in the UK.
Proceedings of the Security Protocols XX, 2012

Modelling Provenance Using Structured Occurrence Networks.
Proceedings of the Provenance and Annotation of Data and Processes, 2012

A Turing Enigma.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
A computer perspective.
Inroads, 2011

Occurrence Nets Then and Now: The Path to Structured Occurrence Nets.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2009
An Investigation of Cheating in Online Games.
IEEE Secur. Priv., 2009

Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques.
Fundam. Informaticae, 2009

2008
System Complexity and System Failures.
Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

Position Statement: How Far Have We Come?
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
A computer scientist's reactions to NPfIT.
J. Inf. Technol., 2007

Failures: Their Definition, Modelling and Analysis.
Proceedings of the Theoretical Aspects of Computing, 2007

The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Distributed Secure Systems: Then and Now.
Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC 2007), 2007

2006
Voting Technologies and Trust.
IEEE Secur. Priv., 2006

2005
The atomic manifesto: a story in four quarks.
SIGMOD Rec., 2005

A systematic classification of cheating in online games.
Proceedings of the 4th Workshop on Network and System Support for Games, 2005

2004
Basic Concepts and Taxonomy of Dependable and Secure Computing.
IEEE Trans. Dependable Secur. Comput., 2004

Dependable Pervasive Systems.
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

Dependability and its threats - A taxonomy.
Proceedings of the Building the Information Society, 2004

Wrapping the future.
Proceedings of the Building the Information Society, 2004

2003
Edsger Dijkstra.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

On Failures and Faults.
Proceedings of the FME 2003: Formal Methods, 2003

2002
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.
IEEE Trans. Computers, 2002

A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2001
On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

2000
Concurrent Exception Handling and Resolution in Distributed Object Systems.
IEEE Trans. Parallel Distributed Syst., 2000

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.
ACM SIGOPS Oper. Syst. Rev., 2000

Turing Memorial Lecture Facing Up to Faults.
Comput. J., 2000

1999
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study.
Softw. Pract. Exp., 1999

Fault Tolerance in Decentralized Systems.
Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.
Proceedings of the Digest of Papers: FTCS-29, 1999

1998
Protecting IT Systems from Cyber Crime.
Comput. J., 1998

Exception Handling in Object-Oriented Real-Time Distributed Systems.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Cyber Threats (Panel).
Proceedings of the Digest of Papers: FTCS-28, 1998

1997
Implementation of blocking coordinated atomic actions based on forward error recovery.
J. Syst. Archit., 1997

1996
Anecdotes.
IEEE Ann. Hist. Comput., 1996

Roll-forward error recovery in embedded real-time systems.
Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), 1996

Exception Handling and Resolution in Distributed Object-oriented Systems.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995
Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery.
Proceedings of the Digest of Papers: FTCS-25, 1995

1994
The origins of computer programming.
IEEE Ann. Hist. Comput., 1994

Some Lessons from the SW2000 Workshop.
Proceedings of the Dependable Computing, 1994

Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach.
Proceedings of the Dependable Computing, 1994

1993
The Duality of Fault-tolerant System Structures.
Softw. Pract. Exp., 1993

1992
Happenings.
IEEE Ann. Hist. Comput., 1992

System Dependability.
Proceedings of the Future Tendencies in Computer Science, 1992

An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems.
Proceedings of the Computer Security, 1992

1991
Network and infrastructure user requirements for transatlantic research collaboration: Brussels, July 16-18, and Washington July 24-25, 1990.
RFC, March, 1991

Coping with the Past.
Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1989
Can Design Faults be Tolerated.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987
The architecture of UNIX united.
Proc. IEEE, 1987

The Wiener Memorandum on the Mechanical Solution of Partial Differential Equations.
IEEE Ann. Hist. Comput., 1987

1986
Error Recovery in Asynchronous Systems.
IEEE Trans. Software Eng., 1986

System Design and Structuring.
Comput. J., 1986

Reliability and Security Issues in Distributed Computing Systems.
Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems, 1986

Building Reliable Secure Computing Systems out of Unreliable Insecure Components.
Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986

Making distributed systems work: position paper for Amsterdam workshop.
Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

1985
Interfacing UNIX to Data Communications Networks.
IEEE Trans. Software Eng., 1985

Hardware/software tradeoffs: a general design principle?
SIGARCH Comput. Archit. News, 1985

1983
A Distributed Secure System.
Computer, 1983

A Mysterious Advertisement.
IEEE Ann. Hist. Comput., 1983

Recursively Structured Distributed Computing Systems.
Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983

1982
The Newcastle Connection or UNIXes of the World Unite!
Softw. Pract. Exp., 1982

From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush.
IEEE Ann. Hist. Comput., 1982

1981
Commentary (with replies by the authors).
IEEE Ann. Hist. Comput., 1981

A Formal Model of Atomicity in Asynchronous Systems.
Acta Informatica, 1981

1979
An Annotated Bibliography on the Origins of Digital Computers.
IEEE Ann. Hist. Comput., 1979

Software Engineering: As it was in 1968.
Proceedings of the 4th International Conference on Software Engineering, 1979

1978
Reliability Issues in Computing System Design.
ACM Comput. Surv., 1978

Reliable Computing Systems.
Proceedings of the Operating Systems, 1978

1977
Software Reliability: The Role of Programmed Exception Handling.
Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977

1975
System Structure for Software Fault Tolerance.
IEEE Trans. Software Eng., 1975

1974
A program structure for error detection and recovery.
Proceedings of the Operating Systems, 1974

1973
Process Structuring.
ACM Comput. Surv., 1973

1971
Ludgate's Analytical Machine of 1909.
Comput. J., 1971

Performance Predictions for Extended Paged Memories.
Acta Informatica, 1971

Operating Systems: The Problems of Performance and Reliability.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1969
A note on storage fragmentation and program segmentation.
Commun. ACM, 1969

1968
Dynamic storage allocation systems.
Commun. ACM, 1968

Iterative multi-level modelling. A methodology for computer system design.
Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 2, 1968

Demand paging in perspective.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '68 Fall Joint Computer Conference, December 9-11, 1968, San Francisco, California, USA, 1968

1964
Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60.
J. ACM, 1964

1963
Certification of algorithms 63, 64 and 65, partition, quicksort, and find.
Commun. ACM, 1963

1962
Certification of Algorithm 66: INVRS.
Commun. ACM, 1962

Remark on Algorithm 76: Sorting procedures.
Commun. ACM, 1962

Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix.
Commun. ACM, 1962


  Loading...