Performance Comparisons of Parallel Power Flow Solvers on GPU System. - Chunhui Guo; Baochen Jiang; Hao Yuan; Zhiqiang Yang; Li Wang 011; Shangping Ren (RTCSA, 2012)

Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance. - Chunhui Guo; Hao Wu 021; Xiayu Hua; Douglas Lautner; Shangping Ren (HPCC/CSS/ICESS, 2015)

Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Periodic Rejuvenation. - Xiayu Hua; Chunhui Guo; Hao Wu 021; Douglas Lautner; Shangping Ren (RTCSA, 2015)

Maximize System Reliability for Long Lasting and Continuous Applications. - Chunhui Guo; Hao Wu 021; Xiayu Hua; Shangping Ren; Jerzy M. Nogiec (WorldCIST (1), 2015)

A Note on the EDF Preemption Behavior in "Rate Monotonic Versus EDF: Judgment Day". - Adrien Brun; Chunhui Guo; Shangping Ren (IEEE Embed. Syst. Lett., 2015)

基于粒子群算法的弹簧-阻尼系统PID控制器优化设计 (Optimization Design of PID Controller for Spring Damper System Based on Particle Swarm Algorithm). - Bo Wang; Jun Yan; Qianqian Hou; Mingming Xu; Chunhui Guo (计算机科学, 2015)

Periodic resource integration. - Xiayu Hua; Zheng Li 006; Hao Wu 021; Chunhui Guo; Shangping Ren (J. Syst. Softw., 2015)

Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. - Chunhui Guo; Shangping Ren; Yu Jiang 001; Po-Liang Wu; Lui Sha; Richard B. Berlin Jr. (ICCPS, 2016)

Reliability guaranteed energy minimization on mixed-criticality systems. - Zheng Li 006; Chunhui Guo; Xiayu Hua; Shangping Ren (J. Syst. Softw., 2016)

Best-Harmonically-Fit Periodic Task Assignment Algorithm on Multiple Periodic Resources. - Chunhui Guo; Xiayu Hua; Hao Wu 021; Douglas Lautner; Shangping Ren (IEEE Trans. Parallel Distributed Syst., 2016)

Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. - Zhicheng Fu; Chunhui Guo; Shangping Ren; Yizong Ou; Lui Sha (CBMS, 2017)

Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. - Chunhui Guo; Zhicheng Fu; Shangping Ren; Yu Jiang 001; Maryam Rahmaniheris; Lui Sha (CBMS, 2017)

Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. - Chunhui Guo; Zhicheng Fu; Shangping Ren; Yu Jiang 001; Lui Sha (COMPSAC (1), 2017)

Modeling and integrating physical environment assumptions in medical cyber-physical system design. - Zhicheng Fu; Chunhui Guo; Shangping Ren; Yu Jiang 001; Lui Sha (DATE, 2017)

Model and integrate medical resource availability into verifiably correct executable medical guidelines. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (ICCAD, 2017)

Study of Software-Related Causes in the FDA Medical Device Recalls. - Zhicheng Fu; Chunhui Guo; Shangping Ren; Yu Jiang 001; Lui Sha (ICECCS, 2017)

Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Dual-Level Periodic Rejuvenations. - Xiayu Hua; Chunhui Guo; Hao Wu 021; Douglas Lautner; Shangping Ren (IEEE Trans. Computers, 2017)

IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. - Zhicheng Fu; Zhao Wang; Chunhui Guo; Zhenyu Zhang 009; Shangping Ren; Lui Sha (DAC, 2018)

Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (ICCPS, 2018)

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report). - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2018)

Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints. - Chunhui Guo; Hao Wu 021; Xiayu Hua; Shangping Ren; Jerzy Nogiec (CoRR, 2018)

Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version). - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2018)

Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2018)

Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments. - Zhenyu Zhang 009; Chunhui Guo; Zhicheng Fu; Shangping Ren; Nalini Venkatasubramanian (ICESS, 2019)

Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (CoRR, 2019)

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (IEEE Internet Things J., 2019)

Using Event Log Timing Information to Assist Process Scenario Discoveries. - Zhenyu Zhang 009; Chunhui Guo; Wenyu Peng; Shangping Ren (AIKE, 2020)

Mining Timing Constraints from Event Logs for Process Model. - Zhenyu Zhang 009; Chunhui Guo; Shangping Ren (COMPSAC, 2020)

A framework for supporting the development of verifiably safe medical best practice guideline systems. - Chunhui Guo; Zhicheng Fu; Zhenyu Zhang 009; Shangping Ren; Lui Sha (J. Syst. Archit., 2020)

UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. - Zhicheng Fu; Chunhui Guo; Zhenyu Zhang 009; Shangping Ren; Lui Sha (ACM Trans. Cyber Phys. Syst., 2020)

Joint Charging, Routing, and Power Allocations in Rechargeable Wireless Sensor Networks. - Chunhui Guo; Dongmei Zhao (IWCMC, 2021)

A predictive Hidden semi-Markov Model for bridges subject to chloride-induced deterioration. - Chunhui Guo; Zhenglin Liang; Junqi Zeng; Minyuan Song; Zongqi Xue (QRS Companion, 2021)

Remaining Useful Life Prediction for Multi-state Stochastic Deterioration Assets Based on Phase-type Distributions. - Minyuan Song; Zhenglin Liang; Zongqi Xue; Chunhui Guo; Junqi Zeng (QRS Companion, 2021)

Base station network alarm streams modeling and prediction based on Cox proportional hazard model and copula. - Zongqi Xue; Zhenglin Liang; Minyuan Song; Chunhui Guo; Junqi Zeng (QRS Companion, 2021)

A Gaussian Process Approach for Predictive Maintenance. - Junqi Zeng; Zhenglin Liang; Chunhui Guo; Minyuan Song; Zongqi Xue (QRS Companion, 2021)

A predictive Markov decision process for optimizing inspection and maintenance strategies of partially observable multi-state systems. - Chunhui Guo; Zhenglin Liang (Reliab. Eng. Syst. Saf., 2022)

Semi-Markovian Maintenance Optimization for Reinforced Concrete Enabled by a Synthesized Deterioration Model. - Chunhui Guo; Zhenglin Liang (IEEE Trans. Reliab., 2022)

An α-vector predictive value iteration algorithm for transportation infrastructure maintenance under partially observable conditions. - Chunhui Guo; Zhenglin Liang (Reliab. Eng. Syst. Saf., 2025)

Predictive Inspection and Maintenance Optimization for Partially Observable Semi-Markov Deteriorating Systems. - Chunhui Guo; Zhenglin Liang (IEEE Trans Autom. Sci. Eng., 2025)