2009 | ||
---|---|---|
72 | Jeff Jianxin Yan, Brian Randell: An Investigation of Cheating in Online Games. IEEE Security & Privacy 7(3): 37-44 (2009) | |
2008 | ||
71 | Brian Randell: Position Statement: How Far Have We Come? COMPSAC 2008: 8 | |
70 | Brian Randell: System Complexity and System Failures. ECBS 2008: 5 | |
2007 | ||
69 | Brian Randell, John M. Rushby: Distributed Secure Systems: Then and Now. ACSAC 2007: 177-199 | |
68 | Brian Randell: The National Programme for Information Technology in the UK Health Service: Dependability Challenges and Strategies. DSN 2007: 813 | |
67 | Brian Randell, Maciej Koutny: Failures: Their Definition, Modelling and Analysis. ICTAC 2007: 260-274 | |
2006 | ||
66 | Brian Randell, Peter Y. A. Ryan: Voting Technologies and Trust. IEEE Security & Privacy 4(5): 50-56 (2006) | |
2005 | ||
65 | Brian Randell, Peter Y. A. Ryan: Voting Technologies and Trust. Formal Aspects in Security and Trust 2005: 1-4 | |
64 | Jeff Jianxin Yan, Brian Randell: A systematic classification of cheating in online games. NETGAMES 2005: 1-9 | |
63 | 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) | |
62 | 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 | ||
61 | Tom Anderson, Brian Randell, Alexander B. Romanovsky: Wrapping the future. IFIP Congress Topical Sessions 2004: 165-174 | |
60 | Algirdas Avizienis, Jean-Claude Laprie, Brian Randell: Dependability and its threats - A taxonomy. IFIP Congress Topical Sessions 2004: 91-120 | |
59 | Brian Randell: Dependable Pervasive Systems. SRDS 2004: 2 | |
58 | 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 | ||
57 | Brian Randell: On Failures and Faults. FME 2003: 18-39 | |
56 | Brian Randell: Edsger Dijkstra. WORDS Fall 2003: 3- | |
2002 | ||
55 | 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 | |
54 | 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 | ||
53 | John E. Dobson, Brian Randell: Building Reliable Secure Computing Systems out of Unreliable Insecure Components. ACSAC 2001: 162-173 | |
52 | 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 | ||
51 | Brian Randell: Turing Memorial Lecture Facing Up to Faults. Comput. J. 43(2): 95-106 (2000) | |
50 | 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) | |
49 | 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 | ||
48 | 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 | |
47 | Brian Randell: Fault Tolerance in Decentralized Systems. ISADS 1999: 174- | |
46 | 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 | ||
45 | Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell: Cyber Threats (Panel). FTCS 1998: 104-106 | |
44 | Jie Xu, Alexander B. Romanovsky, Brian Randell: Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation. ICDCS 1998: 12-21 | |
43 | Alexander B. Romanovsky, Jie Xu, Brian Randell: Exception Handling in Object-Oriented Real-Time Distributed Systems. ISORC 1998: 32-42 | |
42 | R. Benjamin, B. Gladman, Brian Randell: Protecting IT Systems from Cyber Crime. Comput. J. 41(7): 429-443 (1998) | |
1997 | ||
41 | Alexander Romanovsky, Brian Randell, Robert J. Stroud, Jie Xu, Avelino Francisco Zorzo: Implementation of blocking coordinated atomic actions based on forward error recovery. Journal of Systems Architecture 43(10): 687-699 (1997) | |
1996 | ||
40 | Jie Xu, Alexander B. Romanovsky, Brian Randell: Exception Handling and Resolution in Distributed Object-oriented Systems. ICDCS 1996: 545-553 | |
39 | 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 | 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 | 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 | 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 | Brian Randell, C. J. Kuehner: Dynamic storage allocation systems. Commun. ACM 11(5): 297-306 (1968) | |
1964 | ||
5 | 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 | Brian Randell, L. J. Russell: Certification of algorithms 63, 64 and 65, partition, quicksort, and find. Commun. ACM 6(8): 446 (1963) | |
1962 | ||
3 | Brian Randell: Certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix. Commun. ACM 5(1): 50 (1962) | |
2 | Brian Randell, C. G. Broyden: Certification of Algorithm 66: INVRS. Commun. ACM 5(1): 50 (1962) | |
1 | Brian Randell: Remark on Algorithm 76: Sorting procedures. Commun. ACM 5(6): 348 (1962) |