• / Prof. Zhihao Jiang / 江智浩 助理教授、研究员
    电话:(021) 20684860
    Email: jiangzhh@@shanghaitech.edu.cn
    办公室: 上海市浦东新区华夏中路393号信息学院2-302.E室
    专业方向: 计算机科学与技术

  Prof. Zhihao Jiang / 江智浩 助理教授、研究员

  电 话:(021) 20684860
  Email :jiangzhh@@shanghaitech.edu.cn
  个人主页: http://faculty.sist.shanghaitech.edu.cn/faculty/jiangzhh/
  专业方向: 计算机科学与技术









1. Ximing Chen, Eunsuk Kang, Shinichi Shiraishi, Victor M. Preciado and Zhihao Jiang “Digital Behavioral Twins for Safe Connected Cars” ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems 2018 (Accepted)
2. Zhihao Jiang, Houssam Abbas, Pieter J Mosterman, Rahul Mangharam “Automated closed-loop model checking of implantable pacemakers using abstraction trees” ACM SIGBED Review Volume: 14 Issue: 2 Pages: 15-23, 2017
3. Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, Rahul Mangharam “ In-silico pre-clinical trials for implantable cardioverter defibrillators” IEEE 38th Annual International Conference of Engineering in Medicine and Biology Society (EMBC), 2016 
4. Jiang, Zhihao; Abbas, Houssam; Jang, Kuk Jin; Mangharam, Rahul “The Challenges of High-Confidence Medical Device Software” COMPUTER Volume: 49  Issue: 1  Pages: 33-41 Published: JAN 2016  
5. Abbas, Houssam; Jang, Kuk Jin; Jiang, Zhihao; Mangharam, Rahul “Towards model checking of implantable cardioverter defibrillators” Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control Issue date: April 11, 2016 Pages: 87-92
6. Jiang, Zhihao; Mangharam, Rahul “High-confidence medical device software development” Foundations and Trends in Electronic Design Automation Volume: 9 Issue: 4 Publication year: 2015 Pages: 309-391
7. Pajic, Miroslav; Jiang, Zhihao; Lee, Insup; Sokolsky, Oleg; Mangharam, Rahul “Safety-Critical Medical Device Development Using the UPP2SF Model Translation Tool” ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS  Volume: 13  Special Issue: SI  Article Number: 127 Supplement: 4  Published: JUL 2014  
8. Jiang, Zhihao; Pajic, Miroslav; Alur, Rajeev; Mangharam, Rahul “Closed-loop verification of medical devices with model abstraction and refinement” INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER Volume: 16  Issue: 2  Pages: 191-213  Published: APR 2014  
9. Jiang, Zhihao; Pajic, Miroslav; Mangharam, Rahul “Cyber-Physical Modeling of Implantable Cardiac Medical Devices” PROCEEDINGS OF THE IEEE  Volume: 100 Issue: 1  Special Issue: SI  Pages: 122-137  Published: JAN 2012  
10. Pajic, Miroslav; Jiang, Zhihao; Lee, Insup; Sokolsky, Oleg; Mangharam, Rahul “From verification to implementation: A model translation tool and a pacemaker case study” Proceedings -18th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2012 Publication year: 2012 Pages: 173-184
11. Jiang, Zhihao; Pajic, Miroslav; Moarref, Salar; Alur, Rajeev; Mangharam, Rahul “Modeling and verification of a dual chamber implantable pacemaker” Tools and Algorithms for the Construction and Analysis of Systems -18th Int. Conf., TACAS 2012, Publication year: 2012 Pages: 188-203
12. Jiang, Zhihao; Pajic, Miroslav; Mangharam, Rahul “Model-based closed-loop testing of implantable pacemakers” Proceedings -2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011 Publication year: 2011 Pages: 131-140 
13. Jiang, Zhihao; Pajic, Miroslav; Connolly, Allison; Dixit, Sanjay; Mangharam, Rahul “Real-time heart model for implantable cardiac device validation and verification” Proceedings -22nd Euromicro Conference on Real-Time Systems, ECRTS 2010 Publication year: 2010 Pages: 239-248