Abstract :
Dr. Jean-Claude Laprie was Directeur de Recherche at LAAS-CNRS, Toulouse, France. He devoted his entire career to research on the dependability of computing systems. His unique capability of abstraction and formalization, and his contributions to the formulation of the concepts and methodologies of dependability, rapidly led to national and international recognition. He received the IFIP Silver Core in 1992, the Silver Medal of French Scientific Research in 1993, and the Grand Prize in Informatics of the French Academy of Science in 2009. He was made Chevalier de l\´Ordre National du M??rite in 2002. The IFIP 10.4 working group on Dependable Computing created the award in his honor in 2011. It recognizes outstanding papers that have significantly influenced the theory and/or practice of Dependable Computing. For 2013, the award committee decided to recognize three seminal papers, one in each of the award\´s impact categories: (1) L. Lamport, R. Shostak, and M. Pease, "The Byzantine Generals Problem," ACM Transactions on Programming Languages and Systems, vol. 4, no. 3, July 1982 pp. 382-401 . (2) J. Gray, "Why Do Computers Stop and What Can Be Done About It?," In Symposium on reliability in distributed software and database systems, pp. 3-12. IEEE, 1986. (3) W.G. Bouricius, W.C. Carter and P.R. Schneider, "Reliability Modeling Techniques for Self" Repairing Computer Systems," In Proceedings of the 24th ACM National Conference, pp. 295-309. ACM, 1969.
