What I Learned from Brian

  • Hermann Kopetz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6875)

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

Reliable Software Program Verification Birthday Party Interesting Book English Electric 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Dem79]
    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)CrossRefGoogle Scholar
  2. [Dob89]
    Dobson, J.E., Randell, B.: Viewpoint: Program Verification: Public Image and Private Reality. Comm. ACM 32(4), 420–422 (1989)CrossRefGoogle Scholar
  3. [Fet88]
    Fetzer, J.H.: Program Verification, the Very Idea. Comm. ACM 31(9), 1048–1063 (1988)CrossRefGoogle Scholar
  4. [Hoa75]
    Hoare, T.: Data Reliability. In: Proc. of the International Conference on Reliable Software, pp. 528–533. ACM Press, New York (1975)CrossRefGoogle Scholar
  5. [ITR09]
    ITRS Roadmap. International Technology Roadmap for Semiconductors, 2009 edn. Executive Summary. Semiconductor Industry Association (2009) Google Scholar
  6. [Lov0l]
    Lovins, L.H.: Brittle Power. Brick House Publishing Co., Inc. (2001)Google Scholar
  7. [Kop11]
    Kopetz, H.: Real-Time Systems-Design Principles for Distributed Embedded Applications, 2nd edn. Springer, Heidelberg (2011)MATHGoogle Scholar
  8. [Mil75]
    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)CrossRefGoogle Scholar
  9. [Ran64]
    Randell, B., Russell, L.J.: Algol 60 Implementation. Academic Press, London (1964)MATHGoogle Scholar
  10. [Sch44]
    Schrödinger, E.: What is life. Cambridge University Press, Cambridge (1992)CrossRefGoogle Scholar
  11. [Tal 07]
    Taleb, N.N.: The Black Swan—The Impact of the Highly Improbable. Random House Trade Paperbacks (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Hermann Kopetz
    • 1
  1. 1.Institut für Technische InformatikTU WienAustria

Personalised recommendations