ATPC: adaptive transmission power control for wireless sensor networks. - Shan Lin 001; Jingbin Zhang; Gang Zhou; Lin Gu 001; John A. Stankovic; Tian He 001 (SenSys, 2006)

Realistic and Efficient Multi-Channel Communications in Wireless Sensor Networks. - Yafeng Wu; John A. Stankovic; Tian He 001; Shan Lin 001 (INFOCOM, 2008)

Achieving stable network performance for wireless sensornetworks. - Shan Lin 001; Gang Zhou; Yafeng Wu; Kamin Whitehouse; John A. Stankovic; Tian He 001 (SenSys, 2008)

CPS-IP: cyber physical systems interconnection protocol. - Shan Lin 001; Tian He 001; John A. Stankovic (SIGBED Rev., 2008)

Towards Stable Network Performance in Wireless Sensor Networks. - Shan Lin 001; Gang Zhou; Kamin Whitehouse; Yafeng Wu; John A. Stankovic; Tian He 001 (RTSS, 2009)

Addressing burstiness for reliable communication and latency bound generation in wireless sensor networks. - Sirajum Munir; Shan Lin 001; Enamul Hoque; S. M. Shahriar Nirjon; John A. Stankovic; Kamin Whitehouse (IPSN, 2010)

Automatic and robust breadcrumb system deployment for indoor firefighter applications. - Hengchang Liu; Jingyuan Li 006; Zhiheng Xie; Shan Lin 001; Kamin Whitehouse; John A. Stankovic; David J. Siu (MobiSys, 2010)

Efficient and reliable breadcrumb systems via coordination among multiple first responders. - Hengchang Liu; Zhiheng Xie; Jingyuan Li 006; Kamin Whitehouse; John A. Stankovic; Shan Lin 001; David J. Siu (PIMRC, 2011)

Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. - Philip Asare; Danyang Cong; Santosh G. Vattam; BaekGyu Kim; Oleg Sokolsky; Insup Lee 001; Shan Lin 001; Margaret Mullen-Fortino (Wireless Health, 2011)

Adaptive and Radio-Agnostic QoS for Body Sensor Networks. - Gang Zhou; Qiang Li 025; Jingyuan Li 006; Yafeng Wu; Shan Lin 001; Jian Lu; Chieh-Yih Wan; Mark D. Yarvis; John A. Stankovic (ACM Trans. Embed. Comput. Syst., 2011)

Adaptive battery charge scheduling with bursty workloads. - Dylan Lexie; Shan Lin 001; Jie Wu 001 (GLOBECOM, 2012)

The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity. - Philip Asare; Danyang Cong; Santosh G. Vattam; BaekGyu Kim; Andrew L. King; Oleg Sokolsky; Insup Lee 001; Shan Lin 001; Margaret Mullen-Fortino (IHI, 2012)

Channel switching control policy for wireless mesh networks. - Xiaoguang Li; Jie Wu 001; Shan Lin 001; Xiaojiang Du (J. Parallel Distributed Comput., 2012)

Cyber Physical System Challenges for Human-in-the-Loop Control. - Sirajum Munir; John A. Stankovic; Chieh-Jan Mike Liang; Shan Lin 001 (Feedback Computing, 2013)

Two vulnerabilities in Android OS kernel. - Xiali Hei 001; Xiaojiang Du; Shan Lin 001 (ICC, 2013)

Using Minimum Mobile Chargers to Keep Large-Scale Wireless Rechargeable Sensor Networks Running Forever. - Haipeng Dai 001; Xiaobing Wu; Lijie Xu; Guihai Chen; Shan Lin 001 (ICCCN, 2013)

PIPAC: Patient infusion pattern based access control scheme for wireless insulin pump system. - Xiali Hei 001; Xiaojiang Du; Shan Lin 001; Insup Lee 001 (INFOCOM, 2013)

Poster abstract: connected wireless camera network deployment with visibility coverage. - Hua Huang 003; Chien-Chun Ni; Xiaomeng Ban; Jie Gao 001; Shan Lin 001 (IPSN, 2013)

