Chunhui Guo
Orcid: 0000-0002-1500-2581
According to our database1,
Chunhui Guo
authored at least 37 papers
between 2012 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Semi-Markovian Maintenance Optimization for Reinforced Concrete Enabled by a Synthesized Deterioration Model.
IEEE Trans. Reliab., 2022
A predictive Markov decision process for optimizing inspection and maintenance strategies of partially observable multi-state systems.
Reliab. Eng. Syst. Saf., 2022
2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Base station network alarm streams modeling and prediction based on Cox proportional hazard model and copula.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Remaining Useful Life Prediction for Multi-state Stochastic Deterioration Assets Based on Phase-type Distributions.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
A predictive Hidden semi-Markov Model for bridges subject to chloride-induced deterioration.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Joint Charging, Routing, and Power Allocations in Rechargeable Wireless Sensor Networks.
Proceedings of the 17th International Wireless Communications and Mobile Computing, 2021
2020
<i>UACFinder</i>: Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models.
ACM Trans. Cyber Phys. Syst., 2020
A framework for supporting the development of verifiably safe medical best practice guideline systems.
J. Syst. Archit., 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
Proceedings of the 3rd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2020
2019
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts.
IEEE Internet Things J., 2019
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts.
CoRR, 2019
Prevent Potential Hazards Caused by Medical Device Time Differences in Integrated Clinical Environments.
Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019
2018
Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report.
CoRR, 2018
Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models (Extended Version).
CoRR, 2018
Optimizing System Quality of Service through Rejuvenation for Long-Running Applications with Real-Time Constraints.
CoRR, 2018
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).
CoRR, 2018
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
<i>IAfinder</i>: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system.
Proceedings of the 55th Annual Design Automation Conference, 2018
2017
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Dual-Level Periodic Rejuvenations.
IEEE Trans. Computers, 2017
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017
Model and integrate medical resource availability into verifiably correct executable medical guidelines.
Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017
Modeling and integrating physical environment assumptions in medical cyber-physical system design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017
Modeling and Integrating Human Interaction Assumptions in Medical Cyber-Physical System Design.
Proceedings of the 30th IEEE International Symposium on Computer-Based Medical Systems, 2017
2016
Best-Harmonically-Fit Periodic Task Assignment Algorithm on Multiple Periodic Resources.
IEEE Trans. Parallel Distributed Syst., 2016
J. Syst. Softw., 2016
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
2015
基于粒子群算法的弹簧-阻尼系统PID控制器优化设计 (Optimization Design of PID Controller for Spring Damper System Based on Particle Swarm Algorithm).
计算机科学, 2015
IEEE Embed. Syst. Lett., 2015
Proceedings of the New Contributions in Information Systems and Technologies, 2015
Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Periodic Rejuvenation.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015
Use Two-Level Rejuvenation to Combat Software Aging and Maximize Average Resource Performance.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012