We stand with Ukraine

We stand with Ukraine

Brian Randell

Orcid: 0000-0002-5863-0107

According to our database¹, Brian Randell authored at least 103 papers between 1962 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of three.

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.

[BibT_eX]

[DOI]

Mohammed Alahmadi

,

,

,

Nadiyah Almutairi

,

Tuwailaa Alshammari

,

Anirban Bhattacharyya

,

,

,

CoRR, 2024

How Percy Ludgate's 1909 Paper (and IBM) Helped Thwart Konrad Zuse's Computer Patent in 1960.

[BibT_eX]

[DOI]

Brian A. Coghlan

,

,

IEEE Ann. Hist. Comput., 2024

2023

ChatGPT's Astonishing Fabrications About Percy Ludgate.

[BibT_eX]

[DOI]

,

Brian A. Coghlan

IEEE Ann. Hist. Comput., 2023

2022

Edsger Dijkstra - Some Reminiscences.

[BibT_eX]

[DOI]

Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022

2021

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

[BibT_eX]

[DOI]

,

,

Alexander B. Romanovsky

,

Robert J. Stroud

,

Avelino F. Zorzo

CoRR, 2021

Exception Handling on Multiparty Interactions.

[BibT_eX]

[DOI]

,

Avelino Francisco Zorzo

CoRR, 2021

Investigating the Work and Life of Percy Ludgate.

[BibT_eX]

[DOI]

Brian A. Coghlan

,

,

,

,

David McQuillan

,

IEEE Ann. Hist. Comput., 2021

2019

Early Interactions with Carl Adam Petri.

[BibT_eX]

[DOI]

Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018

Verifiable Classroom Voting in Practice.

[BibT_eX]

[DOI]

,

,

,

Siamak F. Shahandashti

IEEE Secur. Priv., 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets.

[BibT_eX]

[DOI]

,

,

Anirban Bhattacharyya

,

,

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Ultra revelations.

[BibT_eX]

Proceedings of the Turing Guide., 2017

Turing and the origins of digital computers.

[BibT_eX]

Proceedings of the Turing Guide., 2017

2016

Time in Structured Occurrence Nets.

[BibT_eX]

[DOI]

Anirban Bhattacharyya

,

,

Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016

2015

Reminiscences of Project Y and the ACS Project.

[BibT_eX]

[DOI]

IEEE Ann. Hist. Comput., 2015

2014

Every Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting.

[BibT_eX]

[DOI]

,

Matthew Nicolas Kreeger

,

,

,

Siamak Fayyaz Shahandashti

,

Peter Hyun-Jeen Lee

Proceedings of the 2014 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections, 2014

2012

Self-enforcing Electronic Voting.

[BibT_eX]

[DOI]

,

,

Proceedings of the Security Protocols XX, 2012

Analysis of Issues and Challenges of E-Voting in the UK.

[BibT_eX]

[DOI]

,

,

Proceedings of the Security Protocols XX, 2012

Modelling Provenance Using Structured Occurrence Networks.

[BibT_eX]

[DOI]

,

,

Proceedings of the Provenance and Annotation of Data and Processes, 2012

A Turing Enigma.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

A computer perspective.

[BibT_eX]

[DOI]

Inroads, 2011

Occurrence Nets Then and Now: The Path to Structured Occurrence Nets.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2009

An Investigation of Cheating in Online Games.

[BibT_eX]

[DOI]

Jeff Jianxin Yan

,

IEEE Secur. Priv., 2009

Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques.

[BibT_eX]

[DOI]

,

Fundam. Informaticae, 2009

2008

System Complexity and System Failures.

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

A computer scientist's reactions to NPfIT.

[BibT_eX]

[DOI]

J. Inf. Technol., 2007

Failures: Their Definition, Modelling and Analysis.

[BibT_eX]

[DOI]

,

Proceedings of the Theoretical Aspects of Computing, 2007

The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Distributed Secure Systems: Then and Now.

[BibT_eX]

[DOI]

,

Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC 2007), 2007

2006

Voting Technologies and Trust.

[BibT_eX]

[DOI]

,

Peter Y. A. Ryan

IEEE Secur. Priv., 2006

2005

The atomic manifesto: a story in four quarks.

[BibT_eX]

[DOI]

,

,

Alexander B. Romanovsky

,

,

,

Marie-Claude Gaudel

,

,

Rogério de Lemos

,

J. Eliot B. Moss

,

,

Krithi Ramamritham

,

,

Luís E. T. Rodrigues

SIGMOD Rec., 2005

A systematic classification of cheating in online games.

[BibT_eX]

[DOI]

Jeff Jianxin Yan

,

Proceedings of the 4th Workshop on Network and System Support for Games, 2005

2004

Basic Concepts and Taxonomy of Dependable and Secure Computing.

[BibT_eX]

[DOI]

Algirdas Avizienis

,

Jean-Claude Laprie

,

,

Carl E. Landwehr

IEEE Trans. Dependable Secur. Comput., 2004

Dependable Pervasive Systems.

[BibT_eX]

[DOI]

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

Dependability and its threats - A taxonomy.

[BibT_eX]

[DOI]

Algirdas Avizienis

,

Jean-Claude Laprie

,

Proceedings of the Building the Information Society, 2004

Wrapping the future.

[BibT_eX]

[DOI]

,

,

Alexander B. Romanovsky

Proceedings of the Building the Information Society, 2004

2003

Edsger Dijkstra.

[BibT_eX]

[DOI]

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

On Failures and Faults.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

2002

Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions.

[BibT_eX]

[DOI]

,

,

Alexander B. Romanovsky

,

Robert J. Stroud

,

Avelino F. Zorzo

,

Ercument Canver

,

Friedrich W. von Henke

IEEE Trans. Computers, 2002

A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software.

[BibT_eX]

[DOI]

,

,

Alexander B. Romanovsky

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.

[BibT_eX]

[DOI]

Delano M. Beder

,

Cecília M. F. Rubira

,

,

Alexander B. Romanovsky

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.

[BibT_eX]

[DOI]

,

Alexander B. Romanovsky

,

IEEE Trans. Parallel Distributed Syst., 2000

An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling.

[BibT_eX]

[DOI]

Delano M. Beder

,

Alexander B. Romanovsky

,

,

C. Richard Snow

,

Robert J. Stroud

ACM SIGOPS Oper. Syst. Rev., 2000

Turing Memorial Lecture Facing Up to Faults.

[BibT_eX]

[DOI]

Comput. J., 2000

1999

Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study.

[BibT_eX]

[DOI]

Avelino F. Zorzo

,

Alexander B. Romanovsky

,

,

,

Robert J. Stroud

,

Softw. Pract. Exp., 1999

Fault Tolerance in Decentralized Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.

[BibT_eX]

[DOI]

,

,

Alexander B. Romanovsky

,

Robert J. Stroud

,

Avelino F. Zorzo

,

Ercument Canver

,

Friedrich W. von Henke

Proceedings of the Digest of Papers: FTCS-29, 1999

1998

Protecting IT Systems from Cyber Crime.

[BibT_eX]

[DOI]

,

,

Comput. J., 1998

Exception Handling in Object-Oriented Real-Time Distributed Systems.

[BibT_eX]

[DOI]

Alexander B. Romanovsky

,

,

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.

[BibT_eX]

[DOI]

,

Alexander B. Romanovsky

,

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Cyber Threats (Panel).

[BibT_eX]

[DOI]

,

Peter B. Ladkin

,

,

Proceedings of the Digest of Papers: FTCS-28, 1998

1997

Implementation of blocking coordinated atomic actions based on forward error recovery.

[BibT_eX]

[DOI]

Alexander B. Romanovsky

,

,

Robert J. Stroud

,

,

Avelino Francisco Zorzo

J. Syst. Archit., 1997

1996

Anecdotes.

[BibT_eX]

[DOI]

,

Rudolph E. Hirsch

IEEE Ann. Hist. Comput., 1996

Roll-forward error recovery in embedded real-time systems.

[BibT_eX]

[DOI]

,

Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), 1996

Exception Handling and Resolution in Distributed Object-oriented Systems.

[BibT_eX]

[DOI]

,

Alexander B. Romanovsky

,

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995

Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery.

[BibT_eX]

[DOI]

,

,

Alexander B. Romanovsky

,

Cecília M. F. Rubira

,

Robert J. Stroud

,

Proceedings of the Digest of Papers: FTCS-25, 1995

1994

The origins of computer programming.

[BibT_eX]

[DOI]

IEEE Ann. Hist. Comput., 1994

Some Lessons from the SW2000 Workshop.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 1994

Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach.

[BibT_eX]

[DOI]

Jean-Charles Fabre

,

,

Proceedings of the Dependable Computing, 1994

1993

The Duality of Fault-tolerant System Structures.

[BibT_eX]

[DOI]

Santosh K. Shrivastava

,

Luigi V. Mancini

,

Softw. Pract. Exp., 1993

1992

Happenings.

[BibT_eX]

[DOI]

Judy E. O'Neill

,

,

Geoffrey C. Bowker

,

,

Pierre-E. Mounier-Kuhn

,

IEEE Ann. Hist. Comput., 1992

System Dependability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jean-Charles Fabre

,

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.

[BibT_eX]

[DOI]

,

Peter T. Kirstein

,

RFC, March, 1991

Coping with the Past.

[BibT_eX]

[DOI]

Proceedings of the Operating Systems of the 90s and Beyond, International Workshop, 1991

1989

Can Design Faults be Tolerated.

[BibT_eX]

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.

[BibT_eX]

[DOI]

,

Lindsay F. Marshall

,

Proc. IEEE, 1987

The Wiener Memorandum on the Mechanical Solution of Partial Differential Equations.

[BibT_eX]

[DOI]

,

,

,

IEEE Ann. Hist. Comput., 1987

1986

Error Recovery in Asynchronous Systems.

[BibT_eX]

[DOI]

Roy H. Campbell

,

IEEE Trans. Software Eng., 1986

System Design and Structuring.

[BibT_eX]

[DOI]

Comput. J., 1986

Reliability and Security Issues in Distributed Computing Systems.

[BibT_eX]

,

Proceedings of the Fifth Symposium on Reliability in Distributed Software and Database Systems, 1986

Building Reliable Secure Computing Systems out of Unreliable Insecure Components.

[BibT_eX]

[DOI]

,

Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986

Making distributed systems work: position paper for Amsterdam workshop.

[BibT_eX]

[DOI]

Lindsay F. Marshall

,

Robert J. Stroud

,

Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

1985

Interfacing UNIX to Data Communications Networks.

[BibT_eX]

[DOI]

,

IEEE Trans. Software Eng., 1985

Hardware/software tradeoffs: a general design principle?

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1985

1983

A Distributed Secure System.

[BibT_eX]

[DOI]

,

Computer, 1983

A Mysterious Advertisement.

[BibT_eX]

[DOI]

IEEE Ann. Hist. Comput., 1983

Recursively Structured Distributed Computing Systems.

[BibT_eX]

Proceedings of the Third Symposium on Reliability in Distributed Software and Database Systems, 1983

1982

The Newcastle Connection or UNIXes of the World Unite!

[BibT_eX]

[DOI]

David R. Brownbridge

,

Lindsay F. Marshall

,

Softw. Pract. Exp., 1982

From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush.

[BibT_eX]

[DOI]

IEEE Ann. Hist. Comput., 1982

1981

Commentary (with replies by the authors).

[BibT_eX]

[DOI]

John Vincent Atanasoff

,

John Grist Brainerd

,

J. Presper Eckert

,

Kathleen R. Mauchly

,

,

IEEE Ann. Hist. Comput., 1981

A Formal Model of Atomicity in Asynchronous Systems.

[BibT_eX]

[DOI]

,

Acta Informatica, 1981

1979

An Annotated Bibliography on the Origins of Digital Computers.

[BibT_eX]

[DOI]

IEEE Ann. Hist. Comput., 1979

Software Engineering: As it was in 1968.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Software Engineering, 1979

1978

Reliability Issues in Computing System Design.

[BibT_eX]

[DOI]

,

,

Philip C. Treleaven

ACM Comput. Surv., 1978

Reliable Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Operating Systems, 1978

1977

Software Reliability: The Role of Programmed Exception Handling.

[BibT_eX]

[DOI]

P. M. Melliar-Smith

,

Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977

1975

System Structure for Software Fault Tolerance.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1975

1974

A program structure for error detection and recovery.

[BibT_eX]

[DOI]

James J. Horning

,

,

P. M. Melliar-Smith

,

Proceedings of the Operating Systems, 1974

1973

Process Structuring.

[BibT_eX]

[DOI]

James J. Horning

,

ACM Comput. Surv., 1973

1971

Ludgate's Analytical Machine of 1909.

[BibT_eX]

[DOI]

Comput. J., 1971

Performance Predictions for Extended Paged Memories.

[BibT_eX]

[DOI]

Edward G. Coffman Jr.

,

Acta Informatica, 1971

Operating Systems: The Problems of Performance and Reliability.

[BibT_eX]

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1969

A note on storage fragmentation and program segmentation.

[BibT_eX]

[DOI]

Commun. ACM, 1969

1968

Dynamic storage allocation systems.

[BibT_eX]

[DOI]

,

Commun. ACM, 1968

Iterative multi-level modelling. A methodology for computer system design.

[BibT_eX]

Frank W. Zurcher

,

Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 2, 1968

Demand paging in perspective.

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

,

J. ACM, 1964

1963

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

[BibT_eX]

[DOI]

,

Commun. ACM, 1963

1962

Certification of Algorithm 66: INVRS.

[BibT_eX]

[DOI]

,

Commun. ACM, 1962

Remark on Algorithm 76: Sorting procedures.

[BibT_eX]

[DOI]

Commun. ACM, 1962

Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix.

[BibT_eX]

[DOI]

Commun. ACM, 1962

Loading...