Biblio

Filters: Author is Jiang, Zhihao  [Clear All Filters]
2018-05-23
Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter J., Mangharam, Rahul.  2017.  Automated Closed-loop Model Checking of Implantable Pacemakers Using Abstraction Trees. SIGBED Review. 14:15–23.
2018-05-11
Jiang, Zhihao, Abbas, Houssam, Mosterman, Pieter, Mangharam, Rahul.  2016.  Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees. Medical Cyber Physical Systems Workshop 2016.
Jiang, Zhihao, Abbas, Houssam, Jang, Kuk Jin, Mangharam, Rahul.  2016.  The Challenges of High-Confidence Medical Device Software. IEEE Computer January Outlook.
Abbas, Houssam, Jiang, Zhihao, Jang, Kuk Jin, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  Computer Aided Clinical Trials for Implantable Cardiac Devices. SES 2016: Symposium F-2: Modeling, Design and Safety Analysis in Physiological Closed-Loop Systems.
Abbas, Houssam, Jiang, Zhihao, Jang, Kuk Jin, Beccani, Marco, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices. IEEE International High Level Design Validation and Test Workshop (HLDVT). :85-92.
Jiang, Zhihao, Abbas, Houssam, and Jang, Kuk Jin, Beccani, Marco, Liang, Jackson, Dixit, Sanjay, Mangharam, Rahul.  2016.  In-silico pre-clinical trials for implantable cardioverter defibrillators. 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). :169-172.
Mangharam, Rahul, Abbas, Houssam, Behl, Madhur, Jang, Kuk Jin Pajic, Miroslav, Jiang, Zhihao.  2016.  Three challenges in cyber-physical systems. 2016 8th International Conference on Communication Systems and Networks (COMSNETS). :1-8.
Abbas, Houssam, Jang, Kuk Jin, Jiang, Zhihao, Mangharam, Rahul.  2016.  Towards Model Checking of Implantable Cardioverter Defibrillators. 19th ACM International Conference on Hybrid Systems: Computation and Control.
Jiang, Zhihao, Mangharam, Rahul.  2015.  High-Confidence Medical Device Software Development. Foundations and Trends in Electronic Design Automation. 9
2018-05-23
Jiang, Zhihao, Pajic, Miroslav, Alur, Rajeev, Mangharam, Rahul.  2014.  Closed-loop verification of medical devices with model abstraction and refinement. International Journal on Software Tools for Technology Transfer. 16:191–213.
Jiang, Zhihao, Pajic, Miroslav, Moarref, Salar, Alur, Rajeev, Mangharam, Rahul.  2012.  Modeling and Verification of a Dual Chamber Implantable Pacemaker. Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. :188–203.