CPS-IOT WEEK 2025: CYBER-PHYSICAL SYSTEMS AND INTERNET-OF-THINGS WEEK

A
Abate, Alessandro	Robust Aggregation of Electric Vehicle Flexibility
Abbas, Houssam	Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic
Abdelzaher, Tarek	Welcome MMBind: Unleashing the Potential of Distributed and Heterogeneous Data for Multimodal Learning in IoT
Abelezele, Sabastian	Empirical Assessment of Graph Neural Network Convolution Operators for AC-OPF Learning
Abou-Mrad, Christian	Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic
Aboutanios, Elias	Improving mmWave based Hand Hygiene Monitoring through Beam Steering and Combining Techniques
Aburas, Reham Mohamed	Towards Secure User Interaction in WebXR
Adhikary, Sunandan	MAARS: Multi-Rate Attack-Aware Randomized Scheduling for Securing Real-time Systems
Ahmed, Irfan	PLCpot: Application Dialogue Replay based Scalable PLC Honeypot for Industrial Control Systems
Ahmed, Mujeeb	Adversarial Sample Generation for Anomaly Detection in Industrial Control Systems AttackLLM: LLM-based Attack Pattern Generation for an Industrial Control System
Ahmed, Shareef	Scheduling Processing Graphs of Gang Tasks on Heterogeneous Platforms
Ahn, Sol	Selective Layer Acceleration with Data-parallel Architecture for DNN Inference Throughput Maximization
Ajith, Abhiroop	Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
Akintomide, Modupe	Wireless Sensing of Gait for Neurodegenerative Disease Assessment: A Scoping Review
Al Arafat, Abdullah	Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors
Ali, Syed	Asymptotically Optimal Multiprocessor Real-Time Locking for non-JLFP Scheduling
Alizai, Muhammad Hamad	CheckMate: LLM-Powered Approximate Intermittent Computing
Allamigeon, Xavier	Stationary regimes of piecewise linear dynamical systems with priorities
Almeida, Luis	Invited talk: A Position on Network Management and Control for Dynamic Real-Time Systems
Alonso, Sara	A Design Flow to Securely Isolate FPGA Bus Transactions in Heterogeneous SoCs
Altmeyer, Sebastian	Handling System Overloads: An Empirical Evaluation of Deadline-Miss Handling Strategies
An, Zhenlin	LeekyFeeder: In-Air Gesture Control Through Leaky Acoustic Waves
Anderson, James	Asymptotically Optimal Multiprocessor Real-Time Locking for non-JLFP Scheduling
Anderson, James	Scheduling Processing Graphs of Gang Tasks on Heterogeneous Platforms
Anderson, Matthew	Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems
Andersson, Bjorn	The Importance of Starting in a Good Place
Announced, To Be	Keynote A Model-Driven Approach for Safety-Security Co-Analysis blending Formal Methods and Generative AI Secret Types Require OS-Backed Secrecy Code Sections Tutorial Session: Safety Begins at System Level Design Panel Discussion SIM-LDM: Local Dynamic Map Generation Framework using Autonomous Driving Simulator
Anwar, Fatima	Invited talk 3: Trusted Time for Untrusted Edge Systems
Anwar, Fatima	MoCoMR: A Collaborative MR Simulator with Individual Behavior Modeling
Arafat, Abdullah Al	Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Safety-Critical Cyber-Physical Systems
Arcak, Murat	Sharc: Simulator for Hardware Architecture and Real-time Control
Aromolo, Federico	A Design Flow to Securely Isolate FPGA Bus Transactions in Heterogeneous SoCs
Arthanari, Jegan	Keynote 3: TBD
Arunasalam, Arjun	Towards Secure User Interaction in WebXR
Aryan, Aman	Optimal Integrated Task and Path Planning for Collaborative Multi-Robot Systems
Asarin, Eugene	Robust Identification of Hybrid Automata from Noisy Data
B
Bae, Siwoo	EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy
Bak, Stanley	Sparse Intersection Checking for Sparse Polynomial Zonotopes Finding Unknown Unknowns using Cyber-Physical System Simulators
Balakrishnan, Anand	Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Balasubramanian, Daniel	Autonomous Cybersecurity Testbed for Operational Technology Networks
Bamunusinghe Arachchige, Isura Nirmal	Improving mmWave based Hand Hygiene Monitoring through Beam Steering and Combining Techniques
Banerjee, Suman	Babel: A Scalable Pre-trained Model for Multi-Modal Sensing via Expandable Modality Alignment
Banga, Saurabh	Invited Talk: LLMs: Your AI Co-Pilot for Aviation Data
Banse, Adrien	Memory-dependent abstractions of stochastic systems through the lens of transfer operators
Bao, Tianshu	Uncertainty Quantification for Physics-Informed Traffic Graph Networks
Baras, John	BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis
Bartocci, Ezio	Mining Specifications for Predictive Safety Monitoring
Bastoni, Andrea	Managing MPSoC Memory Interference on SDV Architectures
Bastoni, Andrea	Arm DynamIQ Shared Unit and Real-Time: An Empirical Evaluation
Bauer, Fred	TCUs in the real world
Baugh, John	Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Safety-Critical Cyber-Physical Systems
Baugh, John	Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors
Bayen, Alexandre	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Becker, Matthias	Optimal Task Phasing for End-To-End Latency in Harmonic and Semi-Harmonic Automotive Systems
Behl, Madhur	Keynote: Bringing AI Up to Speed – Designing for Pushing the Limits
Bell, Oren	Reconciling ROS 2 with Classical Real-Time Scheduling of Periodic Tasks
Belta, Calin	BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis
Bent, Russell	SEQUIN: A Network Science and Physics-based Approach to Identify Sequential N-k Attacks in Electric Power Grids
Berg, Oscar Artur Bernd	Efficient Inference of parallel partitioned hybrid-Vision Transformers
Berger, Guillaume	Polyhedral Control Lyapunov Functions for Switched Affine Systems
Bhattacharjee, Anup	Breaking the Latency Barrier: Practical Haptic Bilateral Teleoperation over 5G
Bhatti, Naveed	CheckMate: LLM-Powered Approximate Intermittent Computing
Bian, Shirley	Offload Rethinking by Cloud Assistance for Efficient Environmental on LPWANs
Billington, Sarah	A Human-Centered Perspective on Optimizing Ambient Assisted Living Sensing Systems for Aging in Place
Biondi, Alessandro	A Design Flow to Securely Isolate FPGA Bus Transactions in Heterogeneous SoCs
Bo, Wei	Through-dressing Wound Monitoring Based on the mmWave Sensor
Brandenburg, Bjorn	LiME: The Linux Real-Time Task Model Extractor
Brandenburg, Bjorn	SPR: Shielded Processor Reservations with Bounded Management Overhead
Braun, Tim	Handling System Overloads: An Empirical Evaluation of Deadline-Miss Handling Strategies
Brodo, Luca	Towards a Digital Twin Framework for Secure and Efficient Cyber-Physical Transportation Systems
Brown, Ryan	Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems
Bunting, Matt	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Bunting, Matt	Can control barrier functions keep automated vehicles safe in live freeway traffic?
C
Cabral, Alex	Eclipse Dataset: Advancing Urban Sensing Research with Hyperlocal Environmental Data from Chicago
Caccamo, Marco	Arm DynamIQ Shared Unit and Real-Time: An Empirical Evaluation
Calhoun, Benton H.	Modeling and Prototyping of IoT-based Long Range Self-powered Image Sensing System
Campbell, Bradford	Atlas: Ensuring Accuracy for Privacy-Preserving Federated IoT Applications
Cao, Jonathan	Scheduling Job Streams on Uniprocessors with Cold Start Delays
Cao, Qiming	RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
Cao, Shirui	LeekyFeeder: In-Air Gesture Control Through Leaky Acoustic Waves
Cao, Ting	Babel: A Scalable Pre-trained Model for Multi-Modal Sensing via Expandable Modality Alignment
Cao, Zhichao	Proteus: Enhanced mmWave Leaf Wetness Detection with Cross-Modality Knowledge Transfer
Capetillo, Pascal	Stationary regimes of piecewise linear dynamical systems with priorities
Caprio, Michele	Distributionally Robust Statistical Verification with Imprecise Neural Networks
Celik, Z. Berkay	Towards Secure User Interaction in WebXR
Chakraborty, Debraj	Explaining Control Policies through Predicate Decision Diagrams
Chakraborty, Samarjit	Repairing Control Safety Violations via Scheduler Patch Synthesis
Chakraborty, Supratik	Repairing Control Safety Violations via Scheduler Patch Synthesis
Chamzas, Constantinos	Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
Chandra, Ranveer	SARLink: Satellite Backscatter Connectivity using Synthetic Aperture Radar
Chandrupatla, Rushil	SensorQA: A Question Answering Benchmark for Daily-Life Monitoring
Chantem, Tam	Welcome to RTAS 2025
Chatrola, Jeel	Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
Chavan, Vijay	Keynote 1: TBD
Chen, Cailian	Mesh Network Scheduling based on Cyber-Physical Sensitivity for Wireless Control Systems
Chen, Guihai	Responsive DNN Adaptation for Video Analytics against Environment Shift via Hierarchical Mobile-Cloud Collaborations
Chen, Hongkai	SHADE-AD: An LLM-Based Framework for Synthesizing Activity Data of Alzheimer's Patients
Chen, Jian-Jia	Optimal Priority Assignment for Synchronous Harmonic Tasks With Dynamic Self-Suspension
Chen, Jian-Jia	Reconciling ROS 2 with Classical Real-Time Scheduling of Periodic Tasks
Chen, Jiming	Pay Attention to Network: Reliability-Aware Spatial-Temporal-Frequential Scheduling for TSN-WiFi Networks
Chen, Jintao	MATCH: Real-Time Scheduling of Multiple and Parallel Data Copies in Heterogeneous Architectures
Chen, Jintao	HARD: Hardening Real-Time Scheduling and Analysis for Accelerator Enabled Computing
Chen, Junzhou	Mitigating In-Transit Vision Noise for Enhanced Vehicle Safety
Chen, Mingsong	Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs
Chen, Ruizhi	PIPE: Privacy-preserving 6DoF Pose Estimation for Immersive Applications
Chen, Songqing	PIPE: Privacy-preserving 6DoF Pose Estimation for Immersive Applications
Chen, Tao	LeekyFeeder: In-Air Gesture Control Through Leaky Acoustic Waves
Chen, Xin	Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems
Chen, Xinlei	Ultra-High-Frequency Harmony: mmWave Radar and Event Camera Orchestrate Accurate Drone Landing
Chen, Xinyu	Mitigating In-Transit Vision Noise for Enhanced Vehicle Safety
Chen, Xuecheng	Ultra-High-Frequency Harmony: mmWave Radar and Event Camera Orchestrate Accurate Drone Landing
Chen, Xun	MobiVital: Self-supervised Quality Estimation for UWB-based Contactless Respiration Monitoring
Chen, Yin	JumpQ: Stochastic Scheduling to Accelerating Object-detection-driven Mobile Sensing on Object-sparse Video Data
Chen, Zhenming	E3: Early Exiting with Explainable AI for Real-Time and Accurate DNN Inference in Edge-Cloud Systems
Cheng, Yanda	Through-dressing Wound Monitoring Based on the mmWave Sensor
Cheng, Zhuo	Geoduck: Nanosatellite Constellation Scheduling for Low Latency Event Detection
Chhaglani, Bhawana	Vision: Preventing Tech-related Physiological Health Issues using Commodity Wearables
Chhokra, Ajay	Autonomous Cybersecurity Testbed for Operational Technology Networks
Chio, Andrew	SEQUIN: A Network Science and Physics-based Approach to Identify Sequential N-k Attacks in Electric Power Grids
Choi, Sung Woo	ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
Choi, Wan	A Field Practical Approach to Memory Bandwidth Allocation for Consolidating Multi-Domain Automotive Applications on a Single SoC
Chwa, Hoon Sung	CROS-RT: Cross-Layer Priority Scheduling for Predictable Inter-Process Communication in ROS 2
Cicero, Giorgiomaria	A Design Flow to Securely Isolate FPGA Bus Transactions in Heterogeneous SoCs
Ciraolo, Francesco	Surgical Software-less I/O Virtualization
Clark, Andrew	Integrated Real-Time Control and Scheduling for Safety Critical Cyber-Physical Systems
Cleaveland, Matthew	Distributionally Robust Statistical Verification with Imprecise Neural Networks
Coppens, Stijn	Breaking the Latency Barrier: Practical Haptic Bilateral Teleoperation over 5G
Courtaud, Cedric	LiME: The Linux Real-Time Task Model Extractor
Cuadra, Andrea	A Human-Centered Perspective on Optimizing Ambient Assisted Living Sensing Systems for Aging in Place
Cucinotta, Tommaso	Nip It In The Bud: Job Acceptance Multi-Server
D
Dadeboe, Alberta	Uncertainty Quantification and Data Provenance for Data Pipeline Security Analysis
Dai, Gaole	SelfReplay: Adapting Self-Supervised Sensory Models via Adaptive Meta-Task Replay
Dai, Shenghong	Babel: A Scalable Pre-trained Model for Multi-Modal Sensing via Expandable Modality Alignment
Dai, Yimin	Stochastic Differential Equation Networks for Time Series at Edge
Darbonne, Ava	Poster: Towards Microbial Fuel Cell Powered Backscatter Tags for Low-Cost In-Ground Soil Moisture Sensing
Das, Sanjana	Autonomous Cybersecurity Testbed for Operational Technology Networks
Dasari, Dakshina	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Dautovic, Emil	Get ready for feature-oriented vehicle SW development and testing
Davis, Rob	ConvolutionalFixedSum: Uniformly Generating Random Values with a Fixed Sum Subject to Arbitrary Constraints
de La Sayette, Paul	I4C... Improving I2C’s Dynamism and Efficiency
Delimpaltadakis, Giannis	Memory-dependent abstractions of stochastic systems through the lens of transfer operators
Delle Monache, Maria Laura	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Deng, Qingxu	Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs
Deppert, Max	Optimal Priority Assignment for Synchronous Harmonic Tasks With Dynamic Self-Suspension
Deshmukh, Jyotirmoy	Invited Talk Welcome to ICCPS Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Deshmukh, Jyotirmoy	Initial Remarks on Formal Verification and Control with Conformal Prediction
Deshmukh, Jyotirmoy	Introduction to Conformal Prediction (with coding examples)
Deshmukh, Jyotirmoy	Verification of Learning-Enabled Components (with coding examples)
Deshmukh, Jyotirmoy	Control Synthesis for Learning-Enabled Cyber-Physical Systems (statistical abstractions of learning-enabled components, closed-loop control)
Deshmukh, Jyotirmoy	Verification of Learning-Enabled Cyber-Physical Systems (offline and runtime verification, reachable set estimation)
Despres, Tess	I4C... Improving I2C’s Dynamism and Efficiency
Devonport, Rosalyn	SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Devreker, Jasper	Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems
Dey, Soumyajit	MAARS: Multi-Rate Attack-Aware Randomized Scheduling for Securing Real-time Systems
Dierksheide, Linnea	Janus: OS Support for a Secure, Fast Control-Plane
Ding, Fangqiang	ThermoHands: A Benchmark for 3D Hand Pose Estimation from Egocentric Thermal Images
Ding, Yi	Collecting data through smartphone sensors
Dong, Yiwen	Human-Centered Gait Balance Estimation Using Footstep-Induced Floor Vibrations
Dong, Yiwen	Wireless Sensing of Gait for Neurodegenerative Disease Assessment: A Scoping Review
Dong, Yiwen	A Human-Centered Perspective on Optimizing Ambient Assisted Living Sensing Systems for Aging in Place
Drager, Steven	Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems
Du, Lingyu	SecureGaze: Defending Gaze Estimation Against Backdoor Attacks
Duan, Di	Argus: Multi-View Egocentric Human Mesh Reconstruction Based on Stripped-Down Wearable mmWave Add-on
Duan, Ruiyang	Ultra-High-Frequency Harmony: mmWave Radar and Event Camera Orchestrate Accurate Drone Landing
Dubey, Abhishek	Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
Dubslaff, Clemens	Explaining Control Policies through Predicate Decision Diagrams
Dutta, Ashutosh	5G security and AI/ML - Opportunities and Challenges
Dutta, Prabal	I4C... Improving I2C’s Dynamism and Efficiency
Dutta, Prabal	Good, but Not That Good: An Honestly-Noisy Visualization of Low-Fidelity Data Streams
Dutta, Souradeep	Distributionally Robust Statistical Verification with Imprecise Neural Networks
Dutta, Souradeep	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
E
Easwaran, Arvind	Welcome to ICCPS
Ecola, Geneva	SARLink: Satellite Backscatter Connectivity using Synthetic Aperture Radar
Egerstedt, Magnus	Composition of Constraints in Long Duration Autonomy
Ehsan, Taqiya	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction
Elango, Nivetha	Energy-Constrained Optimization for Wildfire Detection Using RGB Images
Elmalaki, Salma	MoCoMR: A Collaborative MR Simulator with Individual Behavior Modeling
Elmalaki, Salma	PluralLLM: Pluralistic Alignment in LLMs via Federated Learning
Erakhshan, Farzaneh	Towards Compositional Assurance of Large CPS
Ernst, Gidon	Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals
Ezemba, Jessica	Simulation vs. Hallucination: Assessing Vision-Language Model Question Answering Capabilities in Engineering Simulations
F
Fahad, Md Abdur Rahman	Towards Human-Centric Smart Homes: Modeling Sensor-Actuator Interactions with Deep Learning
Fainekos, Georgios	Invited Talk ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
Fan, Xiaoran	LeekyFeeder: In-Air Gesture Control Through Leaky Acoustic Waves Toward Sensor-In-the-Loop LLM Agent: Benchmarks and Implications
Fan, Yuang	Multi-Modal Dataset Across Exertion Levels: Capturing Post-Exercise Speech, Breathing, and Phonocardiogram
Fang, Xinmin	mmVanish: Extending the Vanish Attack for Multi-Radar Exploitation of mmWave Sensing with Meta-material Tags
Fara, Pietro	A Design Flow to Securely Isolate FPGA Bus Transactions in Heterogeneous SoCs
Farrukh, Habiba	Towards Secure User Interaction in WebXR
Fejlek, Jiří	Exploring Behaviors of Hybrid Systems via the Voronoi Bias over Output Signals
Feng, Guangyu	I4C... Improving I2C’s Dynamism and Efficiency
Ferlez, James	Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
Fierro, Gabe	Recap on Brick programming and NREL’s BuildingMOTIF
Fisher, Nathan	Intelligent Power Distribution Systems: Model, Utilization Bounds, and Implementation
Foughali, Mohammed	Robust Identification of Hybrid Automata from Noisy Data
Fremont, Daniel	Introduction to the Scenic language: We will use a range of examples to illustrate the various features of Scenic and their use cases.
Friebe, Anna	Nip It In The Bud: Job Acceptance Multi-Server
Frolikov, Pavel	TOCTOU Resilient Attestation for IoT Networks
Fu, Heming	SHADE-AD: An LLM-Based Framework for Synthesizing Activity Data of Alzheimer's Patients
Fu, Jie	Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems
Fu, Ruijie	Mesh Network Scheduling based on Cyber-Physical Sensitivity for Wireless Control Systems
Fu, Xiaohan	Matching Skeleton-based Activity Representations with Heterogeneous Signals for HAR
Fu, Xiaohan	Introduction to Playground Lab session 1 — Write your own building app with Playground Checkpoints:
Fulgencio, Michael	Unseen Risks in Container Adoption for SDVs: Navigating Security Challenges in Automotive Architectures
G
Gadepalli, Phani Kishore	Janus: OS Support for a Secure, Fast Control-Plane
Gaitán, Miguel Gutiérrez	Open Discussion moderated by the chairs and concluding remarks
Gambi, Alessio	Mining Specifications for Predictive Safety Monitoring
Gan, Maolin	Proteus: Enhanced mmWave Leaf Wetness Detection with Cross-Modality Knowledge Transfer
Gao, Chuanchao	Local Ratio based Real-time Job Offloading and Resource Allocation in Mobile Edge Computing
Gao, Jiechao	Atlas: Ensuring Accuracy for Privacy-Preserving Federated IoT Applications
Gao, Wei	Skin-Interfaced Wearable Biosensors
Gardner, Jamie	TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory
Gaubert, Stéphane	Stationary regimes of piecewise linear dynamical systems with priorities
Gaur, Shashank	Opening and Welcome notes: Building safe, secure and deterministic software defined vehicles Next Challenges for SDV Research
Geil, Mark	Wireless Sensing of Gait for Neurodegenerative Disease Assessment: A Scoping Review
Genius, Daniela	Digital Twin and Digital Threat for System Security and Performance applied to a Smart Grid Use Case
Gerhorst, Luis	Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems
Ghaderi, Javad	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction
Ghasemi, Mahshid	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction
Ghasempour, Yasaman	RoboTera: Non-Contact Friction Sensing for Robotic Grasping via Wireless Sub-Terahertz Perception
Ghiasi, Soheil	JOIN: Optimized Light Source Activation for Deep Tissue Optical Sensing
Gholami, Pouya Mahdi	Lupe: Integrating the Top-down Approach with DNN Execution on Ultra-Low-Power Devices
Gholami, Pouya Mahdi	Voltage Change is Not Energy Consumption
Giani, Marco	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Gill, Chris	Reconciling ROS 2 with Classical Real-Time Scheduling of Periodic Tasks
Gill, Chris	Integrated Real-Time Control and Scheduling for Safety Critical Cyber-Physical Systems
Gill, Chris	MATCH: Real-Time Scheduling of Multiple and Parallel Data Copies in Heterogeneous Architectures
Gomasta, Sarmistha Sarna	Vision: Preventing Tech-related Physiological Health Issues using Commodity Wearables
Gong, Mingyang	Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs
Gong, Taesik	SelfReplay: Adapting Self-Supervised Sensory Models via Adaptive Meta-Task Replay
Gopalakrishnan, Sathish	Scheduling Job Streams on Uniprocessors with Cold Start Delays
Green, Andrea	A Human-Centered Perspective on Optimizing Ambient Assisted Living Sensing Systems for Aging in Place
Griffin, David	ConvolutionalFixedSum: Uniformly Generating Random Values with a Fixed Sum Subject to Arbitrary Constraints
Griffioen, Paul	Sharc: Simulator for Hardware Architecture and Real-time Control
Gu, Chaojie	Pay Attention to Network: Reliability-Aware Spatial-Temporal-Frequential Scheduling for TSN-WiFi Networks
Gu, Tao	MoLoRa: Intelligent Mobile Antenna System for Enhanced LoRa Reception in Urban Environments
Guan, Nan	Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs
Guan, Xinping	Mesh Network Scheduling based on Cyber-Physical Sensitivity for Wireless Control Systems
Guenzel, Mario	Optimal Priority Assignment for Synchronous Harmonic Tasks With Dynamic Self-Suspension Optimal Task Phasing for End-To-End Latency in Harmonic and Semi-Harmonic Automotive Systems
Guenzel, Mario	Reconciling ROS 2 with Classical Real-Time Scheduling of Periodic Tasks
Gungor, Onat	Offload Rethinking by Cloud Assistance for Efficient Environmental on LPWANs
Gunte, George	Can control barrier functions keep automated vehicles safe in live freeway traffic?
Guo, Miao	Pay Attention to Network: Reliability-Aware Spatial-Temporal-Frequential Scheduling for TSN-WiFi Networks
Guo, Yawen	Demo: Greenhouse Sensing using Chirp-Based VLC with a Solar Panel for Energy Harvesting and Data Downlink
Guo, Yunqi	TaskSense: A Translation-like Approach for Tasking Heterogeneous Sensor Systems with LLMs
Guo, Zhishan	Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Safety-Critical Cyber-Physical Systems
Guo, Zhishan	Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs
Guo, Zhishan	Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors
Gupta, Rajesh	Matching Skeleton-based Activity Representations with Heterogeneous Signals for HAR
H
Habermehl, Peter	Robust Identification of Hybrid Automata from Noisy Data
Haesaert, Sofie	Scalable control synthesis for stochastic systems via structural IMDP abstractions
Hallyburton, R. Spencer	Trust-Based Assured Sensor Fusion in Distributed Aerial Autonomy
Hamann, Arne	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Hamarneh, Qais	Trigger-Based Discretization of Hybrid Games for Autonomous Cyber-Physical Systems
Han, Bo	PIPE: Privacy-preserving 6DoF Pose Estimation for Immersive Applications
Han, Liying	Toward Foundation Models for Online Complex Event Detection in CPS-IoT: A Case Study
Han, Xinyu	Janus: OS Support for a Secure, Fast Control-Plane
Hasan, Md Zahid	RLS3: RL-Based Synthetic Sample Selection to Enhance Spatial Reasoning in Vision-Language Models for Indoor Autonomous Perception
Hasan, Samit	Modeling and Prototyping of IoT-based Long Range Self-powered Image Sensing System
Hassan, Mahbub	LightLLM: A Versatile Large Language Model for Predictive Light Sensing Improving mmWave based Hand Hygiene Monitoring through Beam Steering and Combining Techniques
He, Shibo	Pay Attention to Network: Reliability-Aware Spatial-Temporal-Frequential Scheduling for TSN-WiFi Networks
Heck, Larry	SensorQA: A Question Answering Benchmark for Daily-Life Monitoring
Hegde, Chinmay	RLS3: RL-Based Synthetic Sample Selection to Enhance Spatial Reasoning in Vision-Language Models for Indoor Autonomous Perception
Herbert, Sylvia	Invited Talk
Herfet, Thorsten	Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems
Hester, Josiah	Eclipse Dataset: Advancing Urban Sensing Research with Hyperlocal Environmental Data from Chicago
Ho, John S.	mmET: mmWave Radar-Based Eye Tracking on Smart Glasses
Hoffmann, Henry	Lupe: Integrating the Top-down Approach with DNN Execution on Ultra-Low-Power Devices
Hoffmann, Henry	Voltage Change is Not Energy Consumption
Hoque, Khaza Anuarul	Towards Trustworthy XR: Safety, security, and privacy concerns in XR in the era of AI
Hou, Kaiyuan	FlexiFly: Interfacing the Physical World with Foundation Models Empowered by Reconfigurable
Hou, Kaiyuan	DomAIn: Towards Programless Smart Homes
Hou, Ningning	MoLoRa: Intelligent Mobile Antenna System for Enhanced LoRa Reception in Urban Environments
Hoxha, Bardh	ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
Hsieh, Chiao	Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis
Hu, Jiawei	LightLLM: A Versatile Large Language Model for Predictive Light Sensing
Hu, Lanxiang	SensorQA: A Question Answering Benchmark for Daily-Life Monitoring
Hu, Sharon	IEEE TCRTS Outstanding Technical Achievement and Leadership Award Lecture -- From Systems to Hardware and Back: Reaping the Benefits of Cross-Layer Design
Hu, Wen	LightLLM: A Versatile Large Language Model for Predictive Light Sensing Improving mmWave based Hand Hygiene Monitoring through Beam Steering and Combining Techniques
Hu, Zhizhang	Mitigating Sensor Data Bias from User Operational Variability via Causal Intervention
Hua, Derek	MobiVital: Self-supervised Quality Estimation for UWB-based Contactless Respiration Monitoring
Huang, Chuqin	Through-dressing Wound Monitoring Based on the mmWave Sensor
Huang, Haozheng	Arm DynamIQ Shared Unit and Real-Time: An Empirical Evaluation
Huang, Tianshu	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Huang, Wenhao	JumpQ: Stochastic Scheduling to Accelerating Object-detection-driven Mobile Sensing on Object-sparse Video Data
Huang, Xinyu	GPIoT: Tailoring Small Language Models for IoT Program Synthesis and Development
Huang, Yushen	Sparse Intersection Checking for Sparse Polynomial Zonotopes
I
Incerto, Emilio	Certified Inductive Synthesis for Online Mixed-Integer Optimization
Ionescu, Vlad	Reception Window Selection in EDT+ for Energy Efficient NB-IoT
Iqbal, Razib	Towards Human-Centric Smart Homes: Modeling Sensor-Actuator Interactions with Deep Learning
J
Jabbeen, Mehreen	IoTCloak: Practical Integrity Checks of Machine Learning Inference Code and Models on Tiny IoT Devices
Jacobson, Quinn	Activity Recognition using RF and IMU Sensor Data Fusion
Jain, Atishay	SensorQA: A Question Answering Benchmark for Daily-Life Monitoring
Jain, Vivek	UMusic: In-car Occupancy Sensing via High-resolution UWB Power Delay Profile
Jain, Vivek	Activity Recognition using RF and IMU Sensor Data Fusion
Jamie, Sofia	Kick-off for Aligning Ethics and CPS/IoT Applied Tutorial – Assessing Ethical Risks in CPS/IoT Round Table Discussion – Ethics and Human Values in CPS/IoT Wrap-Up and Key Takeaways
Jang, Kuk Jin	Distributionally Robust Statistical Verification with Imprecise Neural Networks
Jha, Susmit	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
Ji, Junyi	V2X-Enabled Communication for Traffic Operations via ROS
Jia, Hong	LightLLM: A Versatile Large Language Model for Predictive Light Sensing
Jia, Jinyuan	SecureGaze: Defending Gaze Estimation Against Backdoor Attacks
Jia, Limin	Towards Compositional Assurance of Large CPS
Jia, Xinle	ExplainGen: a Human-Centered LLM Assistant for Combating Misinformation
Jiang, Boyu	Quantitative Assessment of mmWave Point Cloud for Target Detection
Jiang, Shiqi	Babel: A Scalable Pre-trained Model for Multi-Modal Sensing via Expandable Modality Alignment
Jiang, Wenjun	RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
Jiang, Wenjun	MobiVital: Self-supervised Quality Estimation for UWB-based Contactless Respiration Monitoring
Jiang, Xiaofan	Embedded Intelligence for Health and Wellness FlexiFly: Interfacing the Physical World with Foundation Models Empowered by Reconfigurable Multi-Modal Dataset Across Exertion Levels: Capturing Post-Exercise Speech, Breathing, and Phonocardiogram
Jiang, Xiaofan	DUal-NET: A Transformer-Based U-Net Model for Denoising Bone Conduction Speech
Jiang, Xiaofan	DomAIn: Towards Programless Smart Homes
Jiang, Xiaopeng	ExplainGen: a Human-Centered LLM Assistant for Combating Misinformation
Jiang, Xin	TaskSense: A Translation-like Approach for Tasking Heterogeneous Sensor Systems with LLMs
Jiang, Yi	Arm DynamIQ Shared Unit and Real-Time: An Empirical Evaluation
Jiang, Zhanhong	RLS3: RL-Based Synthetic Sample Selection to Enhance Spatial Reasoning in Vision-Language Models for Indoor Autonomous Perception
Jiang, Zhengxin	RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
Jiang, Zhihao	Ethics by Design in Autonomous Driving: Developing a Model-Based Liability Determination Framework
Jimenez Leudo, Santiago	Inverse-Optimal Safety Control for Hybrid Systems
Jin, Yier	MATCH: Real-Time Scheduling of Multiple and Parallel Data Copies in Heterogeneous Architectures
Jin, Yier	HARD: Hardening Real-Time Scheduling and Analysis for Accelerator Enabled Computing
Johnson, Taylor	Uncertainty Quantification for Physics-Informed Traffic Graph Networks
Josephson, Colleen	Demo: Greenhouse Sensing using Chirp-Based VLC with a Solar Panel for Energy Harvesting and Data Downlink
Josephson, Colleen	Poster: Towards Microbial Fuel Cell Powered Backscatter Tags for Low-Cost In-Ground Soil Moisture Sensing
Joshi, Rajive	Solving the Challenge of Software Interoperability in Autonomous and ADAS Systems
Jungers, Raphaël	Memory-dependent abstractions of stochastic systems through the lens of transfer operators
Jünke, Annabel	Human-Centric Wearable Platform for Work Safety Monitoring: Navigating Between Protection and Privacy
K
Kahlen, Sophie	A Unified Framework for Quantitative Cache Analysis
Kalagarla, Krishna Chaitanya	SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Kamali, Sara	Polyhedral Control Lyapunov Functions for Switched Affine Systems
Kamgarpour, Maryam	A learning-based approach to stochastic optimal control under reach-avoid constraint
Kanav, Sudeep	Explaining Control Policies through Predicate Decision Diagrams
Kantaros, Ioannis	Invited Talk
Kantaros, Yiannis	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
Kapetanovic, Zerina	SARLink: Satellite Backscatter Connectivity using Synthetic Aperture Radar
Kasap, Begum	JOIN: Optimized Light Source Activation for Deep Tissue Optical Sensing
Kaur, Ramneet	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
Kawsar, Fahim	BioQ: Towards Context-Aware Multi-Device Collaboration with Bio-cues
Kawsar, Fahim	mmHvital: A Study on Head-Mounted mmWave Radar for Vital Sign Monitoring:
Kenchannavar, Tanuj	Visual Modeling of ROS Launch Files
Khamis, Abdelwahed	Improving mmWave based Hand Hygiene Monitoring through Beam Steering and Combining Techniques
Khan, Eunsuk	Assurance Cost Reduction Through Architectural Design
Khandait, Tanmay	Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic
Kim, Edward	Hands-On Programming with Scenic (Part 1) Applications of Scenic (Part 2) Hands-On Programming with Scenic (Part 2) Ongoing and Future Research Directions:
Kim, Gyeongju	Energy-Constrained Optimization for Wildfire Detection Using RGB Images
Kim, Jaehyuck	Selective Layer Acceleration with Data-parallel Architecture for DNN Inference Throughput Maximization
Kim, Jong-Chan	Selective Layer Acceleration with Data-parallel Architecture for DNN Inference Throughput Maximization
Kim, Sohyun	CROS-RT: Cross-Layer Priority Scheduling for Predictable Inter-Process Communication in ROS 2
Kim, Youngil	TOCTOU Resilient Attestation for IoT Networks
Kimura, Tomoyoshi	MMBind: Unleashing the Potential of Distributed and Heterogeneous Data for Multimodal Learning in IoT
Kjeldsmark, Thea	Intermittent Power, Continuous Protection: Security and Privacy for Batteryless Devices in IoT
Klein, Mark	Towards Compositional Assurance of Large CPS
Kochdumper, Niklas	Robust Identification of Hybrid Automata from Noisy Data
Kokten, Esma	SPR: Shielded Processor Reservations with Bounded Management Overhead
Koley, Ipsita	MAARS: Multi-Rate Attack-Aware Randomized Scheduling for Securing Real-time Systems
Kolsch, Johannes	Arrival and welcoming remarks Plenary discussion and closing remarks
Kong, Fanxin	Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems
Kostic, Zoran	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction
Kretinsky, Jan	Explaining Control Policies through Predicate Decision Diagrams
Kroep, Herman	Breaking the Latency Barrier: Practical Haptic Bilateral Teleoperation over 5G
Krovvidi, Maansa	Activity Recognition using RF and IMU Sensor Data Fusion
Kusy, Brano	LightLLM: A Versatile Large Language Model for Predictive Light Sensing
Kwak, Jaeheon	Scheduling EV Battery Swap/Charge Operations
Kwak, Jaehyun	SelfReplay: Adapting Self-Supervised Sensory Models via Adaptive Meta-Task Replay
Kwon, Ted	A Field Practical Approach to Memory Bandwidth Allocation for Consolidating Multi-Domain Automotive Applications on a Single SoC
L
Lahijanian, Morteza	Invited Talk
Lan, Guohao	SecureGaze: Defending Gaze Estimation Against Backdoor Attacks
Laurenti, Luca	Scalable control synthesis for stochastic systems via structural IMDP abstractions Memory-dependent abstractions of stochastic systems through the lens of transfer operators
Lavaei, Abolfazl	Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory
Leahy, Kevin	Multi-layer Motion Planning with Kinodynamic and Spatio-Temporal Constraints
Lee, Chang-Gun	A Field Practical Approach to Memory Bandwidth Allocation for Consolidating Multi-Domain Automotive Applications on a Single SoC
Lee, Hoyong	A Field Practical Approach to Memory Bandwidth Allocation for Consolidating Multi-Domain Automotive Applications on a Single SoC
Lee, Insup	Distributionally Robust Statistical Verification with Imprecise Neural Networks Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation
Lee, Insup	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
Lee, Jinkyu	Scheduling EV Battery Swap/Charge Operations
Lee, Jiwoong	A Field Practical Approach to Memory Bandwidth Allocation for Consolidating Multi-Domain Automotive Applications on a Single SoC
Lee, Jonathan	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Lee, Kilho	CROS-RT: Cross-Layer Priority Scheduling for Predictable Inter-Process Communication in ROS 2
Lee, Kimin	SelfReplay: Adapting Self-Supervised Sensory Models via Adaptive Meta-Task Replay
Lee, Seongtae	Scheduling EV Battery Swap/Charge Operations
Lee, Sung-Ju	SelfReplay: Adapting Self-Supervised Sensory Models via Adaptive Meta-Task Replay BioQ: Towards Context-Aware Multi-Device Collaboration with Bio-cues
Lee, Timothy	5G Connectivity roadmap and challenges for edge devices to cloud through 5G/6G channels
Li, Ao	Optimal Priority Assignment for Synchronous Harmonic Tasks With Dynamic Self-Suspension
Li, Gen	Proteus: Enhanced mmWave Leaf Wetness Detection with Cross-Modality Knowledge Transfer
Li, Jiaxin	Human-Centered Gait Balance Estimation Using Footstep-Induced Floor Vibrations
Li, Jing	MATCH: Real-Time Scheduling of Multiple and Parallel Data Copies in Heterogeneous Architectures
Li, Jingyu	RetroLiDAR: A Liquid-crystal Fiducial Marker System for High-fidelity Perception of Embodied AI
Li, Junbo	Toward Sensor-In-the-Loop LLM Agent: Benchmarks and Implications
Li, Mo	SelfReplay: Adapting Self-Supervised Sensory Models via Adaptive Meta-Task Replay Babel: A Scalable Pre-trained Model for Multi-Modal Sensing via Expandable Modality Alignment
Li, Shuheng	Matching Skeleton-based Activity Representations with Heterogeneous Signals for HAR
Li, Tianxing	Argus: Multi-View Egocentric Human Mesh Reconstruction Based on Stripped-Down Wearable mmWave Add-on
Li, Xisheng	Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs
Li, Yin	WixUp: A Generic Data Augmentation Framework for Wireless Human Tracking
Li, Yuntao	ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
Li, Zhengxiong	To be announced CaphandAuth: Robust and Anti-spoofing Hand Authentication via COTS Capacitive Touchscreens
Li, Zhengxiong	Through-dressing Wound Monitoring Based on the mmWave Sensor
Li, Zhengxiong	Towards a Lightweight Platform for Human-Robot Interaction in Federated Edge and IoT Environments
Liang, Bo	RetroLiDAR: A Liquid-crystal Fiducial Marker System for High-fidelity Perception of Embodied AI
Liao, Jingwei	Orbis: Redesigning Neural-enhanced Video Streaming for Live Immersive Viewing
Liberzon, Daniel	Indistinguishability in Localization and Control with Coarse Information
Lin, Changyao	E3: Early Exiting with Explainable AI for Real-Time and Accurate DNN Inference in Edge-Cloud Systems
Lin, Feng	Orbis: Redesigning Neural-enhanced Video Streaming for Live Immersive Viewing
Lin, Jack	Demo: Greenhouse Sensing using Chirp-Based VLC with a Solar Panel for Energy Harvesting and Data Downlink
Lin, Jingkai	Proteus: Enhanced mmWave Leaf Wetness Detection with Cross-Modality Knowledge Transfer
Lin, Shan	SHADE-AD: An LLM-Based Framework for Synthesizing Activity Data of Alzheimer's Patients
Lin, Shan	eFlx: Energy Flexibility Provisioning for E-taxi Fleets
Lin, Vivian	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios Distributionally Robust Statistical Verification with Imprecise Neural Networks
Lin, Yihan	MMBind: Unleashing the Potential of Distributed and Heterogeneous Data for Multimodal Learning in IoT
Lindemann, Lars	Initial Remarks on Formal Verification and Control with Conformal Prediction Introduction to Conformal Prediction (with coding examples) Verification of Learning-Enabled Components (with coding examples) Control Synthesis for Learning-Enabled Cyber-Physical Systems (statistical abstractions of learning-enabled components, closed-loop control) Verification of Learning-Enabled Cyber-Physical Systems (offline and runtime verification, reachable set estimation) Invited Talk: Predictive Runtime Verification of Learning-Enabled Systems with Conformal Prediction
Ling, Xinpeng	ALI-DPFL: Differentially Private Federated Learning with Adaptive Local Iterations
Ling, Zijian	CaphandAuth: Robust and Anti-spoofing Hand Authentication via COTS Capacitive Touchscreens
Litz, Heiner	Sharc: Simulator for Hardware Architecture and Real-time Control
Liu, Fangqi	Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
Liu, Gaowen	ThermoHands: A Benchmark for 3D Hand Pose Estimation from Egocentric Thermal Images
Liu, Jie	E3: Early Exiting with Explainable AI for Real-Time and Accurate DNN Inference in Edge-Cloud Systems
Liu, Kaiwei	TaskSense: A Translation-like Approach for Tasking Heterogeneous Sensor Systems with LLMs
Liu, Qin	CaphandAuth: Robust and Anti-spoofing Hand Authentication via COTS Capacitive Touchscreens
Liu, Qisai	RLS3: RL-Based Synthetic Sample Selection to Enhance Spatial Reasoning in Vision-Language Models for Indoor Autonomous Perception
Liu, Shengzhong	Responsive DNN Adaptation for Video Analytics against Environment Shift via Hierarchical Mobile-Cloud Collaborations
Liu, Tianci	RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
Liu, Xiaoou	Uncertainty Quantification for Physics-Informed Traffic Graph Networks
Liu, Xue	Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Safety-Critical Cyber-Physical Systems
Liu, Yanchen	FlexiFly: Interfacing the Physical World with Foundation Models Empowered by Reconfigurable
Liu, Yanchen	DomAIn: Towards Programless Smart Homes
Liu, Yang	mmHvital: A Study on Head-Mounted mmWave Radar for Vital Sign Monitoring:
Liu, Yihao	Lab session 2 — Regulate building apps with various policies
Liu, Yimeng	Proteus: Enhanced mmWave Leaf Wetness Detection with Cross-Modality Knowledge Transfer
Liu, Yunhao	Ultra-High-Frequency Harmony: mmWave Radar and Event Camera Orchestrate Accurate Drone Landing
Liu, Yupei	SecureGaze: Defending Gaze Estimation Against Backdoor Attacks
Lu, Chris Xiaoxuan	ThermoHands: A Benchmark for 3D Hand Pose Estimation from Egocentric Thermal Images
Lu, Pengyuan	Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation
Lu, Sidi	Mitigating In-Transit Vision Noise for Enhanced Vehicle Safety
Lucia, Brandon	Geoduck: Nanosatellite Constellation Scheduling for Low Latency Event Detection
Luo, Ertai	Sparse Intersection Checking for Sparse Polynomial Zonotopes
Luo, Xinyu	Ultra-High-Frequency Harmony: mmWave Radar and Event Camera Orchestrate Accurate Drone Landing
Luo, Yichen	Mitigating In-Transit Vision Noise for Enhanced Vehicle Safety
Lyu, Shengzhe	Argus: Multi-View Egocentric Human Mesh Reconstruction Based on Stripped-Down Wearable mmWave Add-on
M
Ma, Meiyi	Uncertainty Quantification for Physics-Informed Traffic Graph Networks
Ma, Meiyi	EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy
Ma, Ruichun	mmET: mmWave Radar-Based Eye Tracking on Smart Glasses
Ma, Tianrui	HARD: Hardening Real-Time Scheduling and Analysis for Accelerator Enabled Computing
Ma, Xiaojing	CaphandAuth: Robust and Anti-spoofing Hand Authentication via COTS Capacitive Touchscreens
Ma, Yehan	Mesh Network Scheduling based on Cyber-Physical Sensitivity for Wireless Control Systems
Ma, Zijing	GPIoT: Tailoring Small Language Models for IoT Program Synthesis and Development
Maggio, Martina	Stealthy Computational Delay Attacks on Control Systems
Maggio, Martina	Analysis of Control Systems under Sensor Timing Misalignments
Majumdar, Rupak	Optimal Integrated Task and Path Planning for Collaborative Multi-Robot Systems
Mansourifard, Farzaneh	Uncertainty Quantification and Data Provenance for Data Pipeline Security Analysis
Mao, Chenyang	Ethics by Design in Autonomous Driving: Developing a Model-Based Liability Determination Framework
Markovic, Filip	Nip It In The Bud: Job Acceptance Multi-Server
Markovic, Filip	LiME: The Linux Real-Time Task Model Extractor
Massey, Denver	Scheduling Processing Graphs of Gang Tasks on Heterogeneous Platforms
Masti, Daniele	Certified Inductive Synthesis for Online Mixed-Integer Optimization
Matheu, Ryan	BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis
Mathiesen, Frederik Baymler	Scalable control synthesis for stochastic systems via structural IMDP abstractions
Mazo Jr., Manuel	Memory-dependent abstractions of stochastic systems through the lens of transfer operators
McComb, Christopher	Simulation vs. Hallucination: Assessing Vision-Language Model Question Answering Capabilities in Engineering Simulations
Mikami, Kazuhiro	JumpQ: Stochastic Scheduling to Accelerating Object-detection-driven Mobile Sensing on Object-sparse Video Data
Min, Chulhong	BioQ: Towards Context-Aware Multi-Device Collaboration with Bio-cues
Mitra, Sayan	Indistinguishability in Localization and Control with Coarse Information
Mitra, Sayan	Invited Talk
Mittal, Swastik	T-Tex: Timed Threaded Execution in Real-Time OpenMP
Mo, Ruoshen	SEE-V2X: C-V2X Direct Communication Dataset: An Application-Centric Approach
Modi, Manan	Optimal Integrated Task and Path Planning for Collaborative Multi-Robot Systems
Mohalik, Swarup	Optimal Integrated Task and Path Planning for Collaborative Multi-Robot Systems
Montanari, Alessandro	mmHvital: A Study on Head-Mounted mmWave Radar for Vital Sign Monitoring:
Montenegro, Carlos	Inverse-Optimal Safety Control for Hybrid Systems
Montgomery-Yale, Farren	Self-Adaptive Structure Enabled Energy-Efficient PM2.5 Sensing
Moreno, Gabriel	Towards Compositional Assurance of Large CPS
Morgado, Ana Banzer	SARLink: Satellite Backscatter Connectivity using Synthetic Aperture Radar
Morimoto, Yasuo	mmET: mmWave Radar-Based Eye Tracking on Smart Glasses
Morton, Tyler	Demo: Greenhouse Sensing using Chirp-Based VLC with a Solar Panel for Energy Harvesting and Data Downlink
Mudarhe, Ishwar	Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems
Mueller, Frank	T-Tex: Timed Threaded Execution in Real-Time OpenMP
Mukherjee, Chandrika	Towards Secure User Interaction in WebXR
Mukhi, Karan	Robust Aggregation of Electric Vehicle Flexibility
Mukhopadhyay, Ayan	Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
Mulayim, Ozan Baris	Towards Zero-shot Question Answering in CPS-IoT: Large Language Models and Knowledge Graphs
N
Nakazawa, Jin	JumpQ: Stochastic Scheduling to Accelerating Object-detection-driven Mobile Sensing on Object-sparse Video Data
Nandakumar, Rajalakshmi	WixUp: A Generic Data Augmentation Framework for Wireless Human Tracking
Narkedimilli, Sathwik	FL-DABE-BC: A Privacy-Enhanced, Decentralized Authentication, and Secure Communication for Federated Learning Framework with Decentralized Attribute-Based Encryption and Blockchain for IoT Scenarios
Nath, Vakul	Visual Modeling of ROS Launch Files
Nauta, Talitha	Stealthy Computational Delay Attacks on Control Systems
Neema, Himanshu	Autonomous Cybersecurity Testbed for Operational Technology Networks
Nejati, Amy	From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory
Nelissen, Geoffrey	Closing Remarks
Nenzi, Laura	Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Nesterini, Eleonora	Mining Specifications for Predictive Safety Monitoring
Nguyen, Anh	Orbis: Redesigning Neural-enhanced Video Streaming for Live Immersive Viewing
Nguyen, Luan	Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems
Ni, Tingting	A learning-based approach to stochastic optimal control under reach-avoid constraint
Ni, Yinchen	MATCH: Real-Time Scheduling of Multiple and Parallel Data Copies in Heterogeneous Architectures HARD: Hardening Real-Time Scheduling and Analysis for Accelerator Enabled Computing
Nice, Matthew	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Nice, Matthew	Can control barrier functions keep automated vehicles safe in live freeway traffic?
Nickovic, Dejan	Mining Specifications for Predictive Safety Monitoring
Nie, Jingping	Multi-Modal Dataset Across Exertion Levels: Capturing Post-Exercise Speech, Breathing, and Phonocardiogram
Nie, Jingping	DomAIn: Towards Programless Smart Homes
Nolte, Thomas	Nip It In The Bud: Job Acceptance Multi-Server
O
Obraczka, Katia	Demo: Greenhouse Sensing using Chirp-Based VLC with a Solar Panel for Energy Harvesting and Data Downlink
Ogras, Umit Y.	Energy-Constrained Optimization for Wildfire Detection Using RGB Images
Oh, Sangeun	CROS-RT: Cross-Layer Priority Scheduling for Predictable Inter-Process Communication in ROS 2
Oh, Surim	Sharc: Simulator for Hardware Architecture and Real-time Control
Oishi, Meeko	SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Okamoto, Hideki	ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
Ortiz, Jorge	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction
Orzikulova, Adiba	BioQ: Towards Context-Aware Multi-Device Collaboration with Bio-cues
Ottaviano, Daniele	Arm DynamIQ Shared Unit and Real-Time: An Empirical Evaluation
Ouyang, Xiaomin	MMBind: Unleashing the Potential of Distributed and Heterogeneous Data for Multimodal Learning in IoT
P
P, Pravisha	FL-DABE-BC: A Privacy-Enhanced, Decentralized Authentication, and Secure Communication for Federated Learning Framework with Decentralized Attribute-Based Encryption and Blockchain for IoT Scenarios
Pajic, Miroslav	Trust-Based Assured Sensor Fusion in Distributed Aerial Autonomy
Pan, Jianping	Pay Attention to Network: Reliability-Aware Spatial-Temporal-Frequential Scheduling for TSN-WiFi Networks
Pan, Shijia	Mitigating Sensor Data Bias from User Operational Variability via Causal Intervention
Pan, Shijia	Self-Adaptive Structure Enabled Energy-Efficient PM2.5 Sensing
Pant, Yash Vardhan	Invited talk: Signal Temporal Logic-based Motion planning for Multi-Robot Systems with Complex Objectives
Papadopoulos, Alessandro	Nip It In The Bud: Job Acceptance Multi-Server
Parameshwaran, Aditya	Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
Park, Hayeon	A Field Practical Approach to Memory Bandwidth Allocation for Consolidating Multi-Domain Automotive Applications on a Single SoC
Park, Jaehyun	Energy-Constrained Optimization for Wildfire Detection Using RGB Images
Parmer, Gabriel	SPR: Shielded Processor Reservations with Bounded Management Overhead
Parmer, Gabriel	Janus: OS Support for a Secure, Fast Control-Plane
Patel, Hiren	Consistency-aware and Predictable Memory Processing for Safety-critical Out-of-order Multicores
Patel, Hiren	ParRP: Enabling Space Isolation in Caches with Shared Data
Pathak, Parth	UMusic: In-car Occupancy Sensing via High-resolution UWB Power Delay Profile
Paul, Sheryl	Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Pazzaglia, Paolo	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Pedrielli, Giulia	Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic
Pellizzoni, Rodolfo	ParRP: Enabling Space Isolation in Caches with Shared Data
Pereira, Nuno	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Pettet, Ava	Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
Piccoli, Benedetto	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Pilipovsky, Joshua	SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Pinisetty, Srinivas	Runtime Enforcement of CPS against Signal Temporal Logic
Ponzina, Flavio	Offload Rethinking by Cloud Assistance for Efficient Environmental on LPWANs
Pourmohseni, Behnaz	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Pradhan, Ashutosh	Arm DynamIQ Shared Unit and Real-Time: An Empirical Evaluation
Prapty, Renascence Tarafder	TOCTOU Resilient Attestation for IoT Networks
Prasad, R.R. Venkatesha	Breaking the Latency Barrier: Practical Haptic Bilateral Teleoperation over 5G
Preindl, Matthias	Multi-Modal Dataset Across Exertion Levels: Capturing Post-Exercise Speech, Breathing, and Phonocardiogram
Preston, Jonathan	Advanced Certification Methods: Needs and Motivations
Priyantha, Bodhi	SARLink: Satellite Backscatter Connectivity using Synthetic Aperture Radar
Pu, Henglin	RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
Punachithaya, Deeksha	Eclipse Dataset: Advancing Urban Sensing Research with Hyperlocal Environmental Data from Chicago
Puranic, Aniruddh	BT2Automata: Expressing Behavior Trees as Automata for Formal Control Synthesis
Q
Qasim, Syed Ali	PLCpot: Application Dialogue Replay based Scalable PLC Honeypot for Industrial Control Systems
Qiao, Xiaoxiao	CaphandAuth: Robust and Anti-spoofing Hand Authentication via COTS Capacitive Touchscreens
Qin, Xin	Towards a Lightweight Platform for Human-Robot Interaction in Federated Edge and IoT Environments
Qiu, Hang	SEE-V2X: C-V2X Direct Communication Dataset: An Application-Centric Approach
Qiu, Lili	Babel: A Scalable Pre-trained Model for Multi-Modal Sensing via Expandable Modality Alignment
Qu, Chengrui	Robust Aggregation of Electric Vehicle Flexibility
Quansah, Bodee	A Semi-automated Mesh Editing Pipeline for HRTF Simulation
R
R, Venkatesh	Repairing Control Safety Violations via Scheduler Patch Synthesis
Rafay, Abdul	CheckMate: LLM-Powered Approximate Intermittent Computing
Raffeck, Phillip	Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems
Raj, Akhilesh	Autonomous Cybersecurity Testbed for Operational Technology Networks
Rakshit, Sushanta	Activity Recognition using RF and IMU Sensor Data Fusion
Ramamurthy, Arun	Empirical Assessment of Graph Neural Network Convolution Operators for AC-OPF Learning From Toy to Target: Investigating Representation Transfer for Reinforcement Learning with Implications for Cyber-Physical Systems
Ramesh, Arjun	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Raza, Muhammad Taqi	PLCpot: Application Dialogue Replay based Scalable PLC Honeypot for Industrial Control Systems
Rees, Stephen	Enabling Analysis and Visualization of Transportation Big Data
Rego, Fernando	NAMP: A Network-Aware Model Partitioning Framework for Constrained Devices
Reichman, Benjamin	SensorQA: A Question Answering Benchmark for Daily-Life Monitoring
Reineke, Jan	A Unified Framework for Quantitative Cache Analysis
Ren, Xiaozhe	TaskSense: A Translation-like Approach for Tasking Heterogeneous Sensor Systems with LLMs
Ren, Yidong	Proteus: Enhanced mmWave Leaf Wetness Detection with Cross-Modality Knowledge Transfer
Ren, Zhiwei	Toward Sensor-In-the-Loop LLM Agent: Benchmarks and Implications
Rettberg, Achim	GAIA-X4AGEDA: Enabling Data-Driven and Adaptive Vehicle Architectures for the Mobility of the Future
Robra-Bissantz, Susanne	Human-Centric Wearable Platform for Work Safety Monitoring: Navigating Between Protection and Privacy
Roedig, Utz	Reception Window Selection in EDT+ for Energy Efficient NB-IoT
Roh, Seungwoo	Selective Layer Acceleration with Data-parallel Architecture for DNN Inference Throughput Maximization
Rohal, Shubham	Mitigating Sensor Data Bias from User Operational Variability via Causal Intervention
Rohal, Shubham	Self-Adaptive Structure Enabled Energy-Efficient PM2.5 Sensing
Romero, Diana	MoCoMR: A Collaborative MR Simulator with Individual Behavior Modeling
Roop, Partha	Runtime Enforcement of CPS against Signal Temporal Logic
Rosing, Tajana	Offload Rethinking by Cloud Assistance for Efficient Environmental on LPWANs SensorQA: A Question Answering Benchmark for Daily-Life Monitoring
Routh, Tushar	Atlas: Ensuring Accuracy for Privacy-Preserving Federated IoT Applications
Rowe, Anthony	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Roy, Anirban	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
Roy, Dipu Ram	Towards Understanding User Privacy Concerns of Internet of Things Sensor Data
Ruchkin, Ivan	Distributionally Robust Statistical Verification with Imprecise Neural Networks Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation
Rumpf, Christopher	Keynote 2: Making the SDV a reality – changing the paradigm of automotive software development
Ruppel, Emily	Invited talk: AI for Cyber-Physical Systems: Identifying the Valuable Gaps
Ruppel, Emily	A Framework for Managing Edge-Cloud Distributed Embedded Systems
S
Saha, Indranil	Optimal Integrated Task and Path Planning for Collaborative Multi-Robot Systems
Saha, Shambwaditya	Towards Compositional Assurance of Large CPS
Saha, Swapnil	Secure On-Sensor Machine Learning
Saidi, Selma	Invited talk: Connected Minds: Leveraging Collective Reasoning for Autonomous Systems
Sain, Arkaprava	MAARS: Multi-Rate Attack-Aware Randomized Scheduling for Securing Real-time Systems
Salami Pargoo, Navid	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction
Salamini, Niko	A Design Flow to Securely Isolate FPGA Bus Transactions in Heterogeneous SoCs
Salekin, Asif	Psychophysiology-aided Perceptually Fluent Speech Analysis of Children Who Stutter
Samari, Behrad	Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
Sanborn, Kate	Visual Modeling of ROS Launch Files V2X-Enabled Communication for Traffic Operations via ROS
Sandberg, Henrik	Stealthy Computational Delay Attacks on Control Systems
Sanfelice, Ricardo	Inverse-Optimal Safety Control for Hybrid Systems Sharc: Simulator for Hardware Architecture and Real-time Control
Sankaranarayanan, Sriram	Successive Control Barrier Functions for Nonlinear Systems Polyhedral Control Lyapunov Functions for Switched Affine Systems
Sarkar, Soumik	RLS3: RL-Based Synthetic Sample Selection to Enhance Spatial Reasoning in Vision-Language Models for Indoor Autonomous Perception
Sayyid-Ali, Abdur-Rahman Ibrahim	CheckMate: LLM-Powered Approximate Intermittent Computing
Schertz, Stephen	Self-Adaptive Structure Enabled Energy-Efficient PM2.5 Sensing
Schlichter, Jan	Human-Centric Wearable Platform for Work Safety Monitoring: Navigating Between Protection and Privacy
Schwammberger, Maike	Trigger-Based Discretization of Hybrid Games for Autonomous Cyber-Physical Systems
Seibold, Benjamin	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Sen, Rishav	Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
Serra, Gabriele	A Design Flow to Securely Isolate FPGA Bus Transactions in Heterogeneous SoCs
Seshia, Sanjit	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 systems. Mining Specifications for Predictive Safety Monitoring
Shahrad, Mohammad	Scheduling Job Streams on Uniprocessors with Cold Start Delays
Shallari, Irida	Invited talk: Optimizing IoT Node Design for Edge Computing Applications
Shang, Jingbo	Matching Skeleton-based Activity Representations with Heterogeneous Signals for HAR
Shangguan, Longfei	LeekyFeeder: In-Air Gesture Control Through Leaky Acoustic Waves Toward Sensor-In-the-Loop LLM Agent: Benchmarks and Implications
Shankar, Saumya	Runtime Enforcement of CPS against Signal Temporal Logic
Shankara, Anagha Ravi	Activity Recognition using RF and IMU Sensor Data Fusion
Shao, Wenyuan	Janus: OS Support for a Secure, Fast Control-Plane
Sharma, Harshit	Psychophysiology-aided Perceptually Fluent Speech Analysis of Children Who Stutter
Shelton, Charles	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Shen, Leming	GPIoT: Tailoring Small Language Models for IoT Program Synthesis and Development
Shen, Ruiyi	RoboTera: Non-Contact Friction Sensing for Robotic Grasping via Wireless Sub-Terahertz Perception
Shenoy, Prashant	Vision: Preventing Tech-related Physiological Health Issues using Commodity Wearables
Shi, Chongyang	Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems
Shi, Zhiyi	Activity Recognition using RF and IMU Sensor Data Fusion
Shin, Kang	Scheduling EV Battery Swap/Charge Operations
Shiu, Sam	mmET: mmWave Radar-Based Eye Tracking on Smart Glasses
Shoukry, Yasser	Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
Shuai, Xian	TaskSense: A Translation-like Approach for Tasking Heterogeneous Sensor Systems with LLMs
Silvetti, Simone	Monitoring Spatially Distributed Cyber-Physical Systems with Alternating Finite Automata
Sinha, Soham	Invited talk: Deterministic AI Processing of Streaming Data on Edge and Embedded Devices
Sinnema, Yde	Analysis of Control Systems under Sensor Timing Misalignments
Sivaramakrishnan, Vignesh	SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Smirnov, Fedor	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Sokolsky, Oleg	Distributionally Robust Statistical Verification with Imprecise Neural Networks
Sokolsky, Oleg	Accelerating Neural Policy Repair with Preservation via Stability-Plasticity Interpolation
Sokolsky, Oleg	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
Solieri, Marco	Managing MPSoC Memory Interference on SDV Architectures
Song, Juho	CROS-RT: Cross-Layer Priority Scheduling for Predictable Inter-Process Communication in ROS 2
Sonmez, Yasin	Sharc: Simulator for Hardware Architecture and Real-time Control
Soomro, Muhammad Abdullah	CheckMate: LLM-Powered Approximate Intermittent Computing
Sprinkle, Jonathan	Visual Modeling of ROS Launch Files Enabling Analysis and Visualization of Transportation Big Data V2X-Enabled Communication for Traffic Operations via ROS
Sprinkle, Jonathan	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Sprinkle, Jonathan	Can control barrier functions keep automated vehicles safe in live freeway traffic?
Srewa, Mahmoud	PluralLLM: Pluralistic Alignment in LLMs via Federated Learning
Srivastava, Mani	MMBind: Unleashing the Potential of Distributed and Heterogeneous Data for Multimodal Learning in IoT
Srivastava, Mani	MobiVital: Self-supervised Quality Estimation for UWB-based Contactless Respiration Monitoring
Stella, Evan	Janus: OS Support for a Secure, Fast Control-Plane
Su, Han	Runtime Enforcement of CPS against Signal Temporal Logic
Su, Lu	RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
Sudvarg, Marion	Integrated Real-Time Control and Scheduling for Safety Critical Cyber-Physical Systems
Sudvarg, Marion	Optimal Priority Assignment for Synchronous Harmonic Tasks With Dynamic Self-Suspension
Suenaga, Kohei	Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis
Sugrim, Shridatt	Uncertainty Quantification and Data Provenance for Data Pipeline Security Analysis
Sui, Yueyuan	DUal-NET: A Transformer-Based U-Net Model for Denoising Bone Conduction Speech DomAIn: Towards Programless Smart Homes
Sui, Yueyuan	Unsupervised Deep Clustering for Human Behavior Understanding
Sun, Jinghao	Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs
Sun, Xutong	EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy
Sun, Yifan	Sparse Intersection Checking for Sparse Polynomial Zonotopes
Sun, Yuan	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction
Sundar, Kaarthik	SEQUIN: A Network Science and Physics-based Approach to Identify Sequential N-k Attacks in Electric Power Grids
Sung, Woong Je	Empirical Assessment of Graph Neural Network Convolution Operators for AC-OPF Learning From Toy to Target: Investigating Representation Transfer for Reinforcement Learning with Implications for Cyber-Physical Systems
Suzue, Yoshinori	Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
T
Tadkase, Ashutosh	Deterministic Scheduling for Autonomous Systems: Challenges, and Our Solution - NVIDIA System Task Manager
Talusan, Jose Paolo	Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
Tan, Alvin	Good, but Not That Good: An Honestly-Noisy Visualization of Low-Fidelity Data Streams
Tan, Rui	Stochastic Differential Equation Networks for Time Series at Edge
Tan, Xiaobo	Proteus: Enhanced mmWave Leaf Wetness Detection with Cross-Modality Knowledge Transfer
Tan, Zhaowei	SEE-V2X: C-V2X Direct Communication Dataset: An Application-Centric Approach
Tang, Chi Ian	BioQ: Towards Context-Aware Multi-Device Collaboration with Bio-cues
Tang, Mingyue	Atlas: Ensuring Accuracy for Privacy-Preserving Federated IoT Applications
Taylor, Stephen	A Sensing System is More than its Electronics: Towards addressing environmental challenges on outdoor data collection platforms
Tba, Tba	Test of Time Award & Presentation
Teper, Harun	Reconciling ROS 2 with Classical Real-Time Scheduling of Periodic Tasks
Thatigotla, Yashvitha	EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy
Thompson, Grady	Scheduling Job Streams on Uniprocessors with Cold Start Delays
Tolera, Biniyam Aschalew	SelfReplay: Adapting Self-Supervised Sensory Models via Adaptive Meta-Task Replay
Tong, Zelin	Asymptotically Optimal Multiprocessor Real-Time Locking for non-JLFP Scheduling
Torfah, Hazem	Mining Specifications for Predictive Safety Monitoring
Tran, Hoang-Dung	ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems
Tran, Hoang-Dung	Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems
Tribastone, Mirco	Certified Inductive Synthesis for Online Mixed-Integer Optimization
Truesdell, Daniel S.	Modeling and Prototyping of IoT-based Long Range Self-powered Image Sensing System
Truxal, Jack	SensorQA: A Question Answering Benchmark for Daily-Life Monitoring
Tsiotras, Panagiotis	Invited Talk SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Tsudik, Gene	TOCTOU Resilient Attestation for IoT Networks
Tucker, Conrad	Simulation vs. Hallucination: Assessing Vision-Language Model Question Answering Capabilities in Engineering Simulations
Tumanova, Victoria	Psychophysiology-aided Perceptually Fluent Speech Analysis of Children Who Stutter
Turkcan, Mehmet Kerem	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction
U
Udupa, Sumukha	Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems
V
Vafadari, Firouz	Demo: Greenhouse Sensing using Chirp-Based VLC with a Solar Panel for Energy Harvesting and Data Downlink
Vafi, Ata	JOIN: Optimized Light Source Activation for Deep Tissue Optical Sensing
Vaisi, Goli	Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
Vali, Kourosh	JOIN: Optimized Light Source Activation for Deep Tissue Optical Sensing
Vardhan, Harsh	Autonomous Cybersecurity Testbed for Operational Technology Networks
Vasile, Diana	BioQ: Towards Context-Aware Multi-Device Collaboration with Bio-cues
Venkata Sriram, Amballa	FL-DABE-BC: A Privacy-Enhanced, Decentralized Authentication, and Secure Communication for Federated Learning Framework with Decentralized Attribute-Based Encryption and Blockchain for IoT Scenarios
Venkatasubramanian, Nalini	SEQUIN: A Network Science and Physics-based Approach to Identify Sequential N-k Attacks in Electric Power Grids
Verma, Gunjan	MMBind: Unleashing the Potential of Distributed and Heterogeneous Data for Multimodal Learning in IoT
Vetha, Eric	Poster: Towards Microbial Fuel Cell Powered Backscatter Tags for Low-Cost In-Ground Soil Moisture Sensing
Vogelsang, Kai	Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems
W
Waga, Masaki	Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis
Wagemann, Peter	Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems
Waite, Joshua R.	RLS3: RL-Based Synthetic Sample Selection to Enhance Spatial Reasoning in Vision-Language Models for Indoor Autonomous Perception
Wajid, Rameez	Successive Control Barrier Functions for Nonlinear Systems
Waldo, Jim	Eclipse Dataset: Advancing Urban Sensing Research with Hyperlocal Environmental Data from Chicago
Wan, Runxi	Multi-Modal Dataset Across Exertion Levels: Capturing Post-Exercise Speech, Breathing, and Phonocardiogram
Wang, Di	Toward Sensor-In-the-Loop LLM Agent: Benchmarks and Implications
Wang, Hanchen David	EXACT: A Meta-Learning Framework for Precise Exercise Segmentation in Physical Therapy
Wang, Haoyang	Ultra-High-Frequency Harmony: mmWave Radar and Event Camera Orchestrate Accurate Drone Landing
Wang, Houzhen	CaphandAuth: Robust and Anti-spoofing Hand Authentication via COTS Capacitive Touchscreens
Wang, Li-Lian	Stochastic Differential Equation Networks for Time Series at Edge
Wang, Ningning	Membership Inference Against Self-supervised IMU Sensing Applications
Wang, Run	Offload Rethinking by Cloud Assistance for Efficient Environmental on LPWANs
Wang, Shiyang	RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
Wang, Shuai	UMusic: In-car Occupancy Sensing via High-resolution UWB Power Delay Profile
Wang, Wei	Touchless Restroom Monitoring: A Privacy-Preserving System for Patient Care
Wang, Wenpeng	Atlas: Ensuring Accuracy for Privacy-Preserving Federated IoT Applications
Wang, Xia	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Wang, Xingchen	RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
Wang, Xinzhe	ParRP: Enabling Space Isolation in Caches with Shared Data
Wang, Xuyu	Membership Inference Against Self-supervised IMU Sensing Applications
Wang, Xuyu	Fine-grained Heartbeat Waveform Monitoring with RFID: A Latent Diffusion Model
Wang, Yifeng	MoLoRa: Intelligent Mobile Antenna System for Enhanced LoRa Reception in Urban Environments
Wang, Yiting	Fine-grained Heartbeat Waveform Monitoring with RFID: A Latent Diffusion Model
Wang, Yue	Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
Wang, Ziqi	MobiVital: Self-supervised Quality Estimation for UWB-based Contactless Respiration Monitoring
Wasson, Kim	Keynote: Formal Assurance and the Assurance Evidence for Continuously-Evolving Real-Time Systems
Wehbe, Semaan	Finding Unknown Unknowns using Cyber-Physical System Simulators
Wei, Hua	Uncertainty Quantification for Physics-Informed Traffic Graph Networks
Weinhuber, Christoph	Explaining Control Policies through Predicate Decision Diagrams
Wen, Xiangyu	ThermoHands: A Benchmark for 3D Hand Pose Estimation from Egocentric Thermal Images
West, Scott	Modeling and Prototyping of IoT-based Long Range Self-powered Image Sensing System
Willcock, Aaron	Intelligent Power Distribution Systems: Model, Utilization Bounds, and Implementation
Williams, Nathan	From Toy to Target: Investigating Representation Transfer for Reinforcement Learning with Implications for Cyber-Physical Systems
Wilson, Kurt	Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Safety-Critical Cyber-Physical Systems Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors
Wintz, Paul	Sharc: Simulator for Hardware Architecture and Real-time Control
Wolf, Lars	Human-Centric Wearable Platform for Work Safety Monitoring: Navigating Between Protection and Privacy
Wolf, Marilyn	Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems
Wooding, Ben	TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory
Work, Dan	V2X-Enabled Communication for Traffic Operations via ROS
Work, Daniel	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Work, Daniel	Can control barrier functions keep automated vehicles safe in live freeway traffic?
Wu, Bo	SEE-V2X: C-V2X Direct Communication Dataset: An Application-Centric Approach
Wu, Fan	Responsive DNN Adaptation for Video Analytics against Environment Shift via Hierarchical Mobile-Cloud Collaborations
Wu, Fangyu	Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Wu, Jason	MMBind: Unleashing the Potential of Distributed and Heterogeneous Data for Multimodal Learning in IoT
Wu, Kaishun	Argus: Multi-View Egocentric Human Mesh Reconstruction Based on Stripped-Down Wearable mmWave Add-on
Wu, Nan	PIPE: Privacy-preserving 6DoF Pose Estimation for Immersive Applications
Wu, Patrick	Wireless Sensing of Gait for Neurodegenerative Disease Assessment: A Scoping Review
Wu, Zhengguan	Orbis: Redesigning Neural-enhanced Video Streaming for Live Immersive Viewing
Wu, Zhuanhao	Consistency-aware and Predictable Memory Processing for Safety-critical Out-of-order Multicores
Wösten, Koen	Breaking the Latency Barrier: Practical Haptic Bilateral Teleoperation over 5G
X
Xia, Jun	Through-dressing Wound Monitoring Based on the mmWave Sensor
Xia, Junxi	FlexiFly: Interfacing the Physical World with Foundation Models Empowered by Reconfigurable
Xia, Junxi	DUal-NET: A Transformer-Based U-Net Model for Denoising Bone Conduction Speech
Xia, Shuren	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction
Xia, Stephen	FlexiFly: Interfacing the Physical World with Foundation Models Empowered by Reconfigurable
Xia, Stephen	Unsupervised Deep Clustering for Human Behavior Understanding
Xia, Stephen	DUal-NET: A Transformer-Based U-Net Model for Denoising Bone Conduction Speech
Xia, Stephen	DomAIn: Towards Programless Smart Homes
Xia, Xianjin	MoLoRa: Intelligent Mobile Antenna System for Enhanced LoRa Reception in Urban Environments
Xiang, Mingyuan	Lupe: Integrating the Top-down Approach with DNN Execution on Ultra-Low-Power Devices
Xiang, Mingyuan	Voltage Change is Not Energy Consumption
Xiang, Weiming	Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems
Xiao, Yi	Psychophysiology-aided Perceptually Fluent Speech Analysis of Children Who Stutter
Xie, Mimi	Touchless Restroom Monitoring: A Privacy-Preserving System for Patient Care
Xie, Zongxing	Wireless Sensing of Gait for Neurodegenerative Disease Assessment: A Scoping Review
Xing, Guoliang	Argus: Multi-View Egocentric Human Mesh Reconstruction Based on Stripped-Down Wearable mmWave Add-on TaskSense: A Translation-like Approach for Tasking Heterogeneous Sensor Systems with LLMs SHADE-AD: An LLM-Based Framework for Synthesizing Activity Data of Alzheimer's Patients
Xing, Tianwei	MobiVital: Self-supervised Quality Estimation for UWB-based Contactless Respiration Monitoring
Xu, Ce	eFlx: Energy Flexibility Provisioning for E-taxi Fleets
Xu, Chenhan	Through-dressing Wound Monitoring Based on the mmWave Sensor
Xu, Chenhan	Wireless Sensing of Gait for Neurodegenerative Disease Assessment: A Scoping Review
Xu, Chenren	RetroLiDAR: A Liquid-crystal Fiducial Marker System for High-fidelity Perception of Embodied AI
Xu, Hailu	Towards a Lightweight Platform for Human-Robot Interaction in Federated Edge and IoT Environments
Xu, Jingao	Ultra-High-Frequency Harmony: mmWave Radar and Event Camera Orchestrate Accurate Drone Landing
Xu, Jingye	Touchless Restroom Monitoring: A Privacy-Preserving System for Patient Care
Xu, Kenuo	RetroLiDAR: A Liquid-crystal Fiducial Marker System for High-fidelity Perception of Embodied AI
Xu, Lilin	TaskSense: A Translation-like Approach for Tasking Heterogeneous Sensor Systems with LLMs
Xu, Lilin	Exploring the Capabilities of LLMs for IMU-based Fine-grained Human Activity Understanding
Xu, Mingsheng	Sharc: Simulator for Hardware Architecture and Real-time Control
Xu, Weitao	Argus: Multi-View Egocentric Human Mesh Reconstruction Based on Stripped-Down Wearable mmWave Add-on
Xu, Weizhe	Recovery-Guaranteed Sensor Attack Detection for Cyber-Physical Systems
Xu, Wenyao	Through-dressing Wound Monitoring Based on the mmWave Sensor
Xu, Yuankai	MATCH: Real-Time Scheduling of Multiple and Parallel Data Copies in Heterogeneous Architectures
Xu, Yuankai	HARD: Hardening Real-Time Scheduling and Analysis for Accelerator Enabled Computing
Xuan, Ziyi	Multi-Modal Dataset Across Exertion Levels: Capturing Post-Exercise Speech, Breathing, and Phonocardiogram
Xue, Hongfei	Argus: Multi-View Egocentric Human Mesh Reconstruction Based on Stripped-Down Wearable mmWave Add-on RAM-Hand: Robust Acoustic Multi-Hand Pose Reconstruction Using a Microphone Array
Y
Yan, Xiao	Are We There Yet? A Measurement Study of Efficiency for LLM Applications on Mobile Devices
Yan, Zhenyu	TaskSense: A Translation-like Approach for Tasking Heterogeneous Sensor Systems with LLMs
Yan, Zhisheng	Orbis: Redesigning Neural-enhanced Video Streaming for Live Immersive Viewing
Yang, Bufang	TaskSense: A Translation-like Approach for Tasking Heterogeneous Sensor Systems with LLMs
Yang, Chongye	HARD: Hardening Real-Time Scheduling and Analysis for Accelerator Enabled Computing
Yang, Fengxu	LiDARMarker: Machine-friendly Road Markers for Smart Driving Systems
Yang, Qiang	GPIoT: Tailoring Small Language Models for IoT Program Synthesis and Development
Yang, Weisi	Unsupervised Deep Clustering for Human Behavior Understanding
Yang, Yahan	Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
Yang, Yichuan	Pay Attention to Network: Reliability-Aware Spatial-Temporal-Frequential Scheduling for TSN-WiFi Networks
Yang, Yifan	Babel: A Scalable Pre-trained Model for Multi-Modal Sensing via Expandable Modality Alignment
Yang, Yongjie	LeekyFeeder: In-Air Gesture Control Through Leaky Acoustic Waves
Yang, Zaizhou	LiDARMarker: Machine-friendly Road Markers for Smart Driving Systems
Yang, Zhice	LiDARMarker: Machine-friendly Road Markers for Smart Driving Systems
Yang, Zhicheng	ExplainGen: a Human-Centered LLM Assistant for Combating Misinformation
Yao, Lina	LightLLM: A Versatile Large Language Model for Predictive Light Sensing
Yazdnian, Vahid	RoboTera: Non-Contact Friction Sensing for Robotic Grasping via Wireless Sub-Terahertz Perception
Ye, Bite	LiME: The Linux Real-Time Task Model Extractor
Ye, Siwei	HARD: Hardening Real-Time Scheduling and Analysis for Accelerator Enabled Computing
Yen, Bill	SARLink: Satellite Backscatter Connectivity using Synthetic Aperture Radar
Yeolekar, Anand	Repairing Control Safety Violations via Scheduler Patch Synthesis
Yildirim, Nuriye	Energy-Constrained Optimization for Wildfire Detection Using RGB Images
Yoon, Hyungjun	SelfReplay: Adapting Self-Supervised Sensory Models via Adaptive Meta-Task Replay
Yoon Lee, Dong	Self-Adaptive Structure Enabled Energy-Efficient PM2.5 Sensing
You, Pengcheng	Robust Aggregation of Electric Vehicle Flexibility
Younsuk, Dong	Proteus: Enhanced mmWave Leaf Wetness Detection with Cross-Modality Knowledge Transfer
Yu, Ruozhou	Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Safety-Critical Cyber-Physical Systems
Yu, Ruozhou	Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors
Yu, Shiming	MoLoRa: Intelligent Mobile Antenna System for Enhanced LoRa Reception in Urban Environments
Yu, Xiaofan	SensorQA: A Question Answering Benchmark for Daily-Life Monitoring
Yu, Yichuan	Ethics by Design in Autonomous Driving: Developing a Model-Based Liability Determination Framework
Yuan, Mu	Argus: Multi-View Egocentric Human Mesh Reconstruction Based on Stripped-Down Wearable mmWave Add-on
Yuan, Yukun	eFlx: Energy Flexibility Provisioning for E-taxi Fleets
Yun, Minwoo	Energy-Constrained Optimization for Wildfire Detection Using RGB Images
Z
Zaker, Mahdieh	From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
Zamponi, Marco	Certified Inductive Synthesis for Online Mixed-Integer Optimization
Zandi, Navid H.	A Semi-automated Mesh Editing Pipeline for HRTF Simulation
Zang, Chengbo	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction
Zeng, Huaili	Proteus: Enhanced mmWave Leaf Wetness Detection with Cross-Modality Knowledge Transfer
Zeng, Yunze	UMusic: In-car Occupancy Sensing via High-resolution UWB Power Delay Profile
Zhan, Naijun	Runtime Enforcement of CPS against Signal Temporal Logic
Zhan, Ye	Through-dressing Wound Monitoring Based on the mmWave Sensor
Zhang, Emma	Through-dressing Wound Monitoring Based on the mmWave Sensor
Zhang, Jiayun	Matching Skeleton-based Activity Representations with Heterogeneous Signals for HAR
Zhang, Joshua	Self-Adaptive Structure Enabled Energy-Efficient PM2.5 Sensing
Zhang, Minjia	Toward Sensor-In-the-Loop LLM Agent: Benchmarks and Implications
Zhang, Ning	Optimal Priority Assignment for Synchronous Harmonic Tasks With Dynamic Self-Suspension
Zhang, Simon	Towards a Lightweight Platform for Human-Robot Interaction in Federated Edge and IoT Environments
Zhang, Ting	Ultra-High-Frequency Harmony: mmWave Radar and Event Camera Orchestrate Accurate Drone Landing
Zhang, Xiaoyu	Through-dressing Wound Monitoring Based on the mmWave Sensor
Zhang, Xinyue	Wireless Sensing of Gait for Neurodegenerative Disease Assessment: A Scoping Review
Zhang, Xuan	MATCH: Real-Time Scheduling of Multiple and Parallel Data Copies in Heterogeneous Architectures
Zhang, Yiting	Unsupervised Deep Clustering for Human Behavior Understanding
Zhang, Yiting	DUal-NET: A Transformer-Based U-Net Model for Denoising Bone Conduction Speech
Zhang, Yiting	DomAIn: Towards Programless Smart Homes
Zhang, Yuntong	Touchless Restroom Monitoring: A Privacy-Preserving System for Patient Care
Zhang, Yunuo	Online Decision-Making Under Uncertainty for Vehicle-to-Building Systems
Zhang, Ziyang	E3: Early Exiting with Explainable AI for Real-Time and Accurate DNN Inference in Edge-Cloud Systems
Zhao, Jun	Jointly Ensuring Timing Disparity and End-to-End Latency Constraints in Hybrid DAGs
Zhao, Maozhe	Responsive DNN Adaptation for Video Analytics against Environment Shift via Hierarchical Mobile-Cloud Collaborations
Zhao, Minghui	FlexiFly: Interfacing the Physical World with Foundation Models Empowered by Reconfigurable Multi-Modal Dataset Across Exertion Levels: Capturing Post-Exercise Speech, Breathing, and Phonocardiogram
Zhao, Minghui	DUal-NET: A Transformer-Based U-Net Model for Denoising Bone Conduction Speech
Zhao, Minghui	DomAIn: Towards Programless Smart Homes
Zhao, Quanling	Offload Rethinking by Cloud Assistance for Efficient Environmental on LPWANs
Zhao, Tianya	Membership Inference Against Self-supervised IMU Sensing Applications
Zhao, Tianya	Fine-grained Heartbeat Waveform Monitoring with RFID: A Latent Diffusion Model
Zhao, Tianyu	PluralLLM: Pluralistic Alignment in LLMs via Federated Learning
Zhao, Yue	eFlx: Energy Flexibility Provisioning for E-taxi Fleets
Zheng, Rong	A Semi-automated Mesh Editing Pipeline for HRTF Simulation
Zheng, Rong	Quantitative Assessment of mmWave Point Cloud for Target Detection
Zheng, Yuanqing	GPIoT: Tailoring Small Language Models for IoT Program Synthesis and Development MoLoRa: Intelligent Mobile Antenna System for Enhanced LoRa Reception in Urban Environments
Zhou, An	Mesh Network Scheduling based on Cyber-Physical Sensitivity for Wireless Control Systems
Zhou, An	HARD: Hardening Real-Time Scheduling and Analysis for Accelerator Enabled Computing
Zhou, Jiaqi	LiDARMarker: Machine-friendly Road Markers for Smart Driving Systems
Zhou, Liangkai	eFlx: Energy Flexibility Provisioning for E-taxi Fleets
Zhou, Man	CaphandAuth: Robust and Anti-spoofing Hand Authentication via COTS Capacitive Touchscreens
Zhou, Xugui	Security of AV Perception Systems
Zhu, Jiang	mmET: mmWave Radar-Based Eye Tracking on Smart Glasses
Zhu, Xiaojing	CaphandAuth: Robust and Anti-spoofing Hand Authentication via COTS Capacitive Touchscreens
Zhu, Yunzhou	ThermoHands: A Benchmark for 3D Hand Pose Estimation from Egocentric Thermal Images
Ziegenbein, Dirk	A Framework for Managing Edge-Cloud Distributed Embedded Systems
Zou, An	MATCH: Real-Time Scheduling of Multiple and Parallel Data Copies in Heterogeneous Architectures
Zuepke, Alexander	Arm DynamIQ Shared Unit and Real-Time: An Empirical Evaluation
Zuepke, Alexander	Managing MPSoC Memory Interference on SDV Architectures
Zurek, Leonard	Human-Centric Wearable Platform for Work Safety Monitoring: Navigating Between Protection and Privacy
Zussman, Gil	Urban Sensing for Human-Centered Systems: A Modular Edge Framework for Real-Time Interaction