Computer vision applied to dual-energy computed tomography images for precise calcinosis cutis quantification in patients with systemic sclerosis AC Chandrasekaran, Z Fu, R Kraniski, FP Wilson, S Teaw, M Cheng, ... Arthritis research & therapy 23, 1-9, 2021 | 21 | 2021 |
Study of software-related causes in the FDA medical device recalls Z Fu, C Guo, Z Zhang, S Ren, Y Jiang, L Sha 2017 22nd International Conference on Engineering of Complex Computer …, 2017 | 19 | 2017 |
Pattern-based statechart modeling approach for medical best practice guidelines-a case study C Guo, Z Fu, S Ren, Y Jiang, M Rahmaniheris, L Sha 2017 IEEE 30th International Symposium on Computer-Based Medical Systems …, 2017 | 16 | 2017 |
Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models C Guo, Z Fu, Z Zhang, S Ren, L Sha 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018 | 12 | 2018 |
Modeling and integrating human interaction assumptions in medical cyber-physical system design Z Fu, C Guo, S Ren, Y Ou, L Sha 2017 IEEE 30th International Symposium on Computer-Based Medical Systems …, 2017 | 10 | 2017 |
Modeling and integrating physical environment assumptions in medical cyber-physical system design Z Fu, C Guo, S Ren, Y Jiang, L Sha Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017 | 9 | 2017 |
An efficient hybrid model for low-light image enhancement in mobile devices Z Fu, M Song, C Ma, J Nasti, V Tyagi, G Lloyd, W Tang Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2022 | 8 | 2022 |
UACFinder Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models Z Fu, C Guo, Z Zhang, S Ren, L Sha ACM Transactions on Cyber-Physical Systems 4 (3), 1-25, 2020 | 8 | 2020 |
Design verifiably correct model patterns to facilitate modeling medical best practice guidelines with statecharts C Guo, Z Fu, Z Zhang, S Ren, L Sha IEEE Internet of Things Journal 6 (4), 6276-6284, 2018 | 8 | 2018 |
Safetrace: A safety-driven requirement traceability framework on device interaction hazards for MD PnP AYZ Ou, M Rahmaniheris, Y Jiang, L Sha, Z Fu, S Ren Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1282-1291, 2018 | 8 | 2018 |
Mesh generation and flexible shape comparisons for bio-molecules Z Gao, R Rostami, X Pang, Z Fu, Z Yu Computational and Mathematical Biophysics 4 (1), 2016 | 6 | 2016 |
A framework for supporting the development of verifiably safe medical best practice guideline systems C Guo, Z Fu, Z Zhang, S Ren, L Sha Journal of Systems Architecture 104, 101693, 2020 | 5 | 2020 |
Towards verifiable safe and correct medical best practice guideline systems C Guo, Z Fu, S Ren, Y Jiang, L Sha 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017 | 3 | 2017 |
IAfinder identifying potential implicit assumptions to facilitate validation in medical cyber-physical system Z Fu, Z Wang, C Guo, Z Zhang, S Ren, L Sha Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018 | 2 | 2018 |
Model and integrate medical resource availability into verifiably correct executable medical guidelines C Guo, Z Fu, Z Zhang, S Ren, L Sha 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 964-969, 2017 | 2 | 2017 |
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts C Guo, Z Fu, Z Zhang, S Ren, L Sha arXiv preprint arXiv:1909.10493, 2019 | 1 | 2019 |
Prevent potential hazards caused by medical device time differences in integrated clinical environments Z Zhang, C Guo, Z Fu, S Ren, N Venkatasubramanian 2019 IEEE International Conference on Embedded Software and Systems (ICESS), 1-4, 2019 | 1 | 2019 |
Reducing patient waiting time for radiotherapy treatments with a genetic algorithm Z Zhang, C Guo, Z Fu, Y Jiang, S Ren 2018 International Conference on Computational Science and Computational …, 2018 | 1 | 2018 |
A Framework for Managing Unspecified Assumptions in Safety-Critical Cyber-Physical Systems Z Fu Illinois Institute of Technology, 2020 | | 2020 |