IFIP Working Group 10.4 announced that the following outstanding paper has been selected as winner of the 2023 Jean-Claude Laprie Award in Dependable Computing:
Christel Baier, Boudewijn Haverkort, Holger Hermanns, & Joost-Pieter Katoen, “Model-checking algorithms for continuous-time Markov chains”, IEEE Transactions on Software Engineering, vol. 29, no. 6, pp. 524-541, June 2003, doi: 10.1109/TSE.2003.1205180.
The award recognizes outstanding papers that have significantly influenced the theory and/or practice of Dependable Computing.
This paper was written while Joost-Pieter Katoen and Holger Hermanns were both members of the FMT group.
See: Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award | (dependability.org)