-
Recent Posts
- Call for Nominations: 2025 Jean-Claude Laprie Award
- WG 10.4 Concludes Multi-Year Project on Intelligent Vehicle Dependability and Security
- Two Papers Win the 2024 Jean Claude Laprie Award
- Call for Nominations: 2024 Jean-Claude Laprie Award
- Baier, Haverkort, Hermanns, and Katoen Win the 2023 Jean-Claude Laprie Award
-
Categories
Author Archives: Karthik Pattabiraman
Call for Nominations: 2025 Jean-Claude Laprie Award
The nomination period is now open for the 2025 Jean-Claude Laprie Award. For full details please visit our Jean-Claude Laprie Award page. Update: nominations are being accepted through January 20th, 2025.
Posted in JCL award
Comments Off on Call for Nominations: 2025 Jean-Claude Laprie Award
WG 10.4 Concludes Multi-Year Project on Intelligent Vehicle Dependability and Security
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
Two Papers Win the 2024 Jean Claude Laprie Award
For 2024, the IFIP Working Group 10.4 announced that the following two outstanding papers have been selected as winner : S. Garg, A. van Moorsel, K. Vaidyanathan and K. S. Trivedi, “A methodology for detection and estimation of software aging,” … Continue reading
Posted in Uncategorized
Comments Off on Two Papers Win the 2024 Jean Claude Laprie Award
Call for Nominations: 2024 Jean-Claude Laprie Award
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.