Industry Track Program

 

10:30-12:00; Room: Aula Magna -- Invited talk + Best Paper Candidates

• Software reliability between cybersecurity and disruptive technologies (30 minutes talk + 10 minutes Q&A)
  (Invited Talk) Marco Braccioli

• A Fault Injection and Formal Verification Framework Based on UML Sequence Diagram (20 minutes talk + 5 minutes Q&A)
  Hezhen Liu, Jiacheng Yin, Chengqiang Huang, Hao Lan, Zhi Jin, Zheng Zheng and Xun Zhang

• Bridging the Gap Between System Architecture and Software Design using Model Transformation (20 minutes talk + 5 minutes Q&A)
  Faezeh Siavashi, Horacio Hoyos Rodriguez, Vera Pantelic, Mark Lawford, Richard Paige, Monika Jaskolka, Guanrui Hou and Alessandro Verde

13:30-15:10; Room: Community Space -- Industry Track 1: Software testing and formal methods

• AI: challenges and opportunities for application in Ground Transportation Systems (20 minutes talk + 5 minutes Q&A)
  (Invited Talk) Luigi Rucher

• Semi-formal and Formal Specification of a Telerehabilitation System for Chronic Respiratory Diseases: Methodology and Feedback (20 minutes talk + 5 minutes Q&A)
  Anne-Lise Courbis, Farid Arfi, Thomas Lambolais, François Bughin and Maurice Hayot

• [Remote] When Simulator Meets Natural Deviation: A Study on Deviations in Simulation-based ADS Testing (15 minutes talk + 5 minutes Q&A)
  Renzhi Wang, Zhijie Wang, Yuheng Huang and Lei Ma

• [Remote] CBTCset: A Reference Dataset for Detecting Misbehavior Attacks in CBTC Networks (15 minutes talk + 5 minutes Q&A)
  Amin Fakhereldine, Mohammad Zulkernine and Dan Murdock

15:40-17:20; Room: Community Space -- Industry Track 2: Debugging and root cause analysis

• [Remote] Harnessing the Power of Privacy: Advancing into the 6G era with reliable AI (25 minutes talk + 5 minutes Q&A)
  (Invited Talk) Nicolas Kourtellis, Ph.D.

• [Remote] HRCA: A Heterogeneous Graph-based Adaptive Root Cause Analysis Framework (15 minutes talk + 5 minutes Q&A)
  Yu Enyu, Dong Hui, Ren Yuxiang, Yan Minzhi, Zhang Xuecang, Yang Yi, Yue Le and Huang Zhengbin

• [Remote] Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software (15 minutes talk + 5 minutes Q&A)
  Tingting Yu, Chunpeng Jia, Rui Chen, Chao Li, Boxiang Wang and Yunsong Jiang

• [Remote] Towards Multi-Language Static Code Analysis (15 minutes talk + 5 minutes Q&A)
  Sanaa Siddiqui, Ravindra Metta and Kumar Madhukar