Energy-Efficient Broadcast Scheduling with Minimum Latency for Low-Duty-Cycle Wireless Sensor Networks. - Lijie Xu; Jiannong Cao 001; Shan Lin 001; Haipeng Dai 001; Xiaobing Wu; Guihai Chen (MASS, 2013)

Cooperative Communications for Wireless Ad Hoc and Sensor Networks. - Yong Sun; Shukui Zhang; Hongli Xu; Shan Lin 001 (Int. J. Distributed Sens. Networks, 2013)

Dmodel: Online Taxicab Demand Model from Big Sensor Data in a Roving Sensor Network. - Desheng Zhang; Tian He 001; Shan Lin 001; Sirajum Munir; John A. Stankovic (BigData Congress, 2014)

Poster: near field communication based access control for wireless medical devices. - Xiali Hei 001; Xiaojiang Du; Shan Lin 001 (MobiHoc, 2014)

Multi-part file encryption for electronic health records cloud. - Xiali Hei 001; Shan Lin 001 (MobileHealth@MobiHoc, 2014)

Minimizing the number of mobile chargers for large-scale wireless rechargeable sensor networks. - Haipeng Dai 001; Xiaobing Wu; Guihai Chen; Lijie Xu; Shan Lin 001 (Comput. Commun., 2014)

Cooperative Communications for Wireless Ad Hoc and Sensor Networks in 2013. - Yong Sun; Shukui Zhang; Hongli Xu; Shan Lin 001 (Int. J. Distributed Sens. Networks, 2014)

New Technologies and Research Trends for Mobile Wireless Sensor Networks. - Yong Sun; Shukui Zhang; Hongli Xu; Shan Lin 001 (Int. J. Distributed Sens. Networks, 2014)

Reducing Energy Waste for Computers by Human-in-the-Loop Control. - Sirajum Munir; John A. Stankovic; Chieh-Jan Mike Liang; Shan Lin 001 (IEEE Trans. Emerg. Top. Comput., 2014)

A Carpooling Recommendation System for Taxicab Services. - Desheng Zhang; Tian He 001; Yunhuai Liu; Shan Lin 001; John A. Stankovic (IEEE Trans. Emerg. Top. Comput., 2014)

An Automatic, Robust, and EfficientMulti-User Breadcrumb Systemfor Emergency Response Applications. - Hengchang Liu; Zhiheng Xie; Jingyuan Li 006; Shan Lin 001; David J. Siu; Pan Hui 001; Kamin Whitehouse; John A. Stankovic (IEEE Trans. Mob. Comput., 2014)

Robust taxi dispatch under model uncertainties. - Fei Miao; Shuo Han 002; Shan Lin 001; George J. Pappas (CDC, 2015)

Taxi dispatch with real-time sensing data in metropolitan areas: a receding horizon control approach. - Fei Miao; Shan Lin 001; Sirajum Munir; John A. Stankovic; Hua Huang 003; Desheng Zhang; Tian He 001; George J. Pappas (ICCPS, 2015)

Time-constrained data harvesting in WSNs: Theoretical foundation and algorithm design. - Lin Chen 002; Wei Wang 021; Hua Huang 003; Shan Lin 001 (INFOCOM, 2015)

CodeRepair: PHY-layer partial packet recovery without the pain. - Jun Huang 001; Guoliang Xing; Jianwei Niu 002; Shan Lin 001 (INFOCOM, 2015)

On optimal diversity in network-coding-based routing in wireless networks. - Qiao Xiang; Hongwei Zhang 001; Jianping Wang 001; Guoliang Xing; Shan Lin 001; Xue Liu 001 (INFOCOM, 2015)

Dynamic Mobile Charger Scheduling in Heterogeneous Wireless Sensor Networks. - Hua Huang 003; Shan Lin 001; Lin Chen 002; Jie Gao 001; Anwar Mamat; Jie Wu 001 (MASS, 2015)

Toward Stable Network Performance in Wireless Sensor Networks: A Multilevel Perspective. - Shan Lin 001; Gang Zhou; Mo'taz Al-Hami; Kamin Whitehouse; Yafeng Wu; John A. Stankovic; Tian He 001; Xiaobing Wu; Hengchang Liu (ACM Trans. Sens. Networks, 2015)

