Author of the publication

IAfinder: identifying potential implicit assumptions to facilitate validation in medical cyber-physical system.

, , , , , and . DAC, page 143:1-143:6. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A High-Precision Registration Method Based on Auxiliary Sphere Targets., , , and . DICTA, page 1-5. IEEE, (2014)Detecting multiple changes from multi-temporal images by using stacked denosing autoencoder based change vector analysis., , , , and . IJCNN, page 1269-1276. IEEE, (2016)A CMOS transceiver RFIC for China geo-radio standard., , and . ASICON, page 108-111. IEEE, (2017)A 70-nA 13-ppm/°C All-MOSFET Voltage Reference for Low-Power IoT Systems., , , , , , and . ISCAS, page 1-4. IEEE, (2018)A Multiband Rectenna for Self-sustainable Devices., , , , , , and . ISOCC, page 178-179. IEEE, (2018)Construction of Transition Curve between Nonadjacent Cubic T-B Spline Curves., , and . ICICA (LNCS), volume 6377 of Lecture Notes in Computer Science, page 454-461. Springer, (2010)Improved Numerical Methodologies on Power System Dynamic Simulation Using GPU Implementation., , , , and . ISGT, page 1-5. IEEE, (2019)Framework of MEMS high accelerated stress test., , , , , and . NEMS, page 280-283. IEEE, (2010)TonyChopper: a desynchronization package., , and . ICCAD, page 446-453. IEEE, (2014)Design of the Linebot for power transmission lines inspection., , , , , , and . ROBIO, page 2593-2598. IEEE, (2013)