Brian Randell

According to our database1, Brian Randell
  • authored at least 94 papers between 1962 and 2017.
  • has a "Dijkstra number"2 of three.

Awards

ACM Fellow

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Verifiable Classroom Voting in Practice.
IACR Cryptology ePrint Archive, 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 Annals of the History of Computing, 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 Security & Privacy, 2009

Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques.
Fundam. Inform., 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.
JIT, 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 Security & Privacy, 2006

2005
The atomic manifesto: a story in four quarks.
Operating Systems Review, 2005

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

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

Voting Technologies and Trust.
Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

2004
Basic Concepts and Taxonomy of Dependable and Secure Computing.
IEEE Trans. Dependable Sec. 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

The Atomic Manifesto: a Story in Four Quarks.
Proceedings of the Atomicity in System Design and Execution, 25.04. - 30.04.2004, 2004

2003
Edsger Dijkstra.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003 Fall), 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

Building Reliable Secure Computing Systems out of Unreliable Insecure Components.
Proceedings of the 17th Annual Computer Security Applications Conference (ACSAC 2001), 2001

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

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.
Operating Systems Review, 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. Exper., 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.
Journal of Systems Architecture, 1997

1996
Anecdotes.
IEEE Annals of the History of Computing, 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 Annals of the History of Computing, 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. Exper., 1993

1992
Happenings.
IEEE Annals of the History of Computing, 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
Coping with the Past.
Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1989
Can Design Faults be Tolerated.
IFIP Congress, 1989

1987
The Wiener Memorandum on the Mechanical Solution of Partial Differential Equations.
IEEE Annals of the History of Computing, 1987

On the Duality of Fault Tolerant System Structures.
Proceedings of the Experiences with Distributed Systems, 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

1983
A Distributed Secure System.
IEEE Computer, 1983

A Mysterious Advertisement.
IEEE Annals of the History of Computing, 1983

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

A Distributed Secure System.
Proceedings of the 1983 IEEE Symposium on Security and Privacy, 1983

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

From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush.
IEEE Annals of the History of Computing, 1982

1981
Commentary (with replies by the authors).
IEEE Annals of the History of Computing, 1981

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

1979
An Annotated Bibliography on the Origins of Digital Computers.
IEEE Annals of the History of Computing, 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.
Language Design for Reliable Software, 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 Inf., 1971

Operating Systems: The Problems of Performance and Reliability.
IFIP Congress (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.
IFIP Congress (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...