Program for Tuesday, May 6th: Talk View

PROGRAM FOR TUESDAY, MAY 6TH: TALK VIEW

Days:

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

09:00-09:10

Welcome

Tarek Abdelzaher

09:10-10:10

Keynote

To Be Announced

09:00-09:25

Secure On-Sensor Machine Learning

Swapnil Saha, Mahesh Chowdhary

09:25-09:50

Security of AV Perception Systems

Xugui Zhou

09:50-10:15

Towards Understanding User Privacy Concerns of Internet of Things Sensor Data

Dipu Ram Roy

10:15-10:30

Intermittent Power, Continuous Protection: Security and Privacy for Batteryless Devices in IoT

Thea Kjeldsmark

09:00-09:30

5G Connectivity roadmap and challenges for edge devices to cloud through 5G/6G channels

Timothy Lee

09:30-10:00

5G security and AI/ML - Opportunities and Challenges

Ashutosh Dutta

10:00-10:12

Local Ratio based Real-time Job Offloading and Resource Allocation in Mobile Edge Computing

Chuanchao Gao, Arvind Easwaran

10:12-10:24

NAMP: A Network-Aware Model Partitioning Framework for Constrained Devices

Fernando Rego, João Oliveira, Filipe Sousa, Luis Almeida

09:00-09:35

Invited Talk

Jyotirmoy Deshmukh

09:35-10:10

Invited Talk

Panagiotis Tsiotras

09:00-09:30

Arrival and welcoming remarks

Johannes Koch

09:30-10:30

A Model-Driven Approach for Safety-Security Co-Analysis blending Formal Methods and Generative AI

Bastien Sultan

09:00-09:50

Skin-Interfaced Wearable Biosensors

Wei Gao

09:50-10:00

MobiVital: Self-supervised Quality Estimation for UWB-based Contactless Respiration Monitoring

Ziqi Wang, Derek Hua, Wenjun Jiang, Tianwei Xing, Xun Chen, Mani Srivastava

10:00-10:10

Through-dressing Wound Monitoring Based on the mmWave Sensor

Zhang, Li, Cheng, Xu, Huang, Zhang, Zhan, Bo, Xia, Xu

10:10-10:20

Fine-grained Heartbeat Waveform Monitoring with RFID: A Latent Diffusion Model

Yiting Wang, Tianya Zhao, Xuyu Wang

09:00-09:50

Keynote: Bringing AI Up to Speed – Designing for Pushing the Limits

Madhur Behl

09:50-10:10

Simulation vs. Hallucination: Assessing Vision-Language Model Question Answering Capabilities in Engineering

Jessica Ezemba, Christopher McComb, Conrad Tucker

10:10-10:30

Empirical Assessment of Graph Neural Network Convolution Operators for AC-OPF Learning

Sabastian Abelezele, Woong Je Sung, Arun Ramamurthy

09:00-10:00

Keynote: Formal Assurance and the Assurance Evidence for Continuously-Evolving Real-Time Systems

Kim Wasson

09:00-10:30 Session I1 - ENSSys

09:00-09:15

Opening and Welcome notes: Building safe, secure and deterministic software defined vehicles

Shashank Gaur

09:15-10:00

Keynote 1: TBD

Vijay Chavan

10:00-10:30

Managing MPSoC Memory Interference on SDV Architectures

Andrea Bastoni, Alexander Zuepke, Marco Solieri

09:00-09:20

Introduction to Playground

Xiaohan Fu

09:20-09:40

Recap on Brick programming and NREL’s BuildingMOTIF

Gabe Fierro

09:40-10:30

Lab session 1 — Write your own building app with Playground Checkpoints:

Xiaohan Fu

09:00-09:15

Initial Remarks on Formal Verification and Control with Conformal Prediction

Lars Lindemann, Jyotirmoy Deshmukh

09:15-10:00

Introduction to Conformal Prediction (with coding examples)

Lars Lindemann, Jyotirmoy Deshmukh

