Yixiang Chen

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 81

Top Venues

Publications

Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? CoRR (2024)
Yongqi Xia, Yi Huang, Qianqian Qiu, Xueying Zhang, Lizhi Miao, Yixiang Chen
A Question and Answering Service of Typhoon Disasters Based on the T5 Large Language Model. ISPRS Int. J. Geo Inf. 13 (5) (2024)
Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software. CoRR (2024)
Yixiang Chen, Feifei Peng, Shuai Yao, Yuxin Xie
Lightweight Multilevel Feature-Fusion Network for Built-Up Area Mapping from Gaofen-2 Satellite Images. Remote. Sens. 16 (4) (2024)
Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? Proc. ACM Softw. Eng. 1 (FSE) (2024)
Yixiang Chen, Yuxin Xie, Xu Dang, Bo Huang, Chao Wu, Donglai Jiao
Spatiotemporal prediction of carbon emissions using a hybrid deep learning model considering temporal and spatial correlations. Environ. Model. Softw. 172 (2024)
Han Liu, Daoyuan Wu, Yuqiang Sun, Haijun Wang, Kaixuan Li, Yang Liu, Yixiang Chen
Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts. USENIX Security Symposium (2024)
Haiyun Xia, Yixiang Chen, Jinlong Yuan, Lian Su, Zhu Yuan, Shengjun Huang, Dexian Zhao
Windshear Detection in Rain Using a 30 km Radius Coherent Doppler Wind Lidar at Mega Airport in Plateau. Remote. Sens. 16 (5) (2024)
Lin Chen, Xueyuan Yin, Dandan Zhao, Hongwei Lu, Lu Li, Yixiang Chen
Research on Building an ARM-Based Container Cloud Platform. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107 (4) (2024)
Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu
FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools. CoRR (2024)
Jinyi Xu, Zuowei Zhang, Ze Lin, Yixiang Chen, Zhe Liu, Weiping Ding
How to characterize imprecision in multi-view clustering? CoRR (2024)
Wenmei Li, Jiadong Zhang, Hao Xia, Qing Liu, Yu Wang, Yan Jia, Yixiang Chen
Cross-Scene Building Identification Based on Dual-Stream Neural Network and Efficient Channel Attention Mechanism. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 17 (2024)
Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen
A Comprehensive Study on Quality Assurance Tools for Java. ISSTA (2023)
Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, Yixiang Chen
Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. ESEC/SIGSOFT FSE (2023)
Kangli He, Hengyang Wu, Yixiang Chen
On divergence-sensitive weak probabilistic bisimilarity. Inf. Comput. 292 (2023)
Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen
A Comprehensive Study on Quality Assurance Tools for Java. CoRR (2023)
Jinyi Xu, Hao Shi, Yixiang Chen
Efficient tasks scheduling in multicore systems integrated with hardware accelerators. J. Supercomput. 79 (7) (2023)
Yixiang Chen, Shuai Yao, Zhongwen Hu, Bo Huang, LiZhi Miao, Jiaming Zhang
Built-Up Area Extraction Combing Densely Connected Dual-Attention Network and Multiscale Context. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 16 (2023)
Tianxiang Zheng, Xianmin Wang, Yixiang Chen, Fujia Yu, Jing Li
Feature evolvable learning with image streams. Intell. Data Anal. 27 (4) (2023)
Hongwei Tao, Yixiang Chen, Hengyang Wu
Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes. Connect. Sci. 34 (1) (2022)
Hongwei Tao, Lianyou Fu, Yixiang Chen, Lin Han, Xiao Wang
Improved Allocation and Reallocation Approaches for Software Trustworthiness Based on Mathematical Programming. Symmetry 14 (3) (2022)
Qilong Nie, Yixiang Chen, Hongwei Tao
A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set. AILA (2022)
Yixiang Chen, Linhao Ye, Yufeng Ye, Peng Zhang, Qinfeng Tan
Anomaly Detection from Log Data Sequences with Perturbations. DSC (2022)
Li Zhong, Yixiang Chen
A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles. IEEE Access 10 (2022)
Zelong Yue, Xinghua Yao, Yixiang Chen
A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement. AILA (2022)
Yixiang Chen, Wenjia Shi, Xu Dang, Chao Wu, Sheng Li
Classification of Urban Functional Zones by Integrating Spatial Features of VHR Satellite Images and Semantic Features of POI Data. Geoinformatics (2022)
Weilin Wu, Na Wang, Yixiang Chen
A Novel Intelligent-Building-Fire-Risk Classification Method. ICECCS (2022)
Weilin Wu, Yixiang Chen
A Trustworthy Classification Model for Intelligent Building Fire Risk. IEEE Access 10 (2022)
Jinyi Xu, Kaixuan Li, Yixiang Chen
Real-time task scheduling for FPGA-based multicore systems with communication delay. Microprocess. Microsystems 90 (2022)
Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen
Quantitative BAN Logic Based on Belief Degree. AILA (2022)
Qingyuan Jiang, Jinyi Xu, Yixiang Chen
A Genetic Algorithm for Scheduling in Heterogeneous Multicore System Integrated with FPGA. ISPA/BDCloud/SocialCom/SustainCom (2021)
Yuzhi Liang, Yixiang Chen
DVFL: A Vertical Federated Learning Method for Dynamic Data. CoRR (2021)
Hao Shi, Yixiang Chen, Jinyi Xu
An Efficient Scheduling Algorithm for Distributed Heterogeneous Systems with Task Duplication Allowed. ISPA/BDCloud/SocialCom/SustainCom (2021)
Meng Wang, Xinghua Yao, Yixiang Chen
An Imbalanced-Data Processing Algorithm for the Prediction of Heart Attack in Stroke Patients. IEEE Access 9 (2021)
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. Sci. Comput. Program. 203 (2021)
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. 202 (2021)
Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen
Connection models for the Internet-of-Things. Frontiers Comput. Sci. 14 (3) (2020)
Hongwei Tao, Yixiang Chen, Hengyang Wu
Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. QRS Companion (2020)
Fei Yin, Jinyi Xu, Yixiang Chen
Research of Micro-expression Recognition Model based on Feature Unit. QRS Companion (2020)
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
A verification framework for spatio-temporal consistency language with CCSL as a specification language. Frontiers Comput. Sci. 14 (1) (2020)
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen
A Logical Approach for the Schedulability Analysis of CCSL. TASE (2019)
Yuan Yuan, Lei Lin, Jingbo Chen, Hichem Sahli, Yixiang Chen, Chengyi Wang, Bin Wu
A New Framework for Modelling and Monitoring the Conversion of Cultivated Land to Built-up Land Based on a Hierarchical Hidden Semi-Markov Model Using Satellite Image Time Series. Remote. Sens. 11 (2) (2019)
Yixiang Chen, Zhiyong Lv, Bo Huang, Pengdong Zhang, Yu Zhang
Automatic Extraction of Built-Up Areas from Very High-Resolution Satellite Imagery Using Patch-Level Spatial Features and Gestalt Laws of Perceptual Grouping. Remote. Sens. 11 (24) (2019)
Yuanrui Zhang, Yixiang Chen, Hengyang Wu
A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour. IEEE Access 7 (2019)
Yan Jia, Shuanggen Jin, Patrizia Savi, Yun Gao, Jing Tang, Yixiang Chen, Wenmei Li
GNSS-R Soil Moisture Retrieval Based on a XGboost Machine Learning Aided Method: Performance and Validation. Remote. Sens. 11 (14) (2019)
Zhiyong Lv, Guangfei Li, Yixiang Chen, Jón Atli Benediktsson
Novel Multi-Scale Filter Profile-Based Framework for VHR Remote Sensing Image Classification. Remote. Sens. 11 (18) (2019)
Peifen Wang, Yixiang Chen, Hengyang Wu
A Hybrid Clock Logic System for CPS. ISKE (2019)
Baohua Wang, Yixiang Chen, Shun Zhang, Hengyang Wu
Updating Model of Software Component Trustworthiness Based on Users Feedback. IEEE Access 7 (2019)
Lantian Li, Dong Wang, Yixiang Chen, Ying Shi, Zhiyuan Tang, Thomas Fang Zheng
Deep Factorization for Speech Signal. ICASSP (2018)
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. FTSCS (2018)
Yixiang Chen, Zhiyong Lv, Bo Huang, Yan Jia
Delineation of Built-Up Areas from Very High-Resolution Satellite Imagery Using Multi-Scale Textures and Spatial Dependence. Remote. Sens. 10 (10) (2018)
Yan Jia, Yixiang Chen, Houjun Jiang, Yang Le, Heping Lin
A carbon nanotube patch antenna for polarization selective radiation performance. ICKII (2018)
Yufei Yin, Shaoying Liu, Yixiang Chen
Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. SOFL+MSVL (2018)
Lantian Li, Dong Wang, Yixiang Chen, Ying Shi, Zhiyuan Tang, Thomas Fang Zheng
Deep factorization for speech signal. CoRR (2018)
Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets Syst. 333 (2018)
Zhiyong Lv, Tongfei Liu, Penglin Zhang, Jón Atli Benediktsson, Yixiang Chen
Land Cover Change Detection Based on Adaptive Contextual Information Using Bi-Temporal Remote Sensing Images. Remote. Sens. 10 (6) (2018)
Yulong Wang, Kun Qin, Yixiang Chen, Pengxiang Zhao
Detecting Anomalous Trajectories and Behavior Patterns Using Hierarchical Clustering from Taxi GPS Data. ISPRS Int. J. Geo Inf. 7 (1) (2018)
Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen
Bisimulations for fuzzy transition systems revisited. Int. J. Approx. Reason. 99 (2018)
Zhiyuan Tang, Dong Wang, Yixiang Chen, Lantian Li, Andrew Abel
Phonetic Temporal Neural Model for Language Identification. IEEE ACM Trans. Audio Speech Lang. Process. 26 (1) (2018)
Zhiyuan Tang, Dong Wang, Yixiang Chen, Qing Chen
AP17-OLR challenge: Data, plan, and baseline. APSIPA (2017)
Zhiyuan Tang, Dong Wang, Yixiang Chen, Qing Chen
AP17-OLR Challenge: Data, Plan, and Baseline. CoRR (2017)
Kangli He, Holger Hermanns, Yixiang Chen
Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) (2017)
Miao Zhang, Yixiang Chen, Lantian Li, Dong Wang
Speaker Recognition with Cough, Laugh and "Wei". CoRR (2017)
Lantian Li, Yixiang Chen, Dong Wang, Thomas Fang Zheng
A Study on Replay Attack and Anti-Spoofing for Automatic Speaker Verification. CoRR (2017)
Zhiyuan Tang, Dong Wang, Yixiang Chen, Lantian Li, Andrew Abel
Phonetic Temporal Neural Model for Language Identification. CoRR (2017)
Dong Wang, Lantian Li, Ying Shi, Yixiang Chen, Zhiyuan Tang
Deep Factorization for Speech Signal. CoRR (2017)
Lantian Li, Yixiang Chen, Ying Shi, Zhiyuan Tang, Dong Wang
Deep Speaker Feature Learning for Text-independent Speaker Verification. CoRR (2017)
Miao Zhang, Yixiang Chen, Lantian Li, Dong Wang
Speaker recognition with cough, laugh and "Wei". APSIPA (2017)
Zhiyuan Tang, Dong Wang, Yixiang Chen, Ying Shi, Lantian Li
Phone-aware neural language identification. O-COCOSDA (2017)
Tian-Ming Bu, Hengyang Wu, Yixiang Chen
Computing behavioural distance for fuzzy transition systems. TASE (2017)
Shingo Fukuoka, Yixiang Chen, Shaoying Liu
Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. GSKI (1) (2017)
Pengxiang Zhao, Kun Qin, Xinyue Ye, Yulong Wang, Yixiang Chen
A trajectory clustering approach based on decision graph and data field for detecting hotspots. Int. J. Geogr. Inf. Sci. 31 (6) (2017)
Lantian Li, Yixiang Chen, Dong Wang, Thomas Fang Zheng
A Study on Replay Attack and Anti-Spoofing for Automatic Speaker Verification. INTERSPEECH (2017)
Zhiyuan Tang, Dong Wang, Yixiang Chen, Ying Shi, Lantian Li
Phone-aware Neural Language Identification. CoRR (2017)
Lantian Li, Yixiang Chen, Ying Shi, Zhiyuan Tang, Dong Wang
Deep Speaker Feature Learning for Text-Independent Speaker Verification. INTERSPEECH (2017)
Yuanrui Zhang, Yujing Ma, Yixiang Chen
A UTP Refinement Model of the STeC Language. QRS Companion (2016)
Jinyang Li, Yuanrui Zhang, Yixiang Chen
A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles. QRS Companion (2016)
Xinxing Wu, Guosheng Hu, Yixiang Chen
概率拟Hoare逻辑 (Probabilistic Quasi-Hoare Logic). 计算机科学 43 (4) (2016)
Lantian Li, Yixiang Chen, Dong Wang, Chenghui Zhao
Weakly Supervised PLDA Training. CoRR (2016)
Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang
PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. MMB/DFT (2016)
Yixiang Chen, Kun Qin, Houjun Jiang, Tao Wu, Ye Zhang
Built-up area extraction using data field from high-resolution satellite images. IGARSS (2016)
Yanwen Chen, Yixiang Chen, Eric Madelaine
Timed-pNets: a communication behavioural semantic model for distributed systems. Frontiers Comput. Sci. 9 (1) (2015)
Kangli He, Min Zhang, Jia He, Yixiang Chen
Probabilistic Model Checking of Pipe protocol. TASE (2015)
Xinxing Wu, Guosheng Hu, Yixiang Chen
Web服务降级替换的一致性问题及量化研究 (Quantification and Conformance of Web Service Degraded Substitution). 计算机科学 42 (2) (2015)
Huiyong Li, Yuanrui Zhang, Yixiang Chen
PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles. QRS Companion (2015)
Na Wang, Yixiang Chen
A Comprehensive Trust Model Based on Multi-factors for WSNs. Int. J. Comput. Commun. Control 10 (2) (2015)
Yuanrui Zhang, Yixiang Chen, Yujing Ma
A Framework for Data-Driven Automata Design. APRES (2015)
Yujing Ma, Yixiang Chen, Bin Gu
An Attributes-Based Allocation Approach of Software Trustworthy Degrees. QRS Companion (2015)
Tao Wu, Jin Xiao, Kun Qin, Yixiang Chen
Cloud model-based method for range-constrained thresholding. Comput. Electr. Eng. 42 (2015)
Zhihua Yang, Bo Xiao, Yixiang Chen
Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC. TASE (2015)
Xinxing Wu, Guosheng Hu, Yixiang Chen
[α1，α2]1-概率拟Hoare逻辑及其可靠性证明 ([α1, α2]1-Probabilistic Quasi-Hoare Logic and its Reliability). 计算机科学 42 (Z11) (2015)
Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen
Quantitative Analysis of Lattice-valued Kripke Structures. Fundam. Informaticae 135 (3) (2014)
Xinghua Yao, Yixiang Chen
A Proof System in Process Algebra for Demand and Supply. SERE (Companion) (2014)
Yixiang Chen, Kun Qin, Shunzi Gan, Tao Wu
Structural Feature Modeling of High-Resolution Remote Sensing Images Using Directional Spatial Correlation. IEEE Geosci. Remote. Sens. Lett. 11 (10) (2014)
Yixiang Chen, Yuanrui Zhang
A Hybrid Clock System Related to STeC Language. SERE (Companion) (2014)
Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen
Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reason. 55 (3) (2014)
Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. TASE (2014)
Lewen Zhang, Yong Zhou, Yixiang Chen, Min Zhang, Juyang Zhang
Stability of Software Trustworthiness Measurements Models. SERE (Companion) (2013)
Xinghua Yao, Min Zhang, Yixiang Chen
A Proof System in PADS. ICTAC (2013)
Jie Zhou, Tian-Ming Bu, Hong Zhu, Yixiang Chen
Vehicle Scheduling Problem on Trees. BIC-TA (2013)

Yixiang Chen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yixiang Chen