Monday, May 13, 2024
All times are Hong Kong local
| HKT | CDT | Title |
|---|---|---|
| 8:00am – 8:30am | 7:00pm – 7:30pm (5/12) | Breakfast |
| 8:30am – 8:45am | 7:30pm – 7:45pm (5/12) | Welcome Remarks Dr. Himanshu Neema [Vanderbilt University, USA, Chair, DESTION 2024] |
| 8:45am – 9:45am | 7:45pm – 8:45pm (5/12) | Invited Talk: Human+AI Collaboration in Design: A Tool, A Teammate, A Coach Dr. Christopher McComb [Associate Professor, Carnegie Mellon University, USA] |
| 9:45am –10:15am | 8:45pm – 9:15pm (5/12) | Coffee Break |
| 10:15am – 10:45am | 9:15pm – 9:45pm (5/12) | Invited Talk: Towards Trustworthy Cyber-Physical System using Automation and Neuro-Symbolic AI Dr. Rickard Ewetz [Associate Professor, University of Central Florida, USA] |
| 10:45am – 11:05am | 9:45pm – 10:05pm (5/12) | Fusion of ML with Numerical Simulation for Optimized Propeller Design Presenter: Dr. Harsh Vardhan [Vanderbilt University, USA] |
| 11:05am – 11:25am | 10:05pm – 10:25pm (5/12) | RAMPART: Reinforcement Against Malicious Penetration by Adversaries in Realistic Topologies Presenter: Dr. Daniel A. Balasubramanian [Vanderbilt University, USA] |
| 11:25am – 11:45am | 10:25pm – 10:45pm (5/12) | Libpanda Apps: Managing the Deployment and Reuse of a Cyber-Physical System Presenter: Dr. Matt Bunting [Vanderbilt University, USA] |
| 11:45pm – 1:30pm | 10:45pm (5/12) – 12:30am (5/13) | Lunch |
| 1:30pm – 2:00pm | 12:30am – 1:00am | Invited Talk: (Executable) Digital Twins: The Innovation Backbone of the Future Dr. Dirk Hartmann [Siemens Technical Fellow, Siemens Digital Industries Software, Munich, Germany] |
| 2:00pm – 2:20pm | 1:00am – 1:20am | Scalable HLA Co-Simulations of Connected and Automated Vehicles using Aggregation of Virtual Federates Presenter: Dr. Thomas Roth [National Institute of Standards and Technology (NIST), USA] |
| 2:20pm – 2:40pm | 1:20am – 1:40am | Anvil: An integration of artificial intelligence and sampling techniques with combined CAD-CFD tool Presenter: Dr. Umesh Timalsina [Vanderbilt University, USA] |
| 2:40pm – 3:00pm | 1:40am – 2:00am | Demo: Realistic and Lightweight Cyber Agent Training Environment using Network Emulation in Mininet Presenter: Chih-Ting Yeh [Vanderbilt University, USA] |
| 3:00pm – 3:30pm | 2:00am – 2:30am | Coffee Break |
| 3:30pm – 4:00pm | 2:30am – 3:00am | Invited Talk: Injecting Traffic Rules in AI-Powered Autonomous Vehicles Dr. Sushant Veer [Research Scientist, NVIDIA, USA] |
| 4:00pm – 4:30pm | 3:00am – 3:30am | Invited Talk: Fine-Tuning Language Models Using Formal Methods Feedback Dr. Ufuk Topcu [Professor, University of Texas at Austin, USA] |
| 4:30pm – 4:50pm | 3:30am – 3:50am | Model-based Design Tool for Cyber-physical Power Systems using SystemC-AMS Presenter: Dr. Rahul Bhadani [University of Alabama, Huntsville, USA] |
| 4:50pm – 5:00pm | 3:50am – 4:00am | Short Break |
| 5:00pm – 5:20pm | 4:00am – 4:20am | A Signal Injection Attack Against Zero Involvement Pairing and Authentication for the Internet of Things Presenter: Isaac Ahlgren [Loyola University, Chicago, USA] |
| 5:20pm – 5:40pm | 4:20am – 4:40am | Towards Fairness-aware Crowd Management System and Surge Prevention in Smart Cities Presenter: Tianyu Zhao [University of California, Irvine, USA] |
| 5:40pm – 5:55pm | 4:40am – 4:55am | Short Paper: A Position Paper on Transforming Embedded Real-Time Systems to the Cloud: Challenges and New Research Directions Presenter: Dr. Mitra Nasri [Eindhoven University of Technology (TU/e), Netherlands] |
| 5:55pm – 6:00pm | 4:55am – 5:00am | Closing Remarks |
| 6:00pm – 8:00pm | 5:00am – 7:00am | Reception |