![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Brian Randell
Person information
- award (2002): IEEE Emanuel R. Piore Award
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j48]Brian Randell, Brian A. Coghlan:
ChatGPT's Astonishing Fabrications About Percy Ludgate. IEEE Ann. Hist. Comput. 45(2): 71-72 (2023) - 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) - 2018
- [j46]Feng Hao
, Dylan Clarke, Brian Randell, Siamak F. Shahandashti:
Verifiable Classroom Voting in Practice. IEEE Secur. Priv. 16(1): 72-81 (2018) - 2015
- [j45]Brian Randell:
Reminiscences of Project Y and the ACS Project. IEEE Ann. Hist. Comput. 37(3): 56-66 (2015) - 2011
- [j44]Brian Randell:
A computer perspective. Inroads 2(3): 28-29 (2011) - 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) - 2007
- [j41]Brian Randell:
A computer scientist's reactions to NPfIT. J. Inf. Technol. 22(3): 222-234 (2007) - 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
, 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. SIGMOD Rec. 34(1): 63-69 (2005) - [j38]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. ACM SIGOPS Oper. Syst. Rev. 39(2): 41-46 (2005) - 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) - 2002
- [j36]Jie Xu, Brian Randell, Alexander B. Romanovsky
, Robert J. Stroud, Avelino F. Zorzo
, Ercument Canver, Friedrich W. von Henke:
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Trans. Computers 51(2): 164-179 (2002) - 2000
- [j35]Brian Randell:
Turing Memorial Lecture Facing Up to Faults. Comput. J. 43(2): 95-106 (2000) - [j34]Delano M. Beder
, Alexander B. Romanovsky
, Brian Randell, C. Richard Snow, Robert J. Stroud:
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
, Brian Randell:
Concurrent Exception Handling and Resolution in Distributed Object Systems. IEEE Trans. Parallel Distributed Syst. 11(10): 1019-1032 (2000) - 1999
- [j32]Avelino F. Zorzo
, Alexander B. Romanovsky, Jie Xu, Brian Randell, Robert J. Stroud, Ian Welch:
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study. Softw. Pract. Exp. 29(8): 677-697 (1999) - 1998
- [j31]R. Benjamin, B. Gladman, Brian Randell:
Protecting IT Systems from Cyber Crime. Comput. J. 41(7): 429-443 (1998) - 1997
- [j30]Alexander B. Romanovsky
, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo
:
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) - 1994
- [j28]Brian Randell:
The origins of computer programming. IEEE Ann. Hist. Comput. 16(4): 6-14 (1994) - 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) - 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
, Brian Randell:
The architecture of UNIX united. Proc. IEEE 75(5): 709-718 (1987) - 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) - 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) - 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) - 1979
- [j13]Brian Randell:
An Annotated Bibliography on the Origins of Digital Computers. IEEE Ann. Hist. Comput. 1(2): 101-207 (1979) - 1978
- [j12]Brian Randell, P. A. Lee, Philip C. Treleaven:
Reliability Issues in Computing System Design. ACM Comput. Surv. 10(2): 123-165 (1978) - 1975
- [j11]Brian Randell:
System Structure for Software Fault Tolerance. IEEE Trans. Software Eng. 1(2): 221-232 (1975) - 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) - 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) - 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)
Conference and Workshop Papers
- 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 - 2016
- [c51]Anirban Bhattacharyya, Bowen Li, Brian Randell:
Time in Structured Occurrence Nets. PNSE @ Petri Nets 2016: 35-55 - 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
, Brian Randell, Maciej Koutny:
Modelling Provenance Using Structured Occurrence Networks. IPAW 2012: 183-197 - [c47]Feng Hao
, Brian Randell, Dylan Clarke:
Self-enforcing Electronic Voting. Security Protocols Workshop 2012: 23-31 - [c46]Dylan Clarke, Feng Hao
, Brian Randell:
Analysis of Issues and Challenges of E-Voting in the UK. Security Protocols Workshop 2012: 126-135 - 2011
- [c45]Brian Randell:
Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. Petri Nets 2011: 1-16 - 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
- [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 - 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
- [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 - 2003
- [c34]Brian Randell:
On Failures and Faults. FME 2003: 18-39 - [c33]Brian Randell:
Edsger Dijkstra. WORDS Fall 2003: 3- - 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
, Brian Randell, Alexander B. Romanovsky
:
On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems. ISORC 2001: 103-112 - 1999
- [c29]Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo
, Ercument Canver, Friedrich W. von Henke:
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
- [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
, Jie Xu, Brian Randell:
Exception Handling in Object-Oriented Real-Time Distributed Systems. ISORC 1998: 32-42 - 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
- [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 - 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 - 1989
- [c16]Brian Randell:
Can Design Faults be Tolerated. IFIP Congress 1989: 499 - 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
- [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 - 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 - 1979
- [c9]Brian Randell:
Software Engineering: As it was in 1968. ICSE 1979: 1-10 - 1978
- [c8]Brian Randell:
Reliable Computing Systems. Advanced Course: Operating Systems 1978: 282-391 - 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
- [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 - 1971
- [c4]Brian Randell:
Operating Systems: The Problems of Performance and Reliability. IFIP Congress (1) 1971: 281-290 - 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
Parts in Books or Collections
- 2022
- [p4]Brian Randell:
Edsger Dijkstra - Some Reminiscences. Edsger Wybe Dijkstra 2022: 423-444 - 2019
- [p3]Brian Randell:
Early Interactions with Carl Adam Petri. Carl Adam Petri: Ideas, Personality, Impact 2019: 105-109 - 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
Editorship
- 1978
- [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]
Informal and Other Publications
- 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) - 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) - 2018
- [i4]Brian Randell:
Fifty Years of Software Engineering - or - The View from Garmisch. CoRR abs/1805.02742 (2018) - 2017
- [i3]Feng Hao, Dylan Clarke, Brian Randell, Siamak F. Shahandashti:
Verifiable Classroom Voting in Practice. IACR Cryptol. ePrint Arch. 2017: 56 (2017) - 2004
- [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 - 1991
- [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)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-04-24 22:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint