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." "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." "Mathematical Computer Performance and
Reliability." Co-editor, “Proceedings of the 2nd Workshop on Applied
Mathematics and "PERFORMANCE'87. Proceedings of the 12th “State of the Art Report on Software Important to
Safety”. |