News

  • 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 chains”, IEEE Transactions on Software Engineering, vol. 29, no. 6, pp. 524-541, June 2003, doi: … Read more
  • Call for Nominations: The 2023 Jean-Claude Laprie Award
    The nomination period is now open for the 2023 Jean-Claude Laprie Award. For full details please visit our Jean-Claude Laprie Award page. Update: nominations are being accepted through December 31, 2022.
  • The Second IFIP Workshop on
    Intelligent Vehicle Dependability and Security (IVDS)
    The second IVDS workshop was held June 24 to June 26 in Alexandria, VA. The program (including links to slides) is available here.
  • 2022 Dependable Systems and Networks Symposium
    The premier international conference for presenting the very best research results, problem solutions, and insight on new challenges facing the field of dependability and security will be held in Baltimore Maryland on June 27 to June 30, 2022. More…
  • Miller, Fredriksen, and So win the 2022 Jean-Claude Laprie Award
    May 14, 2022 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: B.P. Miller, L. Fredriksen, & B. So, “An Empirical Study of the Reliability of UNIX Utilities”, Communications of the ACM 33, 12 (December 1990). “An Empirical Study of the … Read more