10:00-10:30

Verification of Learning-Enabled Components (with coding examples)

Lars Lindemann, Jyotirmoy Deshmukh

09:00-10:30 Session M1 (empty)

09:00-10:30 Session N1 - StudentComp

11:00-11:20

Towards Zero-shot Question Answering in CPS-IoT: Large Language Models and Knowledge Graphs

Ozan Baris Mulayim

11:20-11:40

Exploring the Capabilities of LLMs for IMU-based Fine-grained Human Activity Understanding

Lilin Xu

11:40-12:00

Toward Foundation Models for Online Complex Event Detection in CPS-IoT: A Case Study

Liying Han

11:00-11:25

Towards Trustworthy XR: Safety, security, and privacy concerns in XR in the era of AI

Khaza Anuarul Hoque

11:25-11:50

Toward Mobile AI Systems with Physical World Perception

Yi Ding

11:50-12:15

To be announced

Zhengxiong Li

12:15-12:30

mmVanish: Extending the Vanish Attack for Multi-Radar Exploitation of mmWave Sensing with Meta-material

Xinmin Fang

11:00-11:30

Invited talk: Trusted Time for Untrusted Edge Systems

Fatima Anwar

11:30-12:00

Invited talk: AI for Cyber-Physical Systems: Identifying the Valuable Gaps

Emily Ruppel

12:00-12:15

Surgical Software-less I/O Virtualization

F. Ciraolo, M. Nicolella, P. Carpanedo, D. Hoornaert, M. Caccamo, R. Mancuso

12:15-12:30

Adaptive Intrusion Mitigation in Software-Defined Vehicles Using Deep Reinforcement Learning

Kurunathan et.al

11:00-11:35

Invited Talk

Ioannis Kantaros

11:35-12:10

Invited Talk

Sayan Mitra

12:10-12:45

Invited Talk

Sylvia Herbert

11:00-11:45

Adversarial Sample Generation for Anomaly Detection in Industrial Control Systems

Mujeeb Ahmed

11:45-12:30

Secret Types Require OS-Backed Secrecy Code Sections

Marvin Hauser

11:00-11:10

Activity Recognition using RF and IMU Sensor Data Fusion

M. Krovvidi, Z. Shi, S. Rakshit, A.R. Shankara, V. Jain, Q. Jacobson

11:10-11:20

Unsupervised Deep Clustering for Human Behavior Understanding

Weisi Yang, Yueyuan Sui, Yiting Zhang, Stephen Xia

11:20-11:30

Human-Centered Gait Balance Estimation Using Footstep-Induced Floor Vibrations

Jiaxin Li, Yiwen Dong

11:30-11:40

Wireless Sensing of Gait for Neurodegenerative Disease Assessment: A Scoping Review

P. Wu, Y. Dong, C. Xu, M. Geil, M. Akintomide, X. Zhang, Z. Xie

11:40-11:50

Mitigating Sensor Data Bias from User Operational Variability via Causal Intervention

Zhizhang Hu, Shubham Rohal, Shijia Pan

11:50-12:00

Touchless Restroom Monitoring: A Privacy-Preserving System for Patient Care

Jingye Xu, Yuntong Zhang, Wei Wang, Mimi Xie

11:00-11:30

Invited talk: Signal Temporal Logic-based Motion planning for Multi-Robot Systems with Complex

Yash Vardhan Pant

11:30-11:50

Finding Unknown Unknowns using Cyber-Physical System Simulators

Semaan Wehbe, Stanley Bak

11:50-12:10

Autonomous Cybersecurity Testbed for Operational Technology Networks

A. Raj, S. Das, H. Vardhan, H. Neema, A. Chhokra, D. Balasubramanian

12:10-12:30

From Toy to Target: Investigating Representation Transfer for Reinforcement Learning with Implications for Cyber-Physical

Nathan Williams, Woong Je Sung, Arun Ramamurthy

