UTFacultiesEEMCSDisciplines & departmentsDACSNewsDACS paper wins 2023 Jean-Claude Laprie Award

DACS paper wins 2023 Jean-Claude Laprie Award

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!