A concept lattice-based event model for Cyber-Physical Systems. - Ying Tan; Mehmet C. Vuran; Steve Goddard; Yue Yu 002; Miao Song 004; Shangping Ren (ICCPS, 2010)

Model Feasible Interactions in Distributed Real-Time Systems. - Shangping Ren; Yue Yu 002; Miao Song 004 (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Coordination operators and their composition under the actor-role-coordinator (ARC) model. - Miao Song 004; Shangping Ren (SIGBED Rev., 2011)

A genetic algorithm based approach to maximizing real-time system value under resource constraints. - Li Wang 011; Zheng Li 006; Miao Song 004; Shangping Ren (IPCCC, 2012)

Computation efficiency driven job removal policies for meeting end-to-end deadlines in distributed real-time systems. - Miao Song 004; Shuhui Li 004; Shangping Ren; Shengyan Hong; Xiaobo Sharon Hu (ISORC, 2013)

Maximizing online service profit for time-dependent applications. - Shuhui Li 004; Miao Song 004; Zheng Li 006; Shangping Ren; Gang Quan (RTCSA, 2013)

Delay-impact-based local deadline assignment for online scheduling of distributed soft real-time applications. - Miao Song 004; Shuhui Li 004; Shangping Ren; Gang Quan (IPCCC, 2014)

Maximizing system's total accrued utility value for parallel and time-sensitive applications. - Shuhui Li 004; Miao Song 004; Peng-Jun Wan; Shangping Ren (IPCCC, 2014)

Sensor-Based Low Power Management for Mobile Platforms. - Douglas Lautner; Scott DeBates; Jagat Shah; Miao Song 004; Shangping Ren (HPCC/CSS/ICESS, 2015)

A 2-Approximation Algorithm for Scheduling Parallel and Time-Sensitive Applications to Maximize Total Accrued Utility Value. - Shuhui Li 004; Miao Song 004; Peng-Jun Wan; Shangping Ren (IEEE Trans. Parallel Distributed Syst., 2016)

BaaS (Bluetooth-as-a-sensor): conception, design and implementation on mobile platforms. - Douglas Lautner; Xiayu Hua; Scott DeBates; Miao Song 004; Jagat Shah; Shangping Ren (SAC, 2017)

Power Efficient Scheduling Algorithms for Real-time Tasks on Multi-mode Microcontrollers. - Douglas Lautner; Xiayu Hua; Scott DeBates; Miao Song 004; Shangping Ren (ANT/SEIT, 2018)

"Watch Your Step": Precise Obstacle Detection and Navigation for Mobile Users Through Their Mobile Service. - Minghui Sun; Pengcheng Ding; Jiageng Song; Miao Song 004; Limin Wang 007 (IEEE Access, 2019)

An Efficient Hybrid Model for Low-light Image Enhancement in Mobile Devices. - Zhicheng Fu; Miao Song 004; Chao Ma; Joe Nasti; Vivek Tyagi; Grant Lloyd; Wei Tang (CVPR Workshops, 2022)