Monthly Archives: April 2023

Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award

Posted on April 28, 2023 by admin

April 28, 2023 Today, IFIP Working Group 10.4 announced an outstanding paper has been selected as winner of the 2022 Jean-Claude Laprie Award in Dependable Computing: Christel Baier, Boudewijn Haverkort, Holger Hermanns, & Joost-Pieter Katoen, “Model-checking algorithms for continuous-time Markov … Continue reading →

Posted in JCL award, WG10.4 | Comments Off on Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award