11:00-11:20

The Importance of Starting in a Good Place

Bjorn Andersson

11:20-11:40

Towards Compositional Assurance of Large CPS

Gabriel Moreno, Mark Klein, Shambwaditya Saha, Farzaneh Erakhshan, Limin Jia

11:40-12:00

Assurance Cost Reduction Through Architectural Design

Eunsuk Kang

12:00-12:30

Advanced Certification Methods: Needs and Motivations

Jonathan Preston

11:00-11:20

Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered

Mudarhe, Vogelsang, Devreker, Gerhorst, Raffeck, Wagemann, Herfet

11:20-11:40

Reception Window Selection in EDT+ for Energy Efficient NB-IoT

Vlad Ionescu, Utz Roedig

11:40-12:00

Self-Adaptive Structure Enabled Energy-Efficient PM2.5 Sensing

S. Rohal, J. Zhang, D. Yoon Lee, F. Montgomery-Yale, S. Schertz, S. Pan

12:00-12:20

Modeling and Prototyping of IoT-based Long Range Self-powered Image Sensing System

Samit Hasan, Scott West, Daniel S. Truesdell, Benton H. Calhoun

11:00-11:30

Unseen Risks in Container Adoption for SDVs: Navigating Security Challenges in Automotive

Michael Fulgencio

11:30-12:10

Keynote 2: Making the SDV a reality – changing the paradigm of automotive software development

Christopher Rumpf

12:10-12:30

Solving the Challenge of Software Interoperability in Autonomous and ADAS Systems

Rajive Joshi

11:00-12:00

Lab session 2 — Regulate building apps with various policies

Yihao Liu

11:00-11:30

