Login / Signup
Chunhui Guo
ORCID
Publication Activity (10 Years)
Years Active: 2012-2022
Publications (10 Years): 30
Top Topics
Particle Swarm Algorithm
Technical Report
Human Interaction
Long Lasting
Top Venues
CoRR
QRS Companion
CBMS
J. Syst. Softw.
</>
Publications
</>
Chunhui Guo
,
Zhenglin Liang
Semi-Markovian Maintenance Optimization for Reinforced Concrete Enabled by a Synthesized Deterioration Model.
IEEE Trans. Reliab.
71 (4) (2022)
Chunhui Guo
,
Zhenglin Liang
A predictive Markov decision process for optimizing inspection and maintenance strategies of partially observable multi-state systems.
Reliab. Eng. Syst. Saf.
226 (2022)
Chunhui Guo
,
Dongmei Zhao
Joint Charging, Routing, and Power Allocations in Rechargeable Wireless Sensor Networks.
IWCMC
(2021)
Chunhui Guo
,
Zhenglin Liang
,
Junqi Zeng
,
Minyuan Song
,
Zongqi Xue
A predictive Hidden semi-Markov Model for bridges subject to chloride-induced deterioration.
QRS Companion
(2021)
Minyuan Song
,
Zhenglin Liang
,
Zongqi Xue
,
Chunhui Guo
,
Junqi Zeng
Remaining Useful Life Prediction for Multi-state Stochastic Deterioration Assets Based on Phase-type Distributions.
QRS Companion
(2021)
Zongqi Xue
,
Zhenglin Liang
,
Minyuan Song
,
Chunhui Guo
,
Junqi Zeng
Base station network alarm streams modeling and prediction based on Cox proportional hazard model and copula.
QRS Companion
(2021)
Junqi Zeng
,
Zhenglin Liang
,
Chunhui Guo
,
Minyuan Song
,
Zongqi Xue
A Gaussian Process Approach for Predictive Maintenance.
QRS Companion
(2021)
Zhenyu Zhang
,
Chunhui Guo
,
Wenyu Peng
,
Shangping Ren
Using Event Log Timing Information to Assist Process Scenario Discoveries.
AIKE
(2020)
Zhicheng Fu
,
Chunhui Guo
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models.
ACM Trans. Cyber Phys. Syst.
4 (3) (2020)
Zhenyu Zhang
,
Chunhui Guo
,
Shangping Ren
Mining Timing Constraints from Event Logs for Process Model.
COMPSAC
(2020)
Chunhui Guo
,
Zhicheng Fu
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
A framework for supporting the development of verifiably safe medical best practice guideline systems.
J. Syst. Archit.
104 (2020)
Chunhui Guo
,
Zhicheng Fu
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts.
IEEE Internet Things J.
6 (4) (2019)
Zhenyu Zhang
,
Chunhui Guo
,
Zhicheng Fu
,
Shangping Ren
,
Nalini Venkatasubramanian
Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments.
ICESS
(2019)
Chunhui Guo
,
Zhicheng Fu
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts.
CoRR
(2019)
Chunhui Guo
,
Zhicheng Fu
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).
CoRR
(2018)
Chunhui Guo
,
Zhicheng Fu
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version).
CoRR
(2018)
Chunhui Guo
,
Hao Wu
,
Xiayu Hua
,
Shangping Ren
,
Jerzy Nogiec
Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints.
CoRR
(2018)
Zhicheng Fu
,
Zhao Wang
,
Chunhui Guo
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system.
DAC
(2018)
Chunhui Guo
,
Zhicheng Fu
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models.
ICCPS
(2018)
Chunhui Guo
,
Zhicheng Fu
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report.
CoRR
(2018)
Zhicheng Fu
,
Chunhui Guo
,
Shangping Ren
,
Yu Jiang
,
Lui Sha
Study of Software-Related Causes in the FDA Medical Device Recalls.
ICECCS
(2017)
Chunhui Guo
,
Zhicheng Fu
,
Zhenyu Zhang
,
Shangping Ren
,
Lui Sha
Model and integrate medical resource availability into verifiably correct executable medical guidelines.
ICCAD
(2017)
Xiayu Hua
,
Chunhui Guo
,
Hao Wu
,
Douglas Lautner
,
Shangping Ren
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Dual-Level Periodic Rejuvenations.
IEEE Trans. Computers
66 (3) (2017)
Zhicheng Fu
,
Chunhui Guo
,
Shangping Ren
,
Yizong Ou
,
Lui Sha
Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design.
CBMS
(2017)
Chunhui Guo
,
Zhicheng Fu
,
Shangping Ren
,
Yu Jiang
,
Lui Sha
Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems.
COMPSAC (1)
(2017)
Chunhui Guo
,
Zhicheng Fu
,
Shangping Ren
,
Yu Jiang
,
Maryam Rahmaniheris
,
Lui Sha
Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study.
CBMS
(2017)
Zhicheng Fu
,
Chunhui Guo
,
Shangping Ren
,
Yu Jiang
,
Lui Sha
Modeling and integrating physical environment assumptions in medical cyber-physical system design.
DATE
(2017)
Chunhui Guo
,
Xiayu Hua
,
Hao Wu
,
Douglas Lautner
,
Shangping Ren
Best-Harmonically-Fit Periodic Task Assignment Algorithm on Multiple Periodic Resources.
IEEE Trans. Parallel Distributed Syst.
27 (5) (2016)
Zheng Li
,
Chunhui Guo
,
Xiayu Hua
,
Shangping Ren
Reliability guaranteed energy minimization on mixed-criticality systems.
J. Syst. Softw.
112 (2016)
Chunhui Guo
,
Shangping Ren
,
Yu Jiang
,
Po-Liang Wu
,
Lui Sha
,
Richard B. Berlin Jr.
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models.
ICCPS
(2016)
Xiayu Hua
,
Zheng Li
,
Hao Wu
,
Chunhui Guo
,
Shangping Ren
Periodic resource integration.
J. Syst. Softw.
110 (2015)
Chunhui Guo
,
Hao Wu
,
Xiayu Hua
,
Douglas Lautner
,
Shangping Ren
Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance.
HPCC/CSS/ICESS
(2015)
Xiayu Hua
,
Chunhui Guo
,
Hao Wu
,
Douglas Lautner
,
Shangping Ren
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Periodic Rejuvenation.
RTCSA
(2015)
Chunhui Guo
,
Hao Wu
,
Xiayu Hua
,
Shangping Ren
,
Jerzy M. Nogiec
Maximize System Reliability for Long Lasting and Continuous Applications.
WorldCIST (1)
(2015)
Adrien Brun
,
Chunhui Guo
,
Shangping Ren
A Note on the EDF Preemption Behavior in "Rate Monotonic Versus EDF: Judgment Day".
IEEE Embed. Syst. Lett.
7 (3) (2015)
Bo Wang
,
Jun Yan
,
Qianqian Hou
,
Mingming Xu
,
Chunhui Guo
基于粒子群算法的弹簧-阻尼系统PID控制器优化设计 (Optimization Design of PID Controller for Spring Damper System Based on Particle Swarm Algorithm).
计算机科学
42 (Z11) (2015)
Chunhui Guo
,
Baochen Jiang
,
Hao Yuan
,
Zhiqiang Yang
,
Li Wang
,
Shangping Ren
Performance Comparisons of Parallel Power Flow Solvers on GPU System.
RTCSA
(2012)