Optimizing Energy Efficiency for Minimum Latency Broadcast in Low-Duty-Cycle Sensor Networks. - Lijie Xu; Guihai Chen; Jiannong Cao 001; Shan Lin 001; Haipeng Dai 001; Xiaobing Wu; Fan Wu 006 (ACM Trans. Sens. Networks, 2015)

Patient Infusion Pattern based Access Control Schemes for Wireless Insulin Pump System. - Xiali Hei 001; Xiaojiang Du; Shan Lin 001; Insup Lee 001; Oleg Sokolsky (IEEE Trans. Parallel Distributed Syst., 2015)

Online Cruising Mile Reduction in Large-Scale Taxicab Networks. - Desheng Zhang; Tian He 001; Shan Lin 001; Sirajum Munir; John A. Stankovic (IEEE Trans. Parallel Distributed Syst., 2015)

CyberCardia project: Modeling, verification and validation of implantable cardiac devices. - Md. Ariful Islam; Hyun-Kyung Lim; Nicola Paoletti; Houssam Abbas; Zhihao Jiang; Jacek Cyranka; Rance Cleaveland; Sicun Gao; Edmund M. Clarke; Radu Grosu; Rahul Mangharam; Elizabeth Cherry; et al. (BIBM, 2016)

Data-Driven Robust Taxi Dispatch Approaches. - Fei Miao; Shuo Han 002; Shan Lin 001; John A. Stankovic; Qian Wang; Desheng Zhang; Tian He 001; George J. Pappas (ICCPS, 2016)

HIDE: AP-Assisted Broadcast Traffic Management to Save Smartphone Energy. - Ge Peng; Gang Zhou; David T. Nguyen; Xin Qi 001; Shan Lin 001 (ICDCS, 2016)

Charge me if you can: charging path optimization and scheduling in mobile networks. - Lin Chen 002; Shan Lin 001; Hua Huang 003 (MobiHoc, 2016)

Joint sensor duty cycle scheduling with coverage guarantee. - Kin Sum Liu; Jie Gao 001; Shan Lin 001; Hua Huang 003; Brent Schiller (MobiHoc, 2016)

Combinatorics, algorithms and systems for sensor deployment with line-of-sight constraints: poster. - Kin Sum Liu; Brent Schiller; Jie Gao 001; Shan Lin 001; Joseph S. B. Mitchell (MobiHoc, 2016)

Toothbrushing Monitoring using Wrist Watch. - Hua Huang 003; Shan Lin 001 (SenSys, 2016)

Taxi Dispatch With Real-Time Sensing Data in Metropolitan Areas: A Receding Horizon Control Approach. - Fei Miao; Shuo Han 002; Shan Lin 001; John A. Stankovic; Desheng Zhang; Sirajum Munir; Hua Huang 003; Tian He 001; George J. Pappas (IEEE Trans Autom. Sci. Eng., 2016)

Shared Relay Assignment (SRA) for Many-to-One Traffic in Cooperative Networks. - Hongli Xu; Liusheng Huang; Chunming Qiao; Xinglong Wang; Shan Lin 001; Yu-e Sun (IEEE Trans. Mob. Comput., 2016)

On Time-Constrained Data Harvesting in Wireless Sensor Networks: Approximation Algorithm Design. - Lin Chen 002; Wei Wang 021; Hua Huang 003; Shan Lin 001 (IEEE/ACM Trans. Netw., 2016)

ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks. - Shan Lin 001; Fei Miao; Jingbin Zhang; Gang Zhou; Lin Gu 001; Tian He 001; John A. Stankovic; Sang Hyuk Son; George J. Pappas (ACM Trans. Sens. Networks, 2016)

Efficient Multichannel Communications in Wireless Sensor Networks. - Yafeng Wu; Kin Sum Liu; John A. Stankovic; Tian He 001; Shan Lin 001 (ACM Trans. Sens. Networks, 2016)

Joint relay assignment and rate-power allocation for multiple paths in cooperative networks. - Hongli Xu; Liusheng Huang; Long Chen 006; Shan Lin 001 (Wirel. Networks, 2016)

Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. - Nicola Paoletti; Kin Sum Liu; Scott A. Smolka; Shan Lin 001 (CMSB, 2017)

