Books and Book Contributions

"The Belgian Electronic Mathematical Machine (1951-1962): An Account.” In “Dependable and Historic Computing. Essays dedicated to Brian Randell on the Occasion of His 75th Birthday”. Cliff B. Jones, John L. Lloyd (Eds). Lecture Notes in Computer Sciences, LNCS 6875. Springer 2011, pp. 225-237.

"Justifying the Dependability of Computer-based Systems."
Springer-Verlag, London. ISBN 978-1-84800-371-2. September 2008.

"Concurrent Control with Readers and Writers - An Introduction. In Software Fundamentals- Collected Papers by D.L. Parnas, Edited by D.M. Hoffman and D.M. Weiss, Addison –Wesley, 2001, pp. 387-392.

"Decomposability, Queueing and Computer Systems Applications."
Academic Press, New-York. 1976, 201pp. Preface by H.A. Simon (1916-2001), Nobel Price in Economy (1978), Turing Lecturer (1975).

"Mathematical Computer Performance and Reliability." Co-editor,
North Holland, Amsterdam, 1984, 430 pp.

“Proceedings of the 2nd Workshop on Applied Mathematics and
Performance/Reliability Models of Computer/Communication Systems”,
Co-editor, May 25-29, 1987, University of Rome II.

"PERFORMANCE'87. Proceedings of the 12th
IFIP WG 7.3 International Conference on Computer performance Modelling,
Measurement and Evaluation”, Co-editor, Brussels, December 1987.

“State of the Art Report on Software Important to Safety”.
With J. Pachner. Technical Report Series No 367. International
Association for Atomic Energy (UNO, IAEA), Vienna, 170pp., 1994.