Control Synthesis for Learning-Enabled Cyber-Physical Systems (statistical abstractions of learning-enabled components, closed-loop

Lars Lindemann, Jyotirmoy Deshmukh

11:30-12:30

Verification of Learning-Enabled Cyber-Physical Systems (offline and runtime verification, reachable set

Lars Lindemann, Jyotirmoy Deshmukh

11:00-12:30 Session M2 (empty)

11:00-12:30 Session N2 - StudentComp

14:00-15:00

Panel Discussion

To Be Announced

14:00-14:20

ACLI-DPFL: Differentially Private Federated Learning with Adaptive Clipping and Local Iteration

Xinpeng Ling

14:20-14:35

IoTCloak: Practical Integrity Checks of Machine Learning Inference Code and Models on Tiny IoT

Mehreen Jabbeen

14:00-14:30

Invited talk: A Position on Network Management and Control for Dynamic Real-Time Systems

Luis Almeida

14:30-15:00

Invited talk: Deterministic AI Processing of Streaming Data on Edge and Embedded Devices

Soham Sinha

15:00-15:12

Efficient Inference of parallel partitioned hybrid-Vision Transformers

Berg, Saqib, Jantsch, O'Nils, Krug, Shallari, Sánchez Leal

15:12-15:24

Selective Layer Acceleration with Data-parallel Architecture for DNN Inference Throughput

Sol Ahn, Jaehyuck Kim, Seungwoo Roh, Jong-Chan Kim

14:00-14:35

Invited Talk

Morteza Lahijanian

14:35-15:10

Invited Talk

Georgios Fainekos

14:00-15:00

Tutorial Session: Safety Begins at System Level Design

Petri Solanti

14:00-14:50

Embedded Intelligence for Health and Wellness

Xiaofan Jiang

14:50-15:00

A Human-Centered Perspective on Optimizing Ambient Assisted Living Sensing Systems for Aging in

Andrea Green, Andrea Cuadra, Sarah Billington, Yiwen Dong

15:00-15:10

Towards Secure User Interaction in WebXR

C. Mukherjee, A. Arunasalam, H. Farrukh, R.M. Aburas, Z.B. Celik

15:10-15:20

Towards a Lightweight Platform for Human-Robot Interaction in Federated Edge and IoT Environments

Simon Zhang, Zhengxiong Li, Xin Qin, Hailu Xu

15:20-15:30

Vision: Preventing Tech-related Physiological Health Issues using Commodity Wearables

Bhawana Chhaglani, Sarmistha Sarna Gomasta, Prashant Shenoy

15:30-15:40

mmHvital: A Study on Head-Mounted mmWave Radar for Vital Sign Monitoring:

Yang Liu, Fahim Kawsar, Alessandro Montanari

15:40-15:50

ExplainGen: a Human-Centered LLM Assistant for Combating Misinformation

Zhicheng Yang, Xinle Jia, Xiaopeng Jiang

15:50-16:00

Towards Human-Centric Smart Homes: Modeling Sensor-Actuator Interactions with Deep Learning

Md Abdur Rahman Fahad, Razib Iqbal

14:00-14:30

Invited Talk: LLMs: Your AI Co-Pilot for Aviation Data

Saurabh Banga

14:30-14:50

Visual Modeling of ROS Launch Files

Kate Sanborn, Vakul Nath, Tanuj Kenchannavar, Jonathan Sprinkle

14:50-15:10

Enabling Analysis and Visualization of Transportation Big Data

Stephen Rees, Jonathan Sprinkle

15:10-15:30

V2X-Enabled Communication for Traffic Operations via ROS

Junyi Ji, Kate Sanborn, Jonathan Sprinkle, Dan Work

14:00-15:30 Session H3 - FAACT

14:00-14:20

Energy-Constrained Optimization for Wildfire Detection Using RGB Images

N. Yildirim, G. Kim, M. Yun, N. Elango, J. Park, U.Y. Ogras

14:20-14:40

Voltage Change is Not Energy Consumption

Pouya Mahdi Gholami, Mingyuan Xiang, Henry Hoffmann

14:40-15:00

A Sensing System is More than its Electronics: Towards addressing environmental challenges on outdoor data collection

Stephen Taylor

15:00-15:05

Demo: Greenhouse Sensing using Chirp-Based VLC with a Solar Panel for Energy Harvesting and Data

Y. Guo, J. Lin, F. Vafadari, T. Morton, K. Obraczka, C. Josephson

15:05-15:10

Poster: Towards Microbial Fuel Cell Powered Backscatter Tags for Low-Cost In-Ground Soil Moisture

Eric Vetha, Ava Darbonne, Colleen Josephson

14:00-14:25

Get ready for feature-oriented vehicle SW development and testing

Emil Dautovic

14:25-14:50

Deterministic Scheduling for Autonomous Systems: Challenges, and Our Solution - NVIDIA System Task

Ashutosh Tadkase

14:50-15:10

Keynote 3: TBD

Jegan Arthanari

14:00-14:15

Kick-off for Aligning Ethics and CPS/IoT

Sofia Jamie

14:15-15:00

Applied Tutorial – Assessing Ethical Risks in CPS/IoT

Sofia Jaime

14:00-15:30 Session L3 - PhDForum

14:00-14:30

Opening Remarks and Motivation for the Tutorial On the challenges of achieving safe AI-based autonomy and generating and curating data to support the design life cycles of (semi-)autonomous

Sanjit Seshia

14:30-15:10

Introduction to the Scenic language: We will use a range of examples to illustrate the various features of Scenic and their use

Daniel Fremont

15:10-15:40

Hands-On Programming with Scenic (Part 1)

Edward Kim

14:00-15:30 Session N3 - (empty)

16:00-16:20

FL-DABE-BC: A Privacy-Enhanced, Decentralized Authentication, and Secure Communication for Federated Learning Framework with Decentralized Attribute-Based Encryption and Blockchain for IoT

Pravisha P, Sathwik Narkedimilli, Amballa Venkata Sriram

16:20-16:40

AttackLLM: LLM-based Attack Pattern Generation for an Industrial Control System

Abdul Mustafa

16:40-17:00

Are We There Yet? A Measurement Study of Efficiency for LLM Applications on Mobile Devices

Xiao Yan

16:00-17:30 Session B4 - (empty)

16:00-16:30

Invited talk: Optimizing IoT Node Design for Edge Computing Applications

Irida Shallari

16:30-17:00

Invited talk: Connected Minds: Leveraging Collective Reasoning for Autonomous Systems

Selma Saidi

17:00-17:15

SIM-LDM: Local Dynamic Map Generation Framework using Autonomous Driving Simulator

Shunsuke Ito, Ryo Okamura, Chaoran Zhao, Takuya Azumi

17:15-17:30

Open Discussion moderated by the chairs and concluding remarks

Miguel Gutiérrez Gaitán

16:00-17:30 Session D4 - (empty)

16:00-16:30

Towards a Digital Twin Framework for Secure and Efficient Cyber-Physical Transportation Systems

Luca Brodo

16:30-17:00

Digital Twin and Digital Threat for System Security and Performance applied to a Smart Grid Use Case

Daniela Genius

17:00-17:30

Plenary discussion and closing remarks

Johannes Koch

16:00-16:10

A Semi-automated Mesh Editing Pipeline for HRTF Simulation

Bodee Quansah, Navid H. Zandi, Rong Zheng

16:10-16:20

MoCoMR: A Collaborative MR Simulator with Individual Behavior Modeling

Diana Romero, Fatima Anwar, Salma Elmalaki

16:20-16:30

DUal-NET: A Transformer-Based U-Net Model for Denoising Bone Conduction Speech

Yueyuan Sui, Minghui Zhao, Junxi Xia, Yiting Zhang, Xiaofan Jiang, Stephen Xia

16:30-16:40

Quantitative Assessment of mmWave Point Cloud for Target Detection

Boyu Jiang, Rong Zheng

16:40-16:50

PluralLLM: Pluralistic Alignment in LLMs via Federated Learning

Mahmoud Srewa, Tianyu Zhao, Salma Elmalaki

16:50-17:00

Good, but Not That Good: An Honestly-Noisy Visualization of Low-Fidelity Data Streams

Alvin Tan, Prabal Dutta

17:00-17:10

DomAIn: Towards Programless Smart Homes

Y. Sui, Y. Zhang, Y. Liu, M. Zhao, K. Hou, J. Nie, X. Jiang, S. Xia

17:10-17:20

Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction

Salami Pargoo et.al

17:20-17:30

Human-Centric Wearable Platform for Work Safety Monitoring: Navigating Between Protection and

Annabel Jünke, Susanne Robra-Bissantz, Jan Schlichter, Lars Wolf, Leonard Zurek

16:00-16:30

Invited Talk: Predictive Runtime Verification of Learning-Enabled Systems with Conformal Prediction

Lars Lindermann

16:30-16:50

Uncertainty Quantification and Data Provenance for Data Pipeline Security Analysis

Alberta Dadeboe, Farzaneh Mansourifard, Shridatt Sugrim

16:00-17:30 Session H4 - (empty)

16:00-17:30 Session I4 - ENSSys

16:00-16:25

GAIA-X4AGEDA: Enabling Data-Driven and Adaptive Vehicle Architectures for the Mobility of the Future

Achim Rettberg

16:25-16:50

TCUs in the real world

Fred Bauer

16:50-17:05

Next Challenges for SDV Research

Shashank Gaur

16:00-17:00

Round Table Discussion – Ethics and Human Values in CPS/IoT

Sofie Jaime

17:00-17:30

Wrap-Up and Key Takeaways

Sofia Jaime

16:00-17:30 Session L4 - PhDForum

16:00-16:30

Applications of Scenic (Part 2)

Edward Kim

16:30-16:50

Hands-On Programming with Scenic (Part 2)

Edward Kim

16:50-17:00

Ongoing and Future Research Directions:

Edward Kim

16:00-17:30 Session N4 - (empty)