Transmission delay performance in telemedicine: A case study. - Gang Wang; Shan Lin 001; Margaret Mullen-Fortino; Oleg Sokolsky; Insup Lee 001 (EMBC, 2017)

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. - Fedor Shmarov; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (Haifa Verification Conference, 2017)

Joint sensing duty cycle scheduling for heterogeneous coverage guarantee. - Kin Sum Liu; Tyler Mayer; Hao-Tsung Yang; Esther M. Arkin; Jie Gao 001; Mayank Goswami 001; Matthew P. Johnson 001; Nirman Kumar; Shan Lin 001 (INFOCOM, 2017)

Tooth brushing Recognition using Neural Networks: Poster Abstract. - Hua Huang 003; Shan Lin 001 (IoTDI, 2017)

Long term occupancy estimation in a commercial space: an empirical study: poster abstract. - Kin Sum Liu; Sirajum Munir; Jonathan Francis; Charles Shelton; Shan Lin 001 (IPSN, 2017)

Reliable Stream Scheduling with Minimum Latency for Wireless Sensor Networks. - Hao-Tsung Yang; Kin Sum Liu; Jie Gao 001; Shan Lin 001; Sirajum Munir; Kamin Whitehouse; John A. Stankovic (SECON, 2017)

COD: a dataset of commercial building occupancy traces. - Kin Sum Liu; Elvin Vindel Pinto; Sirajum Munir; Jonathan Francis; Charles Shelton; Mario Berges; Shan Lin 001 (BuildSys, 2017)

EliMO: Eliminating Channel Feedback from MIMO. - Yongsen Ma; Gang Zhou; Shan Lin 001 (SMARTCOMP, 2017)

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. - Fedor Shmarov; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (CoRR, 2017)

RoFi: Rotation-Aware WiFi Channel Feedback. - Yongsen Ma; Gang Zhou; Shan Lin 001; Haiming Chen 002 (IEEE Internet Things J., 2017)

Taxi-Passenger-Demand Modeling Based on Big Data from a Roving Sensor Network. - Desheng Zhang; Tian He 001; Shan Lin 001; Sirajum Munir; John A. Stankovic (IEEE Trans. Big Data, 2017)

Dynamic integration of heterogeneous transportation modes under disruptive events. - Yukun Yuan 001; Desheng Zhang; Fei Miao; John A. Stankovic; Tian He 001; George J. Pappas; Shan Lin 001 (ICCPS, 2018)

Declarative vs rule-based control for flocking dynamics. - Usama Mehmood; Nicola Paoletti; Dung T. Phan; Radu Grosu; Shan Lin 001; Scott D. Stoller; Ashish Tiwari 001; Junxing Yang; Scott A. Smolka (SAC, 2018)

On-Street Parking Guidance with Real-Time Sensing Data for Smart Cities. - Kin Sum Liu; Jie Gao 001; Xiaobing Wu; Shan Lin 001 (SECON, 2018)

Systematically Ensuring the Confidence of Real-Time Home Automation IoT Systems. - Lei Bu; Wen Xiong; Chieh-Jan Mike Liang; Shi Han; Dongmei Zhang 001; Shan Lin 001; Xuandong Li (ACM Trans. Cyber Phys. Syst., 2018)

Multi-channel Assignment and Link Scheduling for Prioritized Latency-Sensitive Applications. - Shih-Yu Tsai; Hao-Tsung Yang; Kin Sum Liu; Shan Lin 001; Rezaul Chowdhury; Jie Gao 001 (ALGOSENSORS, 2019)

Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes. - Hongkai Chen 001; Nicola Paoletti; Scott A. Smolka; Shan Lin 001 (ACC, 2019)

Patrol Scheduling Against Adversaries with Varying Attack Durations. - Hao-Tsung Yang; Shih-Yu Tsai; Kin Sum Liu; Shan Lin 001; Jie Gao 001 (AAMAS, 2019)

Optimizing Sensor Deployment With Line-Of-Sight Constraints: Theory and Practice. - Kin Sum Liu; Brent Schiller; Jie Gao 001; Shan Lin 001; Joseph S. B. Mitchell (EWSN, 2019)

Synthesizing stealthy reprogramming attacks on cardiac devices. - Nicola Paoletti; Zhihao Jiang; Md. Ariful Islam; Houssam Abbas; Rahul Mangharam; Shan Lin 001; Zachary Gruber; Scott A. Smolka (ICCPS, 2019)

p^2Charging: Proactive Partial Charging for Electric Taxi Systems. - Yukun Yuan 001; Desheng Zhang; Fei Miao; Jimin Chen; Tian He 001; Shan Lin 001 (ICDCS, 2019)

QoE Control for Dynamic Adaptive Video Streaming Over HTTP at Access Point. - Yukun Yuan 001; Shan Lin 001; Gang Zhou (ICII, 2019)

MagTrack: Enabling Safe Driving Monitoring with Wearable Magnetics. - Hua Huang 003; Hongkai Chen 001; Shan Lin 001 (MobiSys, 2019)

Data-Driven Robust Taxi Dispatch Under Demand Uncertainties. - Fei Miao; Shuo Han 002; Shan Lin 001; Qian Wang; John A. Stankovic; Abdeltawab M. Hendawi; Desheng Zhang; Tian He 001; George J. Pappas (IEEE Trans. Control. Syst. Technol., 2019)

Leveraging Fine-Grained Occupancy Estimation Patterns for Effective HVAC Control. - Yukun Yuan 001; Kin Sum Liu; Sirajum Munir; Jonathan Francis; Charles Shelton; Shan Lin 001 (IoTDI, 2020)

MET: a magneto-inductive sensing based electric toothbrushing monitoring system. - Hua Huang 003; Shan Lin 001 (MobiCom, 2020)

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. - Fedor Shmarov; Sadegh Soudjani; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (IEEE Access, 2020)

WiDet: Wi-Fi based device-free passive person detection with deep convolutional neural networks. - Hua Huang 003; Shan Lin 001 (Comput. Commun., 2020)

MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas. - Hongkai Chen 001; Nicola Paoletti; Scott A. Smolka; Shan Lin 001 (CoRR, 2020)

Sequential Resource Access: Theory and Algorithm. - Lin Chen 002; Anastasios Giovanidis; Wei Wang 009; Shan Lin 001 (CoRR, 2020)

Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. - Nicola Paoletti; Kin Sum Liu; Hongkai Chen 001; Scott A. Smolka; Shan Lin 001 (IEEE ACM Trans. Comput. Biol. Bioinform., 2020)

Reliable Communication and Latency Bound Generation in Wireless Cyber-Physical Systems. - Sirajum Munir; Hao-Tsung Yang; Shan Lin 001; S. M. Shahriar Nirjon; Lin Chen 002; Enamul Hoque; John A. Stankovic; Kamin Whitehouse (ACM Trans. Cyber Phys. Syst., 2020)

Connected Wireless Camera Network Deployment with Visibility Coverage. - Hua Huang 003; Chien-Chun Ni; Xiaomeng Ban; Andrew T. Schneider; Jie Gao 001; Shan Lin 001 (ACM Trans. Internet Things, 2020)

MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas. - Hongkai Chen 001; Nicola Paoletti; Scott A. Smolka; Shan Lin 001 (CDC, 2021)

SAC: Solar-Aware E-Taxi Fleet Charging Coordination under Dynamic Passenger Mobility. - Yukun Yuan 001; Yue Zhao 007; Shan Lin 001 (CDC, 2021)

Data-driven prediction of fine-grained EV charging behaviors in public charging stations: Poster. - Fuli Qiao; Shan Lin 001 (e-Energy, 2021)

DeResolver: a decentralized negotiation and conflict resolution framework for smart city services. - Yukun Yuan 001; Meiyi Ma; Songyang Han; Desheng Zhang; Fei Miao; John A. Stankovic; Shan Lin 001 (ICCPS, 2021)

Sequential Resource Access: Theory and Algorithm. - Lin Chen 002; Anastasios Giovanidis; Wei Wang 021; Shan Lin 001 (INFOCOM, 2021)

SOURCE: Towards Solar-Uncertainty-Aware E-Taxi Coordination under Dynamic Passenger Mobility. - Yukun Yuan 001; Yue Zhao 007; Shan Lin 001 (ACC, 2022)

POET: towards power-system-aware e-taxi coordination under dynamic passenger mobility. - Yukun Yuan 001; Yue Zhao 007; Shan Lin 001 (e-Energy, 2022)

An STL-Based Formulation of Resilience in Cyber-Physical Systems. - Hongkai Chen 001; Shan Lin 001; Scott A. Smolka; Nicola Paoletti (FORMATS, 2022)

Game Theoretic Analysis of Urban E-Taxi Systems: Equilibria and Efficiency. - Yukun Yuan 001; Yue Zhao 007; Lin Chen 002; Shan Lin 001 (SECON, 2022)

RFCam: Uncertainty-aware Fusion of Camera and Wi-Fi for Real-time Human Identification with Mobile Devices. - Hongkai Chen 001; Sirajum Munir; Shan Lin 001 (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022)

DeResolver: A Decentralized Conflict Resolution Framework with Autonomous Negotiation for Smart City Services. - Yukun Yuan 001; Meiyi Ma; Songyang Han; Desheng Zhang; Fei Miao; John A. Stankovic; Shan Lin 001 (ACM Trans. Cyber Phys. Syst., 2022)

Charging Path Optimization in Mobile Networks. - Lin Chen 002; Shan Lin 001; Hua Huang 003; Weihua Yang (IEEE/ACM Trans. Netw., 2022)

An Ensemble Learning Approach for Exercise Detection in Patients with Type 1 Diabetes. - Ke Ma; Hongkai Chen 001; Shan Lin 001 (BDIOT, 2023)

An STL-based Approach to Resilient Control for Cyber-Physical Systems. - Hongkai Chen 001; Scott A. Smolka; Nicola Paoletti; Shan Lin 001 (HSCC, 2023)

CarFi: Rider Localization Using Wi-Fi CSI. - Sirajum Munir; Hongkai Chen 001; Shiwei Fang; Mahathir Monjur; Shan Lin 001; Shahriar Nirjon (CoRR, 2023)

An Ensemble Learning Approach for Exercise Detection in Type 1 Diabetes Patients. - Ke Ma; Hongkai Chen 001; Shan Lin 001 (CoRR, 2023)

: Mobility-Driven Integration of Heterogeneous Urban Cyber-Physical Systems Under Disruptive Events. - Yukun Yuan 001; Desheng Zhang; Fei Miao; John A. Stankovic; Tian He 001; George J. Pappas; Shan Lin 001 (IEEE Trans. Mob. Comput., 2023)

Fairness-Aware Electric Taxi Fleet Coordination Under Short-Term Power System Failures. - Yukun Yuan 001; Zihan Ding; Shan Lin 001 (ACC, 2024)

SensEmo: Enabling Affective Learning through Real-time Emotion Recognition with Smartwatches. - Kushan Choksi; Hongkai Chen 001; Karan Joshi; Sukrutha Jade; Shahriar Nirjon; Shan Lin 001 (CoRR, 2024)

Patrol Security Game: Defending Against Adversary with Freedom in Attack Timing, Location, and Duration. - Hao-Tsung Yang; Ting-Kai Weng; Ting-Yu Chang; Kin Sum Liu; Shan Lin 001; Jie Gao 001; Shih-Yu Tsai (CoRR, 2024)

eFlx: Energy Flexibility Provisioning for E-taxi Fleets. - Liangkai Zhou; Yue Zhao 007; Yukun Yuan 001; Ce Xu; Shan Lin 001 (ICCPS, 2025)

SHADE-AD: An LLM-Based Framework for Synthesizing Activity Data of Alzheimer's Patients. - Heming Fu; Hongkai Chen 001; Shan Lin 001; Guoliang Xing (SenSys, 2025)

Cumulative-Time Signal Temporal Logic. - Hongkai Chen 001; Zeyu Zhang; Shouvik Roy; Ezio Bartocci; Scott A. Smolka; Scott D. Stoller; Shan Lin 001 (CoRR, 2025)