Abstract
For more than forty years I have learned from Brian Randell, in the first seven years by studying his writings, and later by many enjoyable and insightful personal interactions. On April 7, 2011 I had the privilege to present the after-dinner speech on the occasion of Brian’s 75th birthday party. Since a British after dinner speech is a very special event, I was awaiting this evening with a lot of excitement. The following notes summarize the main ideas of this after dinner talk.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
DeMillo, R.A., Lipton, R.J., Perlis, A.J.: Social Processes and the Proof of Theorems and Programs. Comm. ACM 22(5), 271–280 (1979)
Dobson, J.E., Randell, B.: Viewpoint: Program Verification: Public Image and Private Reality. Comm. ACM 32(4), 420–422 (1989)
Fetzer, J.H.: Program Verification, the Very Idea. Comm. ACM 31(9), 1048–1063 (1988)
Hoare, T.: Data Reliability. In: Proc. of the International Conference on Reliable Software, pp. 528–533. ACM Press, New York (1975)
ITRS Roadmap. International Technology Roadmap for Semiconductors, 2009 edn. Executive Summary. Semiconductor Industry Association (2009)
Lovins, L.H.: Brittle Power. Brick House Publishing Co., Inc. (2001)
Kopetz, H.: Real-Time Systems-Design Principles for Distributed Embedded Applications, 2nd edn. Springer, Heidelberg (2011)
Mills, H.: How to Write Correct Programs and Know It. In: Proc. of the International Conference on Reliable Software, pp. 363–370. ACM Press, New York (1975)
Randell, B., Russell, L.J.: Algol 60 Implementation. Academic Press, London (1964)
Schrödinger, E.: What is life. Cambridge University Press, Cambridge (1992)
Taleb, N.N.: The Black Swan—The Impact of the Highly Improbable. Random House Trade Paperbacks (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kopetz, H. (2011). What I Learned from Brian. In: Jones, C.B., Lloyd, J.L. (eds) Dependable and Historic Computing. Lecture Notes in Computer Science, vol 6875. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24541-1_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-24541-1_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24540-4
Online ISBN: 978-3-642-24541-1
eBook Packages: Computer ScienceComputer Science (R0)