Items where Author is "Chen, Minsi"

Article

Yu, Wangyang and Guo, Qi and Cheng, Yumeng and Liu, Lu and Hao, Fei and Zhai, Xiaojun and Chen, Minsi (2025) Formal Modeling and Reliability Analysis of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System. Transactions on Embedded Computing Systems. (In Press)

Zhai, Xiaojun and Chen, Minsi and Esfahani, Sahar Soheilian and Amira, Abbes and Bensaali, Faycal and Abinahed, Julien and Dakua, Sarada and Richardson, Robin A and Coveney, Peter V (2020) Heterogeneous System-on-Chip based Lattice-Boltzmann Visual Simulation System. IEEE Systems Journal, 14 (2). pp. 1592-1601. DOI https://doi.org/10.1109/JSYST.2019.2952459

Esfahani, Sahar S and Zhai, Xiaojun and Chen, Minsi and Amira, Abbes and Bensaali, Faycal and AbiNahed, Julien and Dakua, Sarada and Younes, Georges and Baobeid, Abdulla and Richardson, Robin A and Coveney, Peter V (2020) Lattice-Boltzmann interactive blood flow simulation pipeline. International Journal of Computer Assisted Radiology and Surgery, 15 (4). pp. 629-639. DOI https://doi.org/10.1007/s11548-020-02120-3

Conference or Workshop Item

Esfahani, Sahar Soheilian and Zhai, Xiaojun and Chen, Minsi and Amira, Abbes and Bensaali, Faycal and AbiNahed, Julien and Dakua, Sarada and Younes, Georges and Richardson, Robin A and Coveney, Peter V (2019) HEMELB Acceleration and Visualization for Cerebral Aneurysms. In: The 26th IEEE International Conference on Image Processing, 2019-09-22 - 2019-09-25, Taipei, Taiwan. (In Press)