Zhicheng Fu
Orcid: 0000-0002-6915-0491
According to our database1,
Zhicheng Fu
authored at least 24 papers
between 2012 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
J. Real Time Image Process., January, 2025
2024
2022
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 2022
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
2019
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts.
IEEE Internet Things J., 2019
Chronic Food Antigen-specific IgG-mediated Hypersensitivity Reaction as A Risk Factor for Adolescent Depressive Disorder.
Genom. Proteom. Bioinform., 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
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report).
CoRR, 2018
Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 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
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
2014
Proceedings of the International Conference on Audio, 2014
2013
Proceedings of the 6th International Conference on Biomedical Engineering and Informatics, 2013
2012
Recognition of Petechia Tongue Based on LoG and Gabor Feature with Spatial Information.
Proceedings of the Biometric Recognition - 7th Chinese Conference, 2012