- WG 10.4 Concludes Multi-Year Project on Intelligent Vehicle Dependability and SecurityThe 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 2024 with a presentation of the project summary and findings at the 85th meeting of … Continue reading
- Call for Nominations: 2024 Jean-Claude Laprie AwardThe 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.
- Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie AwardApril 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: … Continue reading
- Call for Nominations: The 2023 Jean-Claude Laprie AwardThe 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.
-
Recent Posts
-
Categories