2008 |
69 | EE | Brian Randell:
Position Statement: How Far Have We Come?
COMPSAC 2008: 8 |
68 | EE | Brian Randell:
System Complexity and System Failures.
ECBS 2008: 5 |
2007 |
67 | EE | Brian Randell,
John M. Rushby:
Distributed Secure Systems: Then and Now.
ACSAC 2007: 177-199 |
66 | EE | Brian Randell:
The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies.
DSN 2007: 813 |
65 | EE | Brian Randell,
Maciej Koutny:
Failures: Their Definition, Modelling and Analysis.
ICTAC 2007: 260-274 |
2005 |
64 | EE | Brian Randell,
Peter Y. A. Ryan:
Voting Technologies and Trust.
Formal Aspects in Security and Trust 2005: 1-4 |
63 | EE | Jeff Jianxin Yan,
Brian Randell:
A systematic classification of cheating in online games.
NETGAMES 2005: 1-9 |
62 | EE | Cliff B. Jones,
David B. Lomet,
Alexander B. Romanovsky,
Gerhard Weikum,
Alan Fekete,
Marie-Claude Gaudel,
Henry F. Korth,
Rogério de Lemos,
J. Eliot B. Moss,
Ravi Rajwar,
Krithi Ramamritham,
Brian Randell,
Luís Rodrigues:
The atomic manifesto: a story in four quarks.
Operating Systems Review 39(2): 41-46 (2005) |
61 | EE | Cliff B. Jones,
David B. Lomet,
Alexander B. Romanovsky,
Gerhard Weikum,
Alan Fekete,
Marie-Claude Gaudel,
Henry F. Korth,
Rogério de Lemos,
J. Eliot B. Moss,
Ravi Rajwar,
Krithi Ramamritham,
Brian Randell,
Luís Rodrigues:
The atomic manifesto: a story in four quarks.
SIGMOD Record 34(1): 63-69 (2005) |
2004 |
60 | | Tom Anderson,
Brian Randell,
Alexander B. Romanovsky:
Wrapping the future.
IFIP Congress Topical Sessions 2004: 165-174 |
59 | | Algirdas Avizienis,
Jean-Claude Laprie,
Brian Randell:
Dependability and its threats - A taxonomy.
IFIP Congress Topical Sessions 2004: 91-120 |
58 | | Brian Randell:
Dependable Pervasive Systems.
SRDS 2004: 2 |
57 | EE | Algirdas Avizienis,
Jean-Claude Laprie,
Brian Randell,
Carl E. Landwehr:
Basic Concepts and Taxonomy of Dependable and Secure Computing.
IEEE Trans. Dependable Sec. Comput. 1(1): 11-33 (2004) |
2003 |
56 | EE | Brian Randell:
On Failures and Faults.
FME 2003: 18-39 |
55 | EE | Brian Randell:
Edsger Dijkstra.
WORDS Fall 2003: 3- |
2002 |
54 | EE | 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 |
53 | EE | 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) |
2001 |
52 | EE | John E. Dobson,
Brian Randell:
Building Reliable Secure Computing Systems out of Unreliable Insecure Components.
ACSAC 2001: 162-173 |
51 | EE | 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 |
2000 |
50 | | Brian Randell:
Turing Memorial Lecture Facing Up to Faults.
Comput. J. 43(2): 95-106 (2000) |
49 | EE | Jie Xu,
Alexander B. Romanovsky,
Brian Randell:
Concurrent Exception Handling and Resolution in Distributed Object Systems.
IEEE Trans. Parallel Distrib. Syst. 11(10): 1019-1032 (2000) |
48 | | 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.
Operating Systems Review 34(4): 21-31 (2000) |
1999 |
47 | EE | 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 |
46 | EE | Brian Randell:
Fault Tolerance in Decentralized Systems.
ISADS 1999: 174- |
45 | | 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. Exper. 29(8): 677-697 (1999) |
1998 |
44 | | Wendy Bartlett,
Peter B. Ladkin,
Derek Long,
Brian Randell:
Cyber Threats (Panel).
FTCS 1998: 104-106 |
43 | EE | Jie Xu,
Alexander B. Romanovsky,
Brian Randell:
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation.
ICDCS 1998: 12-21 |
42 | EE | Alexander B. Romanovsky,
Jie Xu,
Brian Randell:
Exception Handling in Object-Oriented Real-Time Distributed Systems.
ISORC 1998: 32-42 |
41 | | R. Benjamin,
B. Gladman,
Brian Randell:
Protecting IT Systems from Cyber Crime.
Comput. J. 41(7): 429-443 (1998) |
1996 |
40 | | Jie Xu,
Alexander B. Romanovsky,
Brian Randell:
Exception Handling and Resolution in Distributed Object-oriented Systems.
ICDCS 1996: 545-553 |
39 | EE | Jie Xu,
Brian Randell:
Roll-forward error recovery in embedded real-time systems.
ICPADS 1996: 414-421 |
1995 |
38 | | 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 |
37 | | Jean-Charles Fabre,
Yves Deswarte,
Brian Randell:
Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approach.
EDCC 1994: 21-38 |
36 | | Brian Randell:
Some Lessons from the SW2000 Workshop.
EDCC 1994: 414-416 |
1993 |
35 | | Santosh K. Shrivastava,
Luigi V. Mancini,
Brian Randell:
The Duality of Fault-tolerant System Structures.
Softw., Pract. Exper. 23(7): 773-798 (1993) |
1992 |
34 | | Brian Randell:
System Dependability.
25th Anniversary of INRIA 1992: 21-50 |
33 | EE | 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 |
1991 |
32 | | Brian Randell:
Coping with the Past.
Operating Systems of the 90s and Beyond 1991: 72-76 |
1989 |
31 | | Brian Randell:
Can Design Faults be Tolerated.
IFIP Congress 1989: 499 |
1987 |
30 | | Santosh K. Shrivastava,
Luigi V. Mancini,
Brian Randell:
On the Duality of Fault Tolerant System Structures.
Experiences with Distributed Systems 1987: 19-37 |
1986 |
29 | EE | Lindsay F. Marshall,
Robert J. Stroud,
Brian Randell:
Making distributed systems work: position paper for Amsterdam workshop.
ACM SIGOPS European Workshop 1986 |
28 | | John E. Dobson,
Brian Randell:
Building Reliable Secure Computing Systems out of Unreliable Insecure Components.
IEEE Symposium on Security and Privacy 1986: 187-193 |
27 | | 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 |
26 | | Brian Randell:
System Design and Structuring.
Comput. J. 29(4): 300-306 (1986) |
25 | | Roy H. Campbell,
Brian Randell:
Error Recovery in Asynchronous Systems.
IEEE Trans. Software Eng. 12(8): 811-826 (1986) |
1985 |
24 | | Fabio Panzieri,
Brian Randell:
Interfacing UNIX to Data Communications Networks.
IEEE Trans. Software Eng. 11(10): 1016-1032 (1985) |
1983 |
23 | | John M. Rushby,
Brian Randell:
A Distributed Secure System.
IEEE Symposium on Security and Privacy 1983: 127-135 |
22 | | Brian Randell:
Recursively Structured Distributed Computing Systems.
Symposium on Reliability in Distributed Software and Database Systems 1983: 3-11 |
1982 |
21 | | David R. Brownbridge,
Lindsay F. Marshall,
Brian Randell:
The Newcastle Connection or UNIXes of the World Unite!
Softw., Pract. Exper. 12(12): 1147-1162 (1982) |
1981 |
20 | | Eike Best,
Brian Randell:
A Formal Model of Atomicity in Asynchronous Systems.
Acta Inf. 16: 93-124 (1981) |
1979 |
19 | | Brian Randell:
Software Engineering: As it was in 1968.
ICSE 1979: 1-10 |
1978 |
18 | | 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
Springer 1978 |
17 | | Brian Randell:
Reliable Computing Systems.
Advanced Course: Operating Systems 1978: 282-391 |
16 | | Brian Randell,
P. A. Lee,
Philip C. Treleaven:
Reliability Issues in Computing System Design.
ACM Comput. Surv. 10(2): 123-165 (1978) |
1977 |
15 | | P. M. Melliar-Smith,
Brian Randell:
Software Reliability: The Role of Programmed Exception Handling.
Language Design for Reliable Software 1977: 95-100 |
1975 |
14 | | Brian Randell:
System Structure for Software Fault Tolerance.
IEEE Trans. Software Eng. 1(2): 221-232 (1975) |
1974 |
13 | | 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 |
12 | | James J. Horning,
Brian Randell:
Process Structuring.
ACM Comput. Surv. 5(1): 5-30 (1973) |
1971 |
11 | | Brian Randell:
Operating Systems: The Problems of Performance and Reliability.
IFIP Congress (1) 1971: 281-290 |
10 | | Edward G. Coffman Jr.,
Brian Randell:
Performance Predictions for Extended Paged Memories
Acta Inf. 1: 1-13 (1971) |
9 | | Brian Randell:
Ludgate's Analytical Machine of 1909.
Comput. J. 14(3): 317-326 (1971) |
1969 |
8 | EE | Brian Randell:
A note on storage fragmentation and program segmentation.
Commun. ACM 12(7): 365-369 (1969) |
1968 |
7 | | F. W. Zurcher,
Brian Randell:
Iterative multi-level modelling. A methodology for computer system design.
IFIP Congress (2) 1968: 867-871 |
6 | EE | Brian Randell,
C. J. Kuehner:
Dynamic storage allocation systems.
Commun. ACM 11(5): 297-306 (1968) |
1964 |
5 | EE | 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 |
4 | EE | Brian Randell,
L. J. Russell:
Certification of algorithms 63, 64 and 65, partition, quicksort, and find.
Commun. ACM 6(8): 446 (1963) |
1962 |
3 | EE | Brian Randell:
Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix.
Commun. ACM 5(1): 50 (1962) |
2 | EE | Brian Randell,
C. G. Broyden:
Certification of Algorithm 66: INVRS.
Commun. ACM 5(1): 50 (1962) |
1 | EE | Brian Randell:
Remark on Algorithm 76: Sorting procedures.
Commun. ACM 5(6): 348 (1962) |