default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChunhui Guo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j11]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: 108683 (2022)- [j10]Chunhui Guo
, Zhenglin Liang:
Semi-Markovian Maintenance Optimization for Reinforced Concrete Enabled by a Synthesized Deterioration Model. IEEE Trans. Reliab. 71(4): 1577-1589 (2022) - 2020
- [j9]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: 101693 (2020) - [j8]Zhicheng Fu, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha:
UACFinder: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models. ACM Trans. Cyber Phys. Syst. 4(3): 24:1-24:25 (2020) - 2019
- [j7]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): 6276-6284 (2019) - 2017
- [j6]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): 553-559 (2017) - 2016
- [j5]Zheng Li, Chunhui Guo, Xiayu Hua, Shangping Ren:
Reliability guaranteed energy minimization on mixed-criticality systems. J. Syst. Softw. 112: 1-10 (2016) - [j4]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): 1303-1315 (2016) - 2015
- [j3]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): 89-91 (2015) - [j2]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): 529-531 (2015) - [j1]Xiayu Hua, Zheng Li, Hao Wu, Chunhui Guo, Shangping Ren:
Periodic resource integration. J. Syst. Softw. 110: 193-204 (2015)
Conference and Workshop Papers
- 2021
- [c21]Chunhui Guo, Dongmei Zhao:
Joint Charging, Routing, and Power Allocations in Rechargeable Wireless Sensor Networks. IWCMC 2021: 1436-1441 - [c20]Junqi Zeng, Zhenglin Liang, Chunhui Guo, Minyuan Song, Zongqi Xue:
A Gaussian Process Approach for Predictive Maintenance. QRS Companion 2021: 745-750 - [c19]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: 751-756 - [c18]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: 767-772 - [c17]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: 773-777 - 2020
- [c16]Zhenyu Zhang, Chunhui Guo, Wenyu Peng, Shangping Ren:
Using Event Log Timing Information to Assist Process Scenario Discoveries. AIKE 2020: 58-64 - [c15]Zhenyu Zhang, Chunhui Guo, Shangping Ren:
Mining Timing Constraints from Event Logs for Process Model. COMPSAC 2020: 1011-1016 - 2019
- [c14]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: 1-4 - 2018
- [c13]Zhicheng Fu, Zhao Wang, Chunhui Guo, Zhenyu Zhang, Shangping Ren, Lui Sha:
IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system. DAC 2018: 143:1-143:6 - [c12]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: 253-262 - 2017
- [c11]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: 117-122 - [c10]Zhicheng Fu, Chunhui Guo, Shangping Ren, Yizong Ou, Lui Sha:
Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design. CBMS 2017: 373-378 - [c9]Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha:
Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. COMPSAC (1) 2017: 760-765 - [c8]Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha:
Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE 2017: 1615-1618 - [c7]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Model and integrate medical resource availability into verifiably correct executable medical guidelines. ICCAD 2017: 964-969 - [c6]Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha:
Study of Software-Related Causes in the FDA Medical Device Recalls. ICECCS 2017: 60-69 - 2016
- [c5]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: 34:1-34:10 - 2015
- [c4]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: 1160-1165 - [c3]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: 197-206 - [c2]Chunhui Guo, Hao Wu, Xiayu Hua, Shangping Ren, Jerzy M. Nogiec:
Maximize System Reliability for Long Lasting and Continuous Applications. WorldCIST (1) 2015: 603-612 - 2012
- [c1]Chunhui Guo, Baochen Jiang, Hao Yuan, Zhiqiang Yang, Li Wang, Shangping Ren:
Performance Comparisons of Parallel Power Flow Solvers on GPU System. RTCSA 2012: 232-239
Informal and Other Publications
- 2019
- [i5]Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren, Lui Sha:
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. CoRR abs/1909.10493 (2019) - 2018
- [i4]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 abs/1811.00694 (2018) - [i3]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 abs/1811.08047 (2018) - [i2]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 abs/1811.08061 (2018) - [i1]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 abs/1811.08064 (2018)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
