What i learned from brian

Authors:
Hermann Kopetz
Affiliations:
Institut für Technische Informatik, TU Wien, Austria
Venue:
Dependable and Historic Computing
Year:
2011

Citing 8
Cited 0

Program verification: the very idea

Communications of the ACM
Viewpoint

Communications of the ACM
Social processes and proofs of theorems and programs

Communications of the ACM
How to write correct programs and know it

Proceedings of the international conference on Reliable software
Data reliability

Proceedings of the international conference on Reliable software
Algol-60 Implementation

Algol-60 Implementation
The Black Swan: The Impact of the Highly Improbable

The Black Swan: The Impact of the Highly Improbable
Real-Time Systems: Design Principles for Distributed Embedded Applications

Real-Time Systems: Design Principles for Distributed Embedded Applications

Quantified Score

Hi-index	0.00

Visualization

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.