{"@attributes":{"name":"Jiyu Yang","pid":"337\/0615","n":"9"},"person":{"@attributes":{"key":"homepages\/337\/0615","mdate":"2023-01-09"},"author":"Jiyu Yang"},"r":[{"article":{"@attributes":{"key":"journals\/ml\/YuFZY25","mdate":"2026-04-21"},"author":["Changle Yu","Ping Fan","Yi Zhang","Jiyu Yang"],"title":"RIADNet: single image deraining network for raindrops and rain streaks removal.","pages":"218","year":"2025","month":"October","volume":"114","journal":"Mach. Learn.","number":"10","ee":"https:\/\/doi.org\/10.1007\/s10994-025-06854-6","url":"db\/journals\/ml\/ml114.html#YuFZY25","stream":"streams\/journals\/ml"}},{"article":{"@attributes":{"key":"journals\/sivp\/LiFDXY25","mdate":"2026-02-03"},"author":["Yunxiao Li","Yueming Fang","Hu Deng","Yuting Xu","Jiyu Yang"],"title":"High-Fidelity Object Detection and 6D Pose Estimation for Vision-Guided 6-DoF Grasping of Chemical Vials.","pages":"1447","year":"2025","month":"December","volume":"19","journal":"Signal Image Video Process.","number":"18","ee":"https:\/\/doi.org\/10.1007\/s11760-025-05035-1","url":"db\/journals\/sivp\/sivp19.html#LiFDXY25","stream":"streams\/journals\/sivp"}},{"article":{"@attributes":{"key":"journals\/tsc\/YangHZCTY25","mdate":"2026-03-23"},"author":["Jiyu Yang","Qiang He 0001","Guobiao Zhang","Feifei Chen 0001","Cong Tian 0001","Yun Yang 0001"],"title":"DynaEDI+: Reliable and Decentralized Integrity Verification for Dynamic Edge Data.","pages":"3710-3722","year":"2025","month":"November - December","volume":"18","journal":"IEEE Trans. Serv. Comput.","number":"6","ee":"https:\/\/doi.org\/10.1109\/TSC.2025.3612209","url":"db\/journals\/tsc\/tsc18.html#YangHZCTY25","stream":"streams\/journals\/tsc"}},{"inproceedings":{"@attributes":{"key":"conf\/www\/YangHZDCTY25","mdate":"2026-03-23"},"author":["Jiyu Yang","Qiang He 0001","Zheyu Zhou","Xiaohai Dai","Feifei Chen 0001","Cong Tian 0001","Yun Yang 0001"],"title":"EdgeThemis: Ensuring Model Integrity for Edge Intelligence.","pages":"3136-3146","year":"2025","booktitle":"WWW","ee":"https:\/\/doi.org\/10.1145\/3696410.3714662","crossref":"conf\/www\/2025","url":"db\/conf\/www\/www2025.html#YangHZDCTY25"}},{"inproceedings":{"@attributes":{"key":"conf\/icsoc\/HeYCTLY24","mdate":"2026-08-03"},"author":["Qiang He 0001","Jiyu Yang","Feifei Chen 0001","Cong Tian 0001","Yanhui Li","Yun Yang 0001"],"title":"DynaEDI: Decentralized Integrity Verification for Dynamic Edge Data.","pages":"263-280","year":"2024","booktitle":"ICSOC (1)","ee":"https:\/\/doi.org\/10.1007\/978-981-96-0805-8_19","crossref":"conf\/icsoc\/2024-1","url":"db\/conf\/icsoc\/icsoc2024-1.html#HeYCTLY24","stream":"streams\/conf\/icsoc"}},{"inproceedings":{"@attributes":{"key":"conf\/sigsoft\/YuTXYS0YZLD23","mdate":"2026-03-23"},"author":["Bin Yu 0008","Cong Tian 0001","Hengrui Xing","Zuchao Yang","Jie Su 0002","Xu Lu 0003","Jiyu Yang","Liang Zhao 0021","Xiaofeng Li","Zhenhua Duan"],"title":"Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.","pages":"1153-1164","year":"2023","booktitle":"ESEC\/SIGSOFT FSE","ee":"https:\/\/doi.org\/10.1145\/3611643.3616276","crossref":"conf\/sigsoft\/2023","url":"db\/conf\/sigsoft\/fse2023.html#YuTXYS0YZLD23"}},{"inproceedings":{"@attributes":{"key":"conf\/tacas\/SuYXYTD23","mdate":"2026-03-23"},"author":["Jie Su 0002","Zuchao Yang","Hengrui Xing","Jiyu Yang","Cong Tian 0001","Zhenhua Duan"],"title":"PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution).","pages":"571-576","year":"2023","booktitle":"TACAS (2)","ee":"https:\/\/doi.org\/10.1007\/978-3-031-30820-8_38","crossref":"conf\/tacas\/2023-2","url":"db\/conf\/tacas\/tacas2023-2.html#SuYXYTD23"}},{"inproceedings":{"@attributes":{"key":"conf\/kbse\/SuTYYYD22","mdate":"2026-03-23"},"author":["Jie Su 0002","Cong Tian 0001","Zuchao Yang","Jiyu Yang","Bin Yu 0008","Zhenhua Duan"],"title":"Prioritized Constraint-Aided Dynamic Partial-Order Reduction.","pages":"78:1-78:13","year":"2022","booktitle":"ASE","ee":["https:\/\/doi.org\/10.1145\/3551349.3561159","https:\/\/www.wikidata.org\/entity\/Q131135122"],"crossref":"conf\/kbse\/2022","url":"db\/conf\/kbse\/ase2022.html#SuTYYYD22"}},{"data":{"@attributes":{"key":"data\/11\/SuYXYTD22","mdate":"2026-03-23"},"author":["Jie Su 0002","Zuchao Yang","Hengrui Xing","Jiyu Yang","Cong Tian 0001","Zhenhua Duan"],"title":"PIChecker for SV-COMP 2023.","year":"2022","month":"December","ee":"https:\/\/doi.org\/10.5281\/zenodo.7471378","publisher":"Zenodo","stream":"streams\/repo\/zenodo","rel":{"@attributes":{"sort":"1","label":"Version v1.0","uri":"https:\/\/doi.org\/10.5281\/zenodo.7471377","type":"versionOf"}}}}],"coauthors":{"@attributes":{"n":"23","nc":"3"},"co":[{"@attributes":{"c":"0"},"na":"Feifei Chen 0001"},{"@attributes":{"c":"0"},"na":"Xiaohai Dai"},{"@attributes":{"c":"1"},"na":"Hu Deng"},{"@attributes":{"c":"0"},"na":"Zhenhua Duan"},{"@attributes":{"c":"2"},"na":"Ping Fan"},{"@attributes":{"c":"1"},"na":"Yueming Fang"},{"@attributes":{"c":"0"},"na":"Qiang He 0001"},{"@attributes":{"c":"0"},"na":"Xiaofeng Li"},{"@attributes":{"c":"0"},"na":"Yanhui Li"},{"@attributes":{"c":"1"},"na":"Yunxiao Li"},{"@attributes":{"c":"0"},"na":"Xu Lu 0003"},{"@attributes":{"c":"0"},"na":"Jie Su 0002"},{"@attributes":{"c":"0"},"na":"Cong Tian 0001"},{"@attributes":{"c":"0"},"na":"Hengrui Xing"},{"@attributes":{"c":"1"},"na":"Yuting Xu"},{"@attributes":{"c":"0"},"na":"Yun Yang 0001"},{"@attributes":{"c":"0"},"na":"Zuchao Yang"},{"@attributes":{"c":"0"},"na":"Bin Yu 0008"},{"@attributes":{"c":"2"},"na":"Changle Yu"},{"@attributes":{"c":"0"},"na":"Guobiao Zhang"},{"@attributes":{"c":"2"},"na":"Yi Zhang"},{"@attributes":{"c":"0"},"na":"Liang Zhao 0021"},{"@attributes":{"c":"0"},"na":"Zheyu Zhou"}]}}