Wednesday 17 May 2023
A paper authored amongst others by the former DACS chair prof. Boudewijn Haverkort in 2003 has been awarded the 2023 Jean-Claude Laprie Award:
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.
According to the jury, “…..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.”
Congratulations Boudewijn!