Category Archives: WG10.4

WG 10.4 Concludes Multi-Year Project on Intelligent Vehicle Dependability and Security

Posted on June 7, 2024 by Karthik Pattabiraman

The IVDS project vision has been the realization of highly dependable and secure operation of intelligent vehicles, verified and validated with respect to strict dependability (particularly safety) and security requirements by rigorous state-of-the-art methods. The multi-year project concluded in Feb … Continue reading →

Posted in WG10.4 | Comments Off on WG 10.4 Concludes Multi-Year Project on Intelligent Vehicle Dependability and Security

Call for Nominations: 2024 Jean-Claude Laprie Award

Posted on December 15, 2023 by Karthik Pattabiraman

The nomination period is now open for the 2024 Jean-Claude Laprie Award. For full details please visit our Jean-Claude Laprie Award page. Update: nominations are being accepted through January 19th, 2024.

Posted in JCL award, WG10.4 | Comments Off on Call for Nominations: 2024 Jean-Claude Laprie Award

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

Call for Nominations: The 2023 Jean-Claude Laprie Award

Posted on December 15, 2022 by admin

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.

Posted in JCL award, WG10.4 | Comments Off on Call for Nominations: The 2023 Jean-Claude Laprie Award

The Second IFIP Workshop on
Intelligent Vehicle Dependability and Security (IVDS)

Posted on June 30, 2022 by admin

The second IVDS workshop was held June 24 to June 26 in Alexandria, VA. The program (including links to slides) is available here.

Posted in WG10.4 | Comments Off on The Second IFIP Workshop on
Intelligent Vehicle Dependability and Security (IVDS)

2022 Dependable Systems and Networks Symposium

Posted on May 21, 2022 by admin

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…

Posted in DSN, TCFT, WG10.4 | Comments Off on 2022 Dependable Systems and Networks Symposium

Miller, Fredriksen, and So win the 2022 Jean-Claude Laprie Award

Posted on May 14, 2022 by admin

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 … Continue reading →

Posted in JCL award, WG10.4 | Comments Off on Miller, Fredriksen, and So win the 2022 Jean-Claude Laprie Award

Popov and Yu Elected as New Members at Winter 2022 Meeting

Posted on January 31, 2022 by admin

January 31, 2022 – Virtually The Working Group 10.4 on Dependable Computing and Fault Tolerance (WG10.4) of the International Federation For Information Processing (IFIP) announced today, at it’s Summer meeting, that it has elected Peter Popov and Jianshan Yu as … Continue reading →

Posted in WG10.4, WG10.4 New Members | Comments Off on Popov and Yu Elected as New Members at Winter 2022 Meeting

Vieira Succeeds Elnozahy as IFIP WG10.4 Chair

Posted on January 25, 2022 by admin

January 25, 2022, Saudi Arabia The Working Group 10.4 on Dependable Computing and Fault Tolerance (WG10.4) of the International Federation For Information Processing (IFIP) announced today, that its Chair, Mootaz Elnozahy (KAUST, SA)  is stepping down. Effective immediately Vice-chair Marco Vieira … Continue reading →

Posted in WG10.4, WG10.4 Officers | Comments Off on Vieira Succeeds Elnozahy as IFIP WG10.4 Chair

Kim, Steiner, and Ceccarelli Elected New Members at Summer 2021 Meeting

Posted on July 4, 2021 by admin

July 4, 2021 – Virtually The Working Group 10.4 on Dependable Computing and Fault Tolerance (WG10.4) of the International Federation For Information Processing (IFIP) announced today, at it’s Summer meeting, that it has elected Dan Dongseong Kim, Wilfried Steiner, and … Continue reading →

Posted in WG10.4, WG10.4 New Members | Comments Off on Kim, Steiner, and Ceccarelli Elected New Members at Summer 2021 Meeting