DSN 2023

About Jean-Claude Laprie Award

The Jean-Claude Laprie Award in Dependable Computing is awarded annually since 2012 by the IFIP Working Group on Dependable Computing and Fault Tolerance in his honor. The award recognizes outstanding papers that have significantly influenced the theory and/or practice of Dependable Computing. It takes the form of a memorial plaque presented to the author(s) at the Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). Any paper relating to dependable and secure Computing published at least ten years before the award year is eligible for the award. The award seeks to recognize papers that have had a significant impact in the intervening years in one or more of the three following categories:

Technical/scientific research impact
Industrial/commercial product impact
Broad impact on the dependable computing community

More details can be found here!

Winner of the 2023 Jean-Claude Laprie Award

For 2023, the Award Committee has unanimously decided to select the following paper:

Model-checking algorithms for continuous-time Markov chains
Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
IEEE Transactions on Software Engineering, vol. 29, no. 6, pp. 524-541, June 2003, doi: 10.1109/TSE.2003.1205180.

The Award Citation

Model-checking algorithms for continuous-time Markov chains, authored by C. Baier, B. Haverkort, H. Hermanns, and J.P. Katoen, and published in IEEE Transactions on Software Engineering, 2003, presents a unifying theory and algorithm to evaluate a wide variety of performance and dependability measures for continuous-time Markov chain models. The proposed approach inspired many researchers and provided a theoretical foundation for various model- checking tools, including GreatSPN, PRISM, STORM, and COMPASS. Techniques first presented in the paper are being used in real-life, industrial applications of dependable and mission-critical systems, e.g., at the European Space Agency (ESA), the approach has been used for evaluating space system dependability and at BMW , the approach has been applied for evaluating designs of autonomous driving systems architectures. Also, the algorithms, and the supporting tools, were used for applications beyond the realm of dependable systems design, e.g., modeling and analysis of biological and biochemical systems and computational biology. Furthermore, the seminal work presented in the awarded paper was recently extended to evaluate quantum computing systems. Extensions of the approach were also used to model system survivability, stable storage systems, and telecommunications applications. This paper profoundly impacted the research and practice in applying the theoretical formulation of model checking in engineering practice to design and evaluate dependable and mission-critical systems. (Based on the nomination letter.)

DSN-2023 Jean-Claude Laprie Award Committee

Chair: Zbigniew Kalbarczyk, University of Illinois at Urbana-Champaign, United States

Members:
      Felicita Di Giandomenico, ISTI-CNR, Italy
     Mootaz Elnozahy, King Abdullah University of Science and Technology (KAUST), Saudi Arabia
     Matti Hiltunen, AT&T Labs – Research, United States
     Michael Lyu, Chinese University of Hong Kong in Shatin, Hong Kong
     Henrique Madeira, University of Coimbra, Portugal
     Timothy Tsai, NVIDIA, United States

Past Winners of the Jean-Claude Laprie Award

2022

B.P. Miller, L. Fredriksen, and B. So, “An Empirical Study of the Reliability of UNIX Utilities”, Communications of the ACM 33, 12 (December 1990)

2021

Iyer, Ravishankar K. and Rossetti, David J and Hsueh, Mei-Chen. ACM TOCS 1986. Measurement and Modeling of Computer Reliability as Affected by System Activity

2020

Ateniese, G., Di Pietro, R., Mancini, L. V., Tsudik, G. Scalable and Efficient Provable Data Possession. In Proc. 4th Intl. Conf. on Security and Privacy in Communication Networks (SecureComm), Istanbul, Turkey (September 2008), Art. No.9, pp.1-10

2019

Huang, Y., Kintala, C., Kolettis, N., & Fulton, N.D. “Software Rejuvenation: Analysis, Module and Applications”. In Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS), pp 381-390.

2018

Algirdas Avizienis and Liming Chen, “On the implementation of N-version programming for software fault tolerance during execution”, in Proc. COMPSAC, 1977, 149-155.

2017

Kuang-Hua Huang and Jacob A. Abraham, “Algorithm Based Fault Tolerance for Matrix Operations”, in IEEE Transactions on Computers, Vol. C-33, No. 6, pp. 518-528, June 1984

Richard Schlichting and Fred Schneider “Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems” in ACM Transactions on Computing Systems, 1(3), Aug. 1983, pp. 222-238.

2016

W.C.Carter and P.R.Schneider, “Design of Dynamically Checked Computers“, Proceedings of the IFIP Congress, Vol.2, pp.878 – 883 (1968).

A. Avizienis, J.C. Laprie, B. Randell and C. Landwehr, “Basic concepts and taxonomy of dependable and secure computing“, IEEE Transactions on dependable and secure computing. Vol.1. No.1, pp.1 – 23 (2004).

2015

A. L. Hopkins, Jr., T.B. Smith, III, and J.H. Lala, “FTMP—A highly reliable fault-tolerant multiprocess for aircraft“, Proceedings of the IEEE, vol.66, no.10, pp.1221, 1239, Oct. 1978

2014

B. Randell, “System Structure for Software Fault Tolerance“, IEEE Transactions on Software Engineering, vol.SE-1, no.1, 1975, pp 220-232.

J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Melliar-Smith, R.E. Shostak, C.B. Weinstock, “SIFT: The Design and Analysis of a Fault-Tolerant Computer for Aircraft Control“, Proceedings of the IEEE, vol.66, no.10, 1978, pp.1240-1255.

H. Kopetz, G. Bauer, “The Time-Triggered Architecture“, Proceedings of the IEEE, vol.91, no.1, 2003, pp. 112-126.

2013

L. Lamport, R. Shostak, and M. Pease, “The Byzantine Generals Problem (1982)

J. Gray, “Why Do Computers Stop and What Can Be Done About It? (1986)

W.G. Bouricius, W.C. Carter and P.R. Schneider, “Reliability Modeling Techniques for Self-Repairing Computer Systems (1969)

2012

A. Avizienis, “Design of fault-tolerant computers (1967)

J. F. Meyer, “On evaluating the performability of degradable computing systems (1980)

D. A. Patterson, G. Gibson, and R. H. Katz, “A case for redundant arrays of inexpensive disks (RAID) (1988)