Brian Randell

Publication Activity (10 Years)

Years Active: 1962-2024
Publications (10 Years): 10

Top Venues

CoRR

IEEE Ann. Hist. Comput.

IACR Cryptol. ePrint Arch.

PNSE @ Petri Nets

Publications

Mohammed Alahmadi, Salma Alharbi, Talal Alharbi, Nadiyah Almutairi, Tuwailaa Alshammari, Anirban Bhattacharyya, Maciej Koutny, Bowen Li, Brian Randell
Structured Acyclic Nets. CoRR (2024)
Brian Randell, Brian A. Coghlan
ChatGPT's Astonishing Fabrications About Percy Ludgate. IEEE Ann. Hist. Comput. 45 (2) (2023)
Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems. CoRR (2021)
Brian Randell, Avelino Francisco Zorzo
Exception Handling on Multiparty Interactions. CoRR (2021)
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) (2021)
Brian Randell
Fifty Years of Software Engineering - or - The View from Garmisch. CoRR (2018)
Bowen Li, Brian Randell, Anirban Bhattacharyya, Talal Alharbi, Maciej Koutny
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets. ACSD (2018)
Feng Hao, Dylan Clarke, Brian Randell, Siamak F. Shahandashti
Verifiable Classroom Voting in Practice. IEEE Secur. Priv. 16 (1) (2018)
Feng Hao, Dylan Clarke, Brian Randell, Siamak F. Shahandashti
Verifiable Classroom Voting in Practice. IACR Cryptol. ePrint Arch. 2017 (2017)
Anirban Bhattacharyya, Bowen Li, Brian Randell
Time in Structured Occurrence Nets. PNSE @ Petri Nets (2016)
Brian Randell
Reminiscences of Project Y and the ACS Project. IEEE Ann. Hist. Comput. 37 (3) (2015)
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)
Paolo Missier, Brian Randell, Maciej Koutny
Modelling Provenance Using Structured Occurrence Networks. IPAW (2012)
Dylan Clarke, Feng Hao, Brian Randell
Analysis of Issues and Challenges of E-Voting in the UK. Security Protocols Workshop (2012)
Feng Hao, Brian Randell, Dylan Clarke
Self-enforcing Electronic Voting. Security Protocols Workshop (2012)
Brian Randell
A Turing Enigma. CONCUR (2012)
Brian Randell
A computer perspective. Inroads 2 (3) (2011)
Brian Randell
Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. Petri Nets (2011)
Jeff Jianxin Yan, Brian Randell
An Investigation of Cheating in Online Games. IEEE Secur. Priv. 7 (3) (2009)
Maciej Koutny, Brian Randell
Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. Fundam. Informaticae 97 (1-2) (2009)
Brian Randell
System Complexity and System Failures. ECBS (2008)
Brian Randell
Position Statement: How Far Have We Come? COMPSAC (2008)
Brian Randell, John M. Rushby
Distributed Secure Systems: Then and Now. ACSAC (2007)
Brian Randell
The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies. DSN (2007)
Brian Randell, Maciej Koutny
Failures: Their Definition, Modelling and Analysis. ICTAC (2007)
Brian Randell
A computer scientist's reactions to NPfIT. J. Inf. Technol. 22 (3) (2007)
Brian Randell, Peter Y. A. Ryan
Voting Technologies and Trust. IEEE Secur. Priv. 4 (5) (2006)
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) (2005)
Brian Randell, Peter Y. A. Ryan
Voting Technologies and Trust. Formal Aspects in Security and Trust (2005)
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) (2005)
Jeff Jianxin Yan, Brian Randell
A systematic classification of cheating in online games. NETGAMES (2005)
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) (2004)
Tom Anderson, Brian Randell, Alexander B. Romanovsky
Wrapping the future. IFIP Congress Topical Sessions (2004)
Brian Randell
Dependable Pervasive Systems. SRDS (2004)
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)
Algirdas Avizienis, Jean-Claude Laprie, Brian Randell
Dependability and its threats - A taxonomy. IFIP Congress Topical Sessions (2004)
Brian Randell
Edsger Dijkstra. WORDS Fall (2003)
Brian Randell
On Failures and Faults. FME (2003)
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) (2002)
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)
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)
John E. Dobson, Brian Randell
Building Reliable Secure Computing Systems out of Unreliable Insecure Components. ACSAC (2001)
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) (2000)
Jie Xu, Alexander B. Romanovsky, Brian Randell
Concurrent Exception Handling and Resolution in Distributed Object Systems. IEEE Trans. Parallel Distributed Syst. 11 (10) (2000)
Brian Randell
Turing Memorial Lecture Facing Up to Faults. Comput. J. 43 (2) (2000)
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)
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) (1999)
Brian Randell
Fault Tolerance in Decentralized Systems. ISADS (1999)
Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell
Cyber Threats (Panel). FTCS (1998)
Alexander B. Romanovsky, Jie Xu, Brian Randell
Exception Handling in Object-Oriented Real-Time Distributed Systems. ISORC (1998)
Jie Xu, Alexander B. Romanovsky, Brian Randell
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. ICDCS (1998)
R. Benjamin, B. Gladman, Brian Randell
Protecting IT Systems from Cyber Crime. Comput. J. 41 (7) (1998)
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) (1997)
Jie Xu, Alexander B. Romanovsky, Brian Randell
Exception Handling and Resolution in Distributed Object-oriented Systems. ICDCS (1996)
Jie Xu, Brian Randell
Roll-forward error recovery in embedded real-time systems. ICPADS (1996)
Brian Randell, Rudolph E. Hirsch
Anecdotes. IEEE Ann. Hist. Comput. 18 (3) (1996)
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)
Jean-Charles Fabre, Yves Deswarte, Brian Randell
Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach. EDCC (1994)
Brian Randell
Some Lessons from the SW2000 Workshop. EDCC (1994)
Brian Randell
The origins of computer programming. IEEE Ann. Hist. Comput. 16 (4) (1994)
Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell
The Duality of Fault-tolerant System Structures. Softw. Pract. Exp. 23 (7) (1993)
Brian Randell
System Dependability. 25th Anniversary of INRIA (1992)
Jean-Charles Fabre, Brian Randell
An Object-Oriented View of Fragmented Data Processing for Fault and Intrusion Tolerance in Distributed Systems. ESORICS (1992)
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) (1992)
Brian Randell
Coping with the Past. Operating Systems of the 90s and Beyond (1991)
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 (1991)
Brian Randell
Can Design Faults be Tolerated. IFIP Congress (1989)
Santosh K. Shrivastava, Luigi V. Mancini, Brian Randell
On the Duality of Fault Tolerant System Structures. Experiences with Distributed Systems (1987)
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) (1987)
James P. Black, Lindsay F. Marshall, Brian Randell
The architecture of UNIX united. Proc. IEEE 75 (5) (1987)
Lindsay F. Marshall, Robert J. Stroud, Brian Randell
Making distributed systems work: position paper for Amsterdam workshop. ACM SIGOPS European Workshop (1986)
John E. Dobson, Brian Randell
Building Reliable Secure Computing Systems out of Unreliable Insecure Components. IEEE Symposium on Security and Privacy (1986)
Roy H. Campbell, Brian Randell
Error Recovery in Asynchronous Systems. IEEE Trans. Software Eng. 12 (8) (1986)
Brian Randell, John E. Dobson
Reliability and Security Issues in Distributed Computing Systems. Symposium on Reliability in Distributed Software and Database Systems (1986)
Brian Randell
System Design and Structuring. Comput. J. 29 (4) (1986)
Fabio Panzieri, Brian Randell
Interfacing UNIX to Data Communications Networks. IEEE Trans. Software Eng. 11 (10) (1985)
Brian Randell
Hardware/software tradeoffs: a general design principle? SIGARCH Comput. Archit. News 13 (2) (1985)
John M. Rushby, Brian Randell
A Distributed Secure System. Computer 16 (7) (1983)
Brian Randell
A Mysterious Advertisement. IEEE Ann. Hist. Comput. 5 (1) (1983)
John M. Rushby, Brian Randell
A Distributed Secure System. IEEE Symposium on Security and Privacy (1983)
Brian Randell
Recursively Structured Distributed Computing Systems. Symposium on Reliability in Distributed Software and Database Systems (1983)
David R. Brownbridge, Lindsay F. Marshall, Brian Randell
The Newcastle Connection or UNIXes of the World Unite! Softw. Pract. Exp. 12 (12) (1982)
Brian Randell
From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate, Torres, and Bush. IEEE Ann. Hist. Comput. 4 (4) (1982)
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) (1981)
Eike Best, Brian Randell
A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica 16 (1981)
Brian Randell
Software Engineering: As it was in 1968. ICSE (1979)
Brian Randell
An Annotated Bibliography on the Origins of Digital Computers. IEEE Ann. Hist. Comput. 1 (2) (1979)
Brian Randell, P. A. Lee, Philip C. Treleaven
Reliability Issues in Computing System Design. ACM Comput. Surv. 10 (2) (1978)
Brian Randell
Reliable Computing Systems. Advanced Course: Operating Systems (1978)
P. M. Melliar-Smith, Brian Randell
Software Reliability: The Role of Programmed Exception Handling. Language Design for Reliable Software (1977)
Brian Randell
System Structure for Software Fault Tolerance. IEEE Trans. Software Eng. 1 (2) (1975)
Brian Randell
System structure for software fault tolerance. Reliable Software (1975)
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)
James J. Horning, Brian Randell
Process Structuring. ACM Comput. Surv. 5 (1) (1973)
Brian Randell
Operating Systems: The Problems of Performance and Reliability. IFIP Congress (1) (1971)
Brian Randell
Ludgate's Analytical Machine of 1909. Comput. J. 14 (3) (1971)
Edward G. Coffman Jr., Brian Randell
Performance Predictions for Extended Paged Memories. Acta Informatica 1 (1971)
Brian Randell
A note on storage fragmentation and program segmentation. Commun. ACM 12 (7) (1969)
Frank W. Zurcher, Brian Randell
Iterative multi-level modelling. A methodology for computer system design. IFIP Congress (2) (1968)
C. J. Kuehner, Brian Randell
Demand paging in perspective. AFIPS Fall Joint Computing Conference (2) (1968)

Brian Randell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Brian Randell