-
Recent Posts
- Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award
- Call for Nominations: The 2023 Jean-Claude Laprie Award
- The Second IFIP Workshop on
Intelligent Vehicle Dependability and Security (IVDS) - 2022 Dependable Systems and Networks Symposium
- Miller, Fredriksen, and So win the 2022 Jean-Claude Laprie Award
-
Categories
Monthly Archives: April 2023
Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award
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