Zhihao Jiang

Παρατίθεται από

	Όλα	Από το 2018
Παραθέσεις	929	427
h-index	12	10
i10-index	15	10

120

201020112012201320142015201620172018201920202021202220234 26 34 56 86 105 80 91 97 100 69 66 79 16

Δημόσια πρόσβαση

Προβολή όλων

5 άρθρα

0 άρθρα

διαθέσιμα

μη διαθέσιμα

Σύμφωνα με εντολές χρηματοδότησης

Συν-συγγραφείς

Rahul MangharamAssociate Professor of Electrical Engineering and Computer Science, University of PennsylvaniaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα seas.upenn.edu
Miroslav PajicDickinson Family Associate Professor, Duke UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα duke.edu
Houssam AbbasOregon State UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα oregonstate.edu
Oleg SokolskyUniversity of PennsylvaniaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cis.upenn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cis.upenn.edu
Eunsuk KangAssistant Professor of Computer Science, Carnegie Mellon UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cmu.edu
Salar MoarrefPostdoctoral Associate at Cornell UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cornell.edu
Marco BeccaniUniversity of Pisa, Vanderbilt University, University of PhiladelphiaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα apple.com
Pieter J. MostermanMathWorksΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mathworks.com
Madhur BehlAssistant Professor, University of VirginiaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα virginia.edu

Παρακολούθηση

Zhihao Jiang

ShanghaiTech University

Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα shanghaitech.edu.cn - Αρχική σελίδα

Human-Cyber-Physical Systems (HCPS)Formal Methods


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
Cyber–Physical Modeling of Implantable Cardiac Medical Devices Z Jiang, M Pajic, R Mangharam Proceedings of the IEEE, 1-16, 2012	186	2012
Modeling and Verification of a Dual Chamber Implantable Pacemaker Z Jiang, M Pajic, S Moarref, R Alur, R Mangharam	167	2012
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam	89	2012
Closed-loop verification of medical devices with model abstraction and refinement Z Jiang, M Pajic, R Alur, R Mangharam International Journal on Software Tools for Technology Transfer 16 (2), 191-213, 2014	75	2014
Real-time heart model for implantable cardiac device validation and verification Z Jiang, M Pajic, A Connolly, S Dixit, R Mangharam Real-Time Systems (ECRTS), 2010 22nd Euromicro Conference on, 239-248, 2010	75	2010
Model-based Closed-loop Testing of Implantable Pacemakers Z Jiang, M Pajic, R Mangharam Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on …, 2011	55	2011
Digital behavioral twins for safe connected cars X Chen, E Kang, S Shiraishi, VM Preciado, Z Jiang Proceedings of the 21th ACM/IEEE international conference on model driven …, 2018	45	2018
Safety-critical medical device development using the UPP2SF model translation tool M Pajic, Z Jiang, I Lee, O Sokolsky, R Mangharam ACM Transactions on Embedded Computing Systems (TECS) 13 (4s), 1-26, 2014	40	2014
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model Z Jiang, R Mangharam Engineering in Medicine and Biology Society, EMBC, 2011 Annual International …, 2011	26	2011
Using the Virtual Heart Model to Validate the Mode-Switch Pacemaker Operation Z Jiang, A Connolly, R Mangharam	24	2010
Three challenges in cyber-physical systems R Mangharam, H Abbas, M Behl, K Jang, M Pajic, Z Jiang 2016 8th International Conference on Communication Systems and Networks …, 2016	14	2016
In-silico pre-clinical trials for implantable cardioverter defibrillators Z Jiang, H Abbas, KJ Jang, M Beccani, J Liang, S Dixit, R Mangharam 2016 38th Annual International Conference of the IEEE Engineering in …, 2016	12	2016
The challenges of high-confidence medical device software Z Jiang, H Abbas, KJ Jang, R Mangharam Computer 49 (1), 34-42, 2016	11	2016
Towards model checking of implantable cardioverter defibrillators H Abbas, KJ Jiang, Z Jiang, R Mangharam Proceedings of the 19th International Conference on Hybrid Systems …, 2016	10	2016
High-confidence medical device software development Z Jiang, R Mangharam Foundations and Trends® in Electronic Design Automation 9 (4), 309-391, 2015	10	2015
Synthesizing stealthy reprogramming attacks on cardiac devices N Paoletti, Z Jiang, MA Islam, H Abbas, R Mangharam, S Lin, Z Gruber, ... Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019	7	2019
Computer aided clinical trials for implantable cardiac devices H Abbas, Z Jiang, KJ Jang, M Beccani, J Liang, S Dixit, R Mangharam	7	2016
Heart-on-a-Chip: a closed-loop testing platform for implantable pacemakers Z Jiang, S Radhakrishnan, V Sampath, S Sarode, R Mangharam	7	2014
Cybercardia project: modeling, verification and validation of implantable cardiac devices MA Islam, H Lim, N Paoletti, H Abbas, Z Jiang, J Cyranka, R Cleaveland, ... 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2016	6	2016
High-level modeling for computer-aided clinical trials of medical devices H Abbas, Z Jiang, KJ Jang, M Beccani, J Liangy, R Mangharam 2016 IEEE International High Level Design Validation and Test Workshop …, 2016	6	2016

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–20

Παραθέσεις ανά έτος

Διπλότυπες αναφορές

Συγχωνευμένες αναφορές

Προσθήκη από κοινού συγγραφέωνΣυν-συγγραφείς

Παρακολούθηση

Παρατίθεται από

Συν-συγγραφείς