| Performance comparisons of parallel power flow solvers on GPU system C Guo, B Jiang, H Yuan, Z Yang, L Wang, S Ren 2012 IEEE International Conference on Embedded and Real-Time Computing …, 2012 | 53 | 2012 |
| Transforming medical best practice guidelines to executable and verifiable statechart models C Guo, S Ren, Y Jiang, PL Wu, L Sha, RB Berlin 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS …, 2016 | 27 | 2016 |
| Reliability guaranteed energy minimization on mixed-criticality systems Z Li, C Guo, X Hua, S Ren Journal of Systems and Software 112, 1-10, 2016 | 23 | 2016 |
| Use two-level rejuvenation to combat software aging and maximize average resource performance C Guo, H Wu, X Hua, D Lautner, S Ren 2015 IEEE 17th International Conference on High Performance Computing and …, 2015 | 23 | 2015 |
| 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 | 18* | 2017 |
| 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 | 16 | 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 | 15 | 2017 |
| Schedulability analysis for real-time task set on resource with performance degradation and dual-level periodic rejuvenations X Hua, C Guo, H Wu, D Lautner, S Ren IEEE Transactions on Computers 66 (3), 553-559, 2016 | 15 | 2016 |
| Mining timing constraints from event logs for process model Z Zhang, C Guo, S Ren 2020 IEEE 44th Annual Computers, Software, and Applications Conference …, 2020 | 10 | 2020 |
| 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 | 10 | 2018 |
| Best-harmonically-fit periodic task assignment algorithm on multiple periodic resources C Guo, X Hua, H Wu, D Lautner, S Ren IEEE Transactions on Parallel and Distributed Systems 27 (5), 1303-1315, 2015 | 10 | 2015 |
| Empirical Study of Energy Minimization Issues for Mixed-Criticality Systems with Reliability Constraints Z Li, X Hua, C Guo, S Ren the 1st Workshop on Low-Power Dependable Computing (LPDC), in conjunction …, 2014 | 8 | 2014 |
| 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 | 7 | 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 | 7 | 2018 |
| A Note on the EDF Preemption Behavior in" Rate Monotonic vs. EDF: Judgment Day" A Brun, C Guo, S Ren Embedded Systems Letters (ESL), IEEE 7 (3), 89-91, 2015 | 7* | 2015 |
| Schedulability analysis for real-time task set on resource with performance degradation and periodic rejuvenation X Hua, C Guo, H Wu, D Lautner, S Ren 2015 IEEE 21st International Conference on Embedded and Real-Time Computing …, 2015 | 7 | 2015 |
| Maximize system reliability for long lasting and continuous applications C Guo, H Wu, X Hua, S Ren, JM Nogiec New Contributions in Information Systems and Technologies: Volume 1, 603-612, 2015 | 7 | 2015 |
| 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 |
| Using event log timing information to assist process scenario discoveries Z Zhang, C Guo, W Peng, S Ren 2020 IEEE Third International Conference on Artificial Intelligence and …, 2020 | 2 | 2020 |
Lui ShaProfessor of Computer Sceince, University of IllinoisVerified email at cs.uiuc.edu
