A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Posters assiged to "Gateway Plaza (Upper)" | ||||||||||||||
2 | POSTER 1 | SenSys 1: Leveraging General-Purpose Audio Datasets for Vibration-based Crowd Monitoring in Stadiums | |||||||||||||
3 | POSTER 2 | SenSys 2: Understanding IoT Security Awareness Disparities Between CS and Non-CS Students | |||||||||||||
4 | POSTER 3 | SenSys 3: Optimizing IoT Cross-rule Vulnerability Detection through Reinforcement Learning-Based Fuzzing | |||||||||||||
5 | POSTER 4 | SenSys 4: LLM-Piloted Visual Privacy Agent on Mobile Systems | |||||||||||||
6 | POSTER 5 | Sensys 5: SEE-V2X: Empirical Evaluation of C-V2X Direct Communication in Real-World Scenarios | |||||||||||||
7 | POSTER 6 | Sensys 6: A Sustainable Scalable Self-configurable Sensor-based IoT Network | |||||||||||||
8 | POSTER 7 | Sensys 7: Application of differential architecture in neural networks to improve reconstruction quality in ultrasound tomography | |||||||||||||
9 | POSTER 8 | Sensys 8: Terrain Navigability Assessment of Autonomous Ground Robots Using mmWave Radar | |||||||||||||
10 | POSTER 9 | Sensys 9: Exploring the Autoencoder Sequence Pooling | |||||||||||||
11 | POSTER 10 | Sensys 10: Fine-grained Contextualized Activity Logs Generation based on Multi-Modal Sensor Data and LLM | |||||||||||||
12 | POSTER 11 | Sensys 11: R2R-LPCD: A Real-to-real Lidar Point Cloud Denoising Dataset | |||||||||||||
13 | POSTER 12 | Sensys 12: Beyond the Labels - Transforming Classification Outputs into Continuous Conductivity Maps in Electrical Impedance Tomography | |||||||||||||
14 | POSTER 13 | Sensys 13: IMUFace: Real-Time, Low-Power, Continuous 3D Facial Reconstruction Through Earphones | |||||||||||||
15 | POSTER 14 | Sensys 14: Hierarchical Alignment of Multiple Time Series With Missing Timestamps | |||||||||||||
16 | POSTER 15 | Sensys 15: Operational Similarity in IoT Malware Development Life Cycle | |||||||||||||
17 | POSTER 16 | Sensys 16: Detecting Context Shifts in the Human Experience Using Multimodal Foundation Models | |||||||||||||
18 | POSTER 17 | Sensys 17: Contactless Friction Sensing in Robotic Systems via Fusing Sub-Terahertz Wireless Signals and Vision | |||||||||||||
19 | POSTER 18 | Sensys 18: Scheduling Dynamic IoT Task Graphs | |||||||||||||
20 | POSTER 19 | Sensys 19: Time Attacks using Kernel Vulnerabilities | |||||||||||||
21 | POSTER 20 | Sensys 20: PrivacyVis: Interactive Visualization Tool for Privacy Risks of Internet of Things Sensors | |||||||||||||
22 | POSTER 21 | Sensys 21: Compromising Federated Medical AI-Backdoor Risks in Prompt Learning | |||||||||||||
23 | POSTER 22 | Sensys 22: Sniffing Out the City - Vehicular Multimodal Sensing for Environmental and Infrastructure Analysis | |||||||||||||
24 | POSTER 23 | Sensys 23: Three-dimensional Beamforming Defectoscope in industrial applications | |||||||||||||
25 | POSTER 24 | Sensys 24: ST AIoT Craft - A No-Code / Low-Code Cloud Solution for Edge AI Management in Smart Sensors | |||||||||||||
26 | POSTER 25 | Sensys 25: RL-SEP: RL-Based Smart Exit Point Selection for Enhancing Energy Harvested System Longevity | |||||||||||||
27 | POSTER 26 | Sensys 26: On-Shelf Weight Difference Estimation Through Active Vibration Sensing | |||||||||||||
28 | POSTER 27 | Sensys 27: HERMES - Heavy Element Real-time Monitoring for Environmental Safety | |||||||||||||
29 | POSTER 28 | Sensys 28: Graph Learning on Cyber-Physical Knowledge Graphs | |||||||||||||
30 | POSTER 29 | Sensys 29: Occlusion-Resilient UWB Localization Via Ceiling Reflection With Floor Anchor Installation | |||||||||||||
31 | POSTER 30 | Sensys 30: Machine Learning and Big Data on Raspberry Pi: A Performance Evaluation | |||||||||||||
32 | POSTER 31 | Sensys 31: Multiscale Vibration Sensing for Activity and Vital Signs Monitoring in Pig Pens | |||||||||||||
33 | POSTER 32 | Sensys 32: Mobile Vision Dynamic Layer Dropping against Adversarial Attacks | |||||||||||||
34 | POSTER 33 | Sensys 33: Neural Network-based OFDM/QAM Modulation for Wi-Fi-to-X Communication | |||||||||||||
35 | POSTER 34 | Sensys 34: Optimizing Radio Tomography with Edge Computing: A Low-Latency Approach for Human Detection | |||||||||||||
36 | POSTER 35 | Sensys 35: Application of LSTM Network with Multi-frequency Measurement Sequences in Electrical Tomography for Moisture Detection in Buildings | |||||||||||||
37 | POSTER 36 | Sensys 36: SRAM PUF-Based Logic Locking for Secure Authentication and IP Protection | |||||||||||||
38 | POSTER 37 | Sensys 37: Robust Deep Learning Based Residential Occupancy Detection With WiFi | |||||||||||||
39 | POSTER 38 | Sensys 38: CARTS: Cooperative and Adaptive Resource Triggering for 5G ISAC | |||||||||||||
40 | POSTER 39 | (empty) | |||||||||||||
41 | POSTER 40 | MECPS | |||||||||||||
42 | |||||||||||||||
43 | Posters assiged to "Gateway Plaza (Lower)" | ||||||||||||||
44 | POSTER 41 | Sensys 39: Minimizing Labeling Efforts for Fault Detection and Diagnosis | |||||||||||||
45 | POSTER 42 | Sensys 40: Real-Time Active Identification and Tracking of UAVs Using Millimeter-Wave Radar | |||||||||||||
46 | POSTER 43 | Sensys 41: Autonomous AI-Driven Grid Protection: Sub-Cycle Fault Response via NPU-Optimized Neural Networks | |||||||||||||
47 | POSTER 44 | Sensys 42: A Structural Vibration-based Gait Abnormality Detection system | |||||||||||||
48 | POSTER 45 | Sensys 43: Exploiting Operator-Level Concurrency Control to Guide Deployment for Real-Time Tasks in Edge AI Cluster | |||||||||||||
49 | POSTER 46 | Sensys 44: Rethinking Collaboration Among Mobile Devices in IoT Environments | |||||||||||||
50 | POSTER 47 | Sensys 45: OpenIoT-Lab1: an Open Source cost-efficient sensor based Fog-IoT Testbed: An initial prototype | |||||||||||||
51 | POSTER 48 | Sensys 46: Scalable 3D Gaussian Splatting-Based RF Signal Spatial Propagation Modeling | |||||||||||||
52 | POSTER 49 | Sensys 47: Wear2Rec: An IoT-Driven Context-Aware Music Recommendation | |||||||||||||
53 | POSTER 50 | Sensys 48: LiveDetector: Towards Privacy-Preserving Voice Liveness Detection | |||||||||||||
54 | POSTER 51 | Sensys 49: Exploring Disruption by Intelligent Reflective Surfaces in mmWave Radar Object Classification | |||||||||||||
55 | POSTER 52 | Sensys 50: IMU-assisted Image Stitching for Scenes with Obstructions Based on Camera Motion Sensing | |||||||||||||
56 | POSTER 53 | Sensys 51: Low-Cost Soil Sensing and Two-Level Classification for Early Stress Detection in Avocado Plants | |||||||||||||
57 | POSTER 54 | Sensys 52: Transforming Mental Health Care with Autonomous LLM Agents at the Edge | |||||||||||||
58 | POSTER 55 | Sensys 53: Non-Intrusive Speaker Diarization via mmWave Sensing | |||||||||||||
59 | POSTER 56 | RTAS 1: Journal-first: Minimal-Overlap Centrality for Multi-Gateway Designation in Real-Time TSCH Networks | |||||||||||||
60 | POSTER 57 | RTAS 2: Work in Progress: Reducing WCET Estimation by Increasing the Number of Persistent Blocks | |||||||||||||
61 | POSTER 58 | RTAS 3: Security-Aware Preemptive Scheduling with Partial Trust for Safety-Critical Embedded Systems | |||||||||||||
62 | POSTER 59 | RTAS 4: Work in Progress: Biologically Inspired Dynamic Task Prioritization in Computer Vision Systems | |||||||||||||
63 | POSTER 60 | RTAS 5: Journal-first: A Machine Learning-based Platform for Monitoring and Prediction of Hazardous Gases in Rural and Remote Areas | |||||||||||||
64 | POSTER 61 | RTAS 6: Work in Progress: Self Healing Architectures Using Machine Learning and Federated Learning for Attack Detection | |||||||||||||
65 | POSTER 62 | RTAS 7: Brief Industry Paper: STM: A Static Non-preemptive Scheduler for NVIDIA Tegra SoC | |||||||||||||
66 | POSTER 63 | RTAS 8: Work in Progress: Optimizing Schedulability using Cache-Bypassing | |||||||||||||
67 | POSTER 64 | RTAS 9: Work in Progress: Increasing Schedulability via on-GPU Scheduling | |||||||||||||
68 | POSTER 65 | RTAS 10: Work in Progress: Middleware-transparent Callback Enforcement in Commoditized Component-oriented Real-time Systems | |||||||||||||
69 | POSTER 66 | RTAS 11: Journal-First: Cache-Related Preemption Delay in Non-Inclusive Cache Hierarchies | |||||||||||||
70 | POSTER 67 | (empty) | |||||||||||||
71 | POSTER 68 | ICCPS 01: Poster Abstract: PRoTECT: Parallel Construction of Barrier Certificates for Safety Verification of Polynomial Systems | |||||||||||||
72 | POSTER 69 | ICCPS 02: Poster Abstract: Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation | |||||||||||||
73 | POSTER 70 | ICCPS 03: Poster Abstract: Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts | |||||||||||||
74 | POSTER 71 | ICCPS 04: Poster Abstract: A gray box approach for Large Language Model-guided Natural Language to Temporal Logic Automatic | |||||||||||||
75 | POSTER 72 | ICCPS 05: Poster Abstract: Symbolic Gaussian Smoothing | |||||||||||||
76 | POSTER 73 | ICCPS 06: Poster Abstract: Polynomial Zonotopes Intersection Checking | |||||||||||||
77 | POSTER 74 | ICCPS 07: Poster Abstract: Monitor and Recover: A Paradigm for Future Research on Distribution Shift in Learning-Enabled Cyber-Physical Systems | |||||||||||||
78 | POSTER 75 | ICCPS 08: Poster Abstract: Conformance-Driven Anomaly Detection for Cyber-Physical Systems | |||||||||||||
79 | POSTER 76 | ICCPS 09: Poster Abstract: Integrating the Simplex Architecture to Enhance Safety in Deep Learning Autonomous Systems | |||||||||||||
80 | POSTER 77 | ICCPS 10: Poster Abstract: Data Efficient PV based Indoor Event Detection | |||||||||||||
81 | POSTER 78 | ICCPS 11: Poster Abstract: Detecting Stealthy False Data Injections on Cyber-Physical Systems using Temporal Distance Metrics | |||||||||||||
82 | POSTER 79 | ICCPS 12: Poster Abstract: Adaptive Beamforming for Connected Vehicles - A Co-simulation Framework | |||||||||||||
83 | POSTER 80 | ICCPS 13: Poster Abstract: 1000DaySim: Open-Source Traffic Simulation With Real Data Over Long Time Horizons | |||||||||||||
84 | POSTER 81 | ICCPS 14: Poster Abstract: Reproducible and Low-cost Sim-to-real Environment for Traffic Signal Control | |||||||||||||
85 | POSTER 82 | ICCPS 15: Poster Abstract: SPHERE CPS: A Reconfigurable Testbed for Industrial Control System Security Experimentation | |||||||||||||
86 | POSTER 83 | ICCPS 16: Poster Abstract: Exploring Flexible Road Reconstruction in Godot Simulator | |||||||||||||
87 | POSTER 84 | ICCPS 17: Poster Abstract: High-Level Scenario Management For Parallel Autonomous Vehicle Simulation | |||||||||||||
88 | POSTER 85 | (empty) | |||||||||||||
89 | POSTER 86 | HSCC 1: SMT Formulations of Sufficient Conditions for Forward Invariance in Continuous Dynamical Systems | |||||||||||||
90 | POSTER 87 | HSCC 2: Uncertain MDP Abstractions of Nonlinear Stochastic Systems With UNknown Disturbances | |||||||||||||
91 | POSTER 88 | HSCC 3: Probabilistic Perception Contracts for Verification of Vision-Based Autonomy | |||||||||||||
92 | POSTER 89 | HSCC 4: Certified Model Order Reduction from Data | |||||||||||||
93 | |||||||||||||||
94 | |||||||||||||||
95 | |||||||||||||||
96 | |||||||||||||||
97 | |||||||||||||||
98 | |||||||||||||||
99 | |||||||||||||||
100 |