default search action
Brian Randell
Person information
- award (2002): IEEE Emanuel R. Piore Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j49]Brian A. Coghlan
, Brian Randell
How Percy Ludgate's 1909 Paper (and IBM) Helped Thwart Konrad Zuse's Computer Patent in 1960. IEEE Ann. Hist. Comput. 46(3): 20-35 (2024) - [i7]Mohammed Alahmadi, Salma Alharbi, Talal Alharbi, Nadiyah Almutairi, Tuwailaa Alshammari, Anirban Bhattacharyya, Maciej Koutny, Bowen Li, Brian Randell:
Structured Acyclic Nets. CoRR abs/2401.07308 (2024) - 2023
- [j48]Brian Randell, Brian A. Coghlan:
ChatGPT's Astonishing Fabrications About Percy Ludgate. IEEE Ann. Hist. Comput. 45(2): 71-72 (2023) - 2022
- [p4]Brian Randell:
Edsger Dijkstra - Some Reminiscences. Edsger Wybe Dijkstra 2022: 423-444 - 2021
- [j47]Brian A. Coghlan, Brian Randell, Paul Hockie, Trish Gonzalez, David McQuillan, Reddy O'Regan:
Investigating the Work and Life of Percy Ludgate. IEEE Ann. Hist. Comput. 43(1): 19-37 (2021) - [i6]Brian Randell, Avelino Francisco Zorzo:
Exception Handling on Multiparty Interactions. CoRR abs/2111.03720 (2021) - [i5]Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo:
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. CoRR abs/2111.06339 (2021)
2010 – 2019
- 2019
- [p3]Brian Randell:
Early Interactions with Carl Adam Petri. Carl Adam Petri: Ideas, Personality, Impact 2019: 105-109 - 2018
- [j46]Feng Hao
Verifiable Classroom Voting in Practice. IEEE Secur. Priv. 16(1): 72-81 (2018) - [c52]Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny:
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. ACSD 2018: 70-74 - [i4]Brian Randell:
Fifty Years of Software Engineering - or - The View from Garmisch. CoRR abs/1805.02742 (2018) - 2017
- [p2]Brian Randell:
Turing and the origins of digital computers. The Turing Guide 2017: 67-76 - [p1]Brian Randell:
Ultra revelations. The Turing Guide 2017: 175-182 - [i3]Feng Hao, Dylan Clarke, Brian Randell, Siamak F. Shahandashti:
Verifiable Classroom Voting in Practice. IACR Cryptol. ePrint Arch. 2017: 56 (2017) - 2016
- [c51]Anirban Bhattacharyya, Bowen Li, Brian Randell:
Time in Structured Occurrence Nets. PNSE @ Petri Nets 2016: 35-55 - 2015
- [j45]Brian Randell:
Reminiscences of Project Y and the ACS Project. IEEE Ann. Hist. Comput. 37(3): 56-66 (2015) - 2014
- [c50]Feng Hao, Matthew Nicolas Kreeger, Brian Randell, Dylan Clarke, Siamak Fayyaz Shahandashti, Peter Hyun-Jeen Lee:
Every Vote Counts: Ensuring Integrity in Large-Scale Electronic Voting. EVT/WOTE 2014 - 2012
- [c49]Brian Randell:
A Turing Enigma. CONCUR 2012: 23-36 - [c48]Paolo Missier
Modelling Provenance Using Structured Occurrence Networks. IPAW 2012: 183-197 - [c47]Feng Hao
Self-enforcing Electronic Voting. Security Protocols Workshop 2012: 23-31 - [c46]Dylan Clarke, Feng Hao
Analysis of Issues and Challenges of E-Voting in the UK. Security Protocols Workshop 2012: 126-135 - 2011
- [j44]Brian Randell:
A computer perspective. Inroads 2(3): 28-29 (2011) - [c45]Brian Randell:
Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. Petri Nets 2011: 1-16
2000 – 2009
- 2009
- [j43]Maciej Koutny, Brian Randell:
Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. Fundam. Informaticae 97(1-2): 41-91 (2009) - [j42]Jeff Jianxin Yan, Brian Randell:
An Investigation of Cheating in Online Games. IEEE Secur. Priv. 7(3): 37-44 (2009) - 2008
- [c44]Brian Randell:
Position Statement: How Far Have We Come? COMPSAC 2008: 8 - [c43]Brian Randell:
System Complexity and System Failures. ECBS 2008: 5 - 2007
- [j41]Brian Randell:
A computer scientist's reactions to NPfIT. J. Inf. Technol. 22(3): 222-234 (2007) - [c42]Brian Randell, John M. Rushby:
Distributed Secure Systems: Then and Now. ACSAC 2007: 177-199 - [c41]Brian Randell:
The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies. DSN 2007: 813 - [c40]Brian Randell, Maciej Koutny:
Failures: Their Definition, Modelling and Analysis. ICTAC 2007: 260-274 - 2006
- [j40]Brian Randell, Peter Y. A. Ryan:
Voting Technologies and Trust. IEEE Secur. Priv. 4(5): 50-56 (2006) - 2005
- [j39]Cliff B. Jones
The atomic manifesto: a story in four quarks. SIGMOD Rec. 34(1): 63-69 (2005) - [j38]Cliff B. Jones
The atomic manifesto: a story in four quarks. ACM SIGOPS Oper. Syst. Rev. 39(2): 41-46 (2005) - [c39]Brian Randell, Peter Y. A. Ryan
Voting Technologies and Trust. Formal Aspects in Security and Trust 2005: 1-4 - [c38]Jeff Jianxin Yan, Brian Randell:
A systematic classification of cheating in online games. NETGAMES 2005: 1-9 - 2004
- [j37]Algirdas Avizienis, Jean-Claude Laprie, Brian Randell, Carl E. Landwehr:
Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. Dependable Secur. Comput. 1(1): 11-33 (2004) - [c37]Algirdas Avizienis, Jean-Claude Laprie, Brian Randell:
Dependability and its threats - A taxonomy. IFIP Congress Topical Sessions 2004: 91-120 - [c36]Tom Anderson, Brian Randell, Alexander B. Romanovsky
Wrapping the future. IFIP Congress Topical Sessions 2004: 165-173 - [c35]Brian Randell:
Dependable Pervasive Systems. SRDS 2004: 2 - [i2]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:
The Atomic Manifesto: a Story in Four Quarks. Atomicity in System Design and Execution 2004 - 2003
- [c34]Brian Randell:
On Failures and Faults. FME 2003: 18-39 - [c33]Brian Randell:
Edsger Dijkstra. WORDS Fall 2003: 3- - 2002
- [j36]Jie Xu, Brian Randell, Alexander B. Romanovsky
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers 51(2): 164-179 (2002) - [c32]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 - 2001
- [c31]John E. Dobson, Brian Randell:
Building Reliable Secure Computing Systems out of Unreliable Insecure Components. ACSAC 2001: 164-173 - [c30]Delano M. Beder, Cecília M. F. Rubira
On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. ISORC 2001: 103-112 - 2000
- [j35]Brian Randell:
Turing Memorial Lecture Facing Up to Faults. Comput. J. 43(2): 95-106 (2000) - [j34]Delano M. Beder
An Application of Fault Tolerance Patterns and Coordinated Atomic Actions to a Problem in Railway Scheduling. ACM SIGOPS Oper. Syst. Rev. 34(4): 21-31 (2000) - [j33]Jie Xu, Alexander B. Romanovsky
Concurrent Exception Handling and Resolution in Distributed Object Systems. IEEE Trans. Parallel Distributed Syst. 11(10): 1019-1032 (2000)
1990 – 1999
- 1999
- [j32]Avelino F. Zorzo
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Softw. Pract. Exp. 29(8): 677-697 (1999) - [c29]Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. FTCS 1999: 68-75 - [c28]Brian Randell:
Fault Tolerance in Decentralized Systems. ISADS 1999: 174-181 - 1998
- [j31]R. Benjamin, B. Gladman, Brian Randell:
Protecting IT Systems from Cyber Crime. Comput. J. 41(7): 429-443 (1998) - [c27]Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell:
Cyber Threats (Panel). FTCS 1998: 104-106 - [c26]Jie Xu, Alexander B. Romanovsky, Brian Randell:
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. ICDCS 1998: 12-21 - [c25]Alexander B. Romanovsky
Exception Handling in Object-Oriented Real-Time Distributed Systems. ISORC 1998: 32-42 - 1997
- [j30]Alexander B. Romanovsky
Implementation of blocking coordinated atomic actions based on forward error recovery. J. Syst. Archit. 43(10): 687-699 (1997) - 1996
- [j29]Brian Randell, Rudolph E. Hirsch:
Anecdotes. IEEE Ann. Hist. Comput. 18(3): 56-59 (1996) - [c24]Jie Xu, Alexander B. Romanovsky, Brian Randell:
Exception Handling and Resolution in Distributed Object-oriented Systems. ICDCS 1996: 545-553 - [c23]Jie Xu, Brian Randell:
Roll-forward error recovery in embedded real-time systems. ICPADS 1996: 414-421 - 1995
- [c22]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 - 1994
- [j28]Brian Randell:
The origins of computer programming. IEEE Ann. Hist. Comput. 16(4): 6-14 (1994) - [c21]Jean-Charles Fabre, Yves Deswarte, Brian Randell:
Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach. EDCC 1994: 21-38 - [c20]Brian Randell:
Some Lessons from the SW2000 Workshop. EDCC 1994: 414-416 - 1993
- [j27]Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell:
The Duality of Fault-tolerant System Structures. Softw. Pract. Exp. 23(7): 773-798 (1993) - 1992
- [j26]Judy E. O'Neill, Brian Randell, Geoffrey C. Bowker, J.-P. Poitou, Pierre-E. Mounier-Kuhn, B. Crozier:
Happenings. IEEE Ann. Hist. Comput. 14(2): 51-55 (1992) - [c19]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 - [c18]Brian Randell:
System Dependability. 25th Anniversary of INRIA 1992: 21-50 - 1991
- [c17]Brian Randell:
Coping with the Past. Operating Systems of the 90s and Beyond 1991: 72-76 - [i1]Vinton G. Cerf, Peter T. Kirstein, Brian Randell:
Network and infrastructure user requirements for transatlantic research collaboration: Brussels, July 16-18, and Washington July 24-25, 1990. RFC 1210: 1-36 (1991)
1980 – 1989
- 1989
- [c16]Brian Randell:
Can Design Faults be Tolerated. IFIP Congress 1989: 499 - 1987
- [j25]Pesi Masani, Brian Randell, David K. Ferry, Richard Saeks:
The Wiener Memorandum on the Mechanical Solution of Partial Differential Equations. IEEE Ann. Hist. Comput. 9(2): 183-197 (1987) - [j24]James P. Black, Lindsay F. Marshall
The architecture of UNIX united. Proc. IEEE 75(5): 709-718 (1987) - [c15]Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell:
On the Duality of Fault Tolerant System Structures. Experiences with Distributed Systems 1987: 19-37 - 1986
- [j23]Brian Randell:
System Design and Structuring. Comput. J. 29(4): 300-306 (1986) - [j22]Roy H. Campbell, Brian Randell:
Error Recovery in Asynchronous Systems. IEEE Trans. Software Eng. 12(8): 811-826 (1986) - [c14]Lindsay F. Marshall, Robert J. Stroud, Brian Randell:
Making distributed systems work: position paper for Amsterdam workshop. ACM SIGOPS European Workshop 1986 - [c13]John E. Dobson, Brian Randell:
Building Reliable Secure Computing Systems out of Unreliable Insecure Components. S&P 1986: 187-193 - [c12]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 - 1985
- [j21]Brian Randell:
Hardware/software tradeoffs: a general design principle? SIGARCH Comput. Archit. News 13(2): 19-21 (1985) - [j20]Fabio Panzieri, Brian Randell:
Interfacing UNIX to Data Communications Networks. IEEE Trans. Software Eng. 11(10): 1016-1032 (1985) - 1983
- [j19]Brian Randell:
A Mysterious Advertisement. IEEE Ann. Hist. Comput. 5(1): 60-63 (1983) - [j18]John M. Rushby, Brian Randell:
A Distributed Secure System. Computer 16(7): 55-67 (1983) - [c11]John M. Rushby, Brian Randell:
A Distributed Secure System. S&P 1983: 127-135 - [c10]Brian Randell:
Recursively Structured Distributed Computing Systems. Symposium on Reliability in Distributed Software and Database Systems 1983: 3-11 - 1982
- [j17]Brian Randell:
From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush. IEEE Ann. Hist. Comput. 4(4): 327-341 (1982) - [j16]David R. Brownbridge, Lindsay F. Marshall, Brian Randell:
The Newcastle Connection or UNIXes of the World Unite! Softw. Pract. Exp. 12(12): 1147-1162 (1982) - 1981
- [j15]Eike Best, Brian Randell:
A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica 16: 93-124 (1981) - [j14]John Vincent Atanasoff, John Grist Brainerd, J. Presper Eckert, Kathleen R. Mauchly, Brian Randell, Konrad Zuse:
Commentary (with replies by the authors). IEEE Ann. Hist. Comput. 3(4): 389-399 (1981)
1970 – 1979
- 1979
- [j13]Brian Randell:
An Annotated Bibliography on the Origins of Digital Computers. IEEE Ann. Hist. Comput. 1(2): 101-207 (1979) - [c9]Brian Randell:
Software Engineering: As it was in 1968. ICSE 1979: 1-10 - 1978
- [j12]Brian Randell, P. A. Lee, Philip C. Treleaven:
Reliability Issues in Computing System Design. ACM Comput. Surv. 10(2): 123-165 (1978) - [c8]Brian Randell:
Reliable Computing Systems. Advanced Course: Operating Systems 1978: 282-391 - [e1]Michael J. Flynn, Jim Gray, Anita K. Jones, Klaus Lagally, Holger Opderbeck, Gerald J. Popek, Brian Randell, Jerome H. Saltzer, Hans-Rüdiger Wiehle:
Operating Systems, An Advanced Course. Lecture Notes in Computer Science 60, Springer 1978, ISBN 3-540-08755-9 [contents] - 1977
- [c7]P. M. Melliar-Smith, Brian Randell:
Software Reliability: The Role of Programmed Exception Handling. Language Design for Reliable Software 1977: 95-100 - 1975
- [j11]Brian Randell:
System Structure for Software Fault Tolerance. IEEE Trans. Software Eng. 1(2): 221-232 (1975) - [c6]Brian Randell:
System structure for software fault tolerance. Reliable Software 1975: 437-449 - 1974
- [c5]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 - 1973
- [j10]James J. Horning, Brian Randell:
Process Structuring. ACM Comput. Surv. 5(1): 5-30 (1973) - 1971
- [j9]Edward G. Coffman Jr., Brian Randell:
Performance Predictions for Extended Paged Memories. Acta Informatica 1: 1-13 (1971) - [j8]Brian Randell:
Ludgate's Analytical Machine of 1909. Comput. J. 14(3): 317-326 (1971) - [c4]Brian Randell:
Operating Systems: The Problems of Performance and Reliability. IFIP Congress (1) 1971: 281-290
1960 – 1969
- 1969
- [j7]Brian Randell:
A note on storage fragmentation and program segmentation. Commun. ACM 12(7): 365-369 (1969) - 1968
- [j6]Brian Randell, C. J. Kuehner:
Dynamic storage allocation systems. Commun. ACM 11(5): 297-306 (1968) - [c3]C. J. Kuehner, Brian Randell:
Demand paging in perspective. AFIPS Fall Joint Computing Conference (2) 1968: 1011-1018 - [c2]Frank W. Zurcher, Brian Randell:
Iterative multi-level modelling. A methodology for computer system design. IFIP Congress (2) 1968: 867-871 - 1967
- [c1]Brian Randell, C. J. Kuehner:
Dynamic storage allocation systems. SOSP 1967 - 1964
- [j5]Brian Randell, L. J. Russell:
Single-Scan Techniques for the Translation of Arithmetic Expressions into ALGOL 60. J. ACM 11(2): 159-167 (1964) - 1963
- [j4]Brian Randell, L. J. Russell:
Certification of algorithms 63, 64 and 65, partition, quicksort, and find. Commun. ACM 6(8): 446 (1963) - 1962
- [j3]Brian Randell:
Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix. Commun. ACM 5(1): 50 (1962) - [j2]Brian Randell, C. G. Broyden:
Certification of Algorithm 66: INVRS. Commun. ACM 5(1): 50 (1962) - [j1]Brian Randell:
Remark on Algorithm 76: Sorting procedures. Commun. ACM 5(6): 348 (1962)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: