Yixiang Chen
Orcid: 0009-0005-7915-8410
According to our database1,
Yixiang Chen
authored at least 133 papers
between 1996 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Software aging oriented trustworthiness measurement based on weighted Boltzmann entropy.
Inf. Softw. Technol., 2025
2024
Urban functional zone mapping by coupling domain knowledge graphs and high-resolution satellite images.
Trans. GIS, September, 2024
Windshear Detection in Rain Using a 30 km Radius Coherent Doppler Wind Lidar at Mega Airport in Plateau.
Remote. Sens., March, 2024
Lightweight Multilevel Feature-Fusion Network for Built-Up Area Mapping from Gaofen-2 Satellite Images.
Remote. Sens., February, 2024
Cross-Scene Building Identification Based on Dual-Stream Neural Network and Efficient Channel Attention Mechanism.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2024
Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
Proc. ACM Softw. Eng., 2024
A Question and Answering Service of Typhoon Disasters Based on the T5 Large Language Model.
ISPRS Int. J. Geo Inf., 2024
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024
Spatiotemporal prediction of carbon emissions using a hybrid deep learning model considering temporal and spatial correlations.
Environ. Model. Softw., 2024
FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools.
CoRR, 2024
Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts.
Proceedings of the 33rd USENIX Security Symposium, 2024
PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
Proceedings of the 2024 8th International Conference on Medical and Health Informatics, 2024
2023
Efficient tasks scheduling in multicore systems integrated with hardware accelerators.
J. Supercomput., May, 2023
Built-Up Area Extraction Combing Densely Connected Dual-Attention Network and Multiscale Context.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023
Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
2022
Microprocess. Microsystems, April, 2022
Improved Allocation and Reallocation Approaches for Software Trustworthiness Based on Mathematical Programming.
Symmetry, 2022
Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes.
Connect. Sci., 2022
IEEE Access, 2022
IEEE Access, 2022
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
Classification of Urban Functional Zones by Integrating Spatial Features of VHR Satellite Images and Semantic Features of POI Data.
Proceedings of the 29th International Conference on Geoinformatics, 2022
Proceedings of the 7th IEEE International Conference on Data Science in Cyberspace, 2022
A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement.
Proceedings of the Artificial Intelligence Logic and Applications, 2022
Proceedings of the Artificial Intelligence Logic and Applications, 2022
Proceedings of the Artificial Intelligence Logic and Applications, 2022
2021
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.
Sci. Comput. Program., 2021
Sci. Comput. Program., 2021
An Imbalanced-Data Processing Algorithm for the Prediction of Heart Attack in Stroke Patients.
IEEE Access, 2021
An Efficient Scheduling Algorithm for Distributed Heterogeneous Systems with Task Duplication Allowed.
Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021
A Genetic Algorithm for Scheduling in Heterogeneous Multicore System Integrated with FPGA.
Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021
2020
A verification framework for spatio-temporal consistency language with CCSL as a specification language.
Frontiers Comput. Sci., 2020
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
2019
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., 2019
Novel Multi-Scale Filter Profile-Based Framework for VHR Remote Sensing Image Classification.
Remote. Sens., 2019
GNSS-R Soil Moisture Retrieval Based on a XGboost Machine Learning Aided Method: Performance and Validation.
Remote. Sens., 2019
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., 2019
IEEE Access, 2019
IEEE Access, 2019
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019
2018
IEEE ACM Trans. Audio Speech Lang. Process., 2018
Land Cover Change Detection Based on Adaptive Contextual Information Using Bi-Temporal Remote Sensing Images.
Remote. Sens., 2018
Delineation of Built-Up Areas from Very High-Resolution Satellite Imagery Using Multi-Scale Textures and Spatial Dependence.
Remote. Sens., 2018
Detecting Anomalous Trajectories and Behavior Patterns Using Hierarchical Clustering from Taxi GPS Data.
ISPRS Int. J. Geo Inf., 2018
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.
Fuzzy Sets Syst., 2018
Vortex and multipole coupled solitons in the spatially modulated cubic-quintic-septimal nonlinear material.
Comput. Math. Appl., 2018
Proceedings of the Structured Object-Oriented Formal Language and Method, 2018
Proceedings of the 1st IEEE International Conference on Knowledge Innovation and Invention, 2018
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018
2017
A trajectory clustering approach based on decision graph and data field for detecting hotspots.
Int. J. Geogr. Inf. Sci., 2017
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017
Proceedings of the 20th Conference of the Oriental Chapter of the International Coordinating Committee on Speech Databases and Speech I/O Systems and Assessment, 2017
Proceedings of the 18th Annual Conference of the International Speech Communication Association, 2017
Proceedings of the 18th Annual Conference of the International Speech Communication Association, 2017
Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic.
Proceedings of the Geo-Spatial Knowledge and Intelligence - 5th International Conference, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017
Proceedings of the 2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2017
2016
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.
Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016
Proceedings of the 2016 IEEE International Geoscience and Remote Sensing Symposium, 2016
2015
Web服务降级替换的一致性问题及量化研究 (Quantification and Conformance of Web Service Degraded Substitution).
计算机科学, 2015
[α1，α2]1-概率拟Hoare逻辑及其可靠性证明 ([α1, α2]1-Probabilistic Quasi-Hoare Logic and its Reliability).
计算机科学, 2015
Int. J. Comput. Commun. Control, 2015
Frontiers Comput. Sci., 2015
Comput. Electr. Eng., 2015
Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Proceedings of the Requirements Engineering in the Big Data Era, 2015
2014
Structural Feature Modeling of High-Resolution Remote Sensing Images Using Directional Spatial Correlation.
IEEE Geosci. Remote. Sens. Lett., 2014
Int. J. Approx. Reason., 2014
Fundam. Informaticae, 2014
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014
2013
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the Seventh International Conference on Software Security and Reliability, 2013
Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013
Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, 2013
2012
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012
Proceedings of the Quantitative Logic and Soft Computing, 2012
Proceedings of the Quantitative Logic and Soft Computing, 2012
Proceedings of the Quantitative Logic and Soft Computing, 2012
Low Power Consumption Data Structure Design for Embedded Applications in Real-Time Systems.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012
2011
Frontiers Comput. Sci. China, 2011
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
The Semantics of <i>wlp</i> and <i>slp</i> of Fuzzy Imperative Programming Languages.
Proceedings of the Nonlinear Mathematics for Uncertainty and its Applications, 2011
Implementation and Optimization of RDF Query using Hadoop.
Proceedings of the CLOSER 2011, 2011
2010
Int. J. Inf. Process. Manag., 2010
Proceedings of the Symposia and Workshops on Ubiquitous, 2010
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010
2009
Proceedings of the Fifth International Symposium on Domain Theory, 2009
Proceedings of the TASE 2009, 2009
Proceedings of the Rough Sets and Knowledge Technology, 4th International Conference, 2009
Infinite Evolution Mechanism of Probabilistic Processes.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
2008
Proceedings of the First International Conference on Foundations of Informatics, 2008
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008
2006
Maximality and totality of stable functions in the category of stable bifinite domains.
Comput. Math. Appl., 2006
2003
Implementation of human-like driving skills by autonomous fuzzy behavior control on an FPGA-based car-like mobile robot.
IEEE Trans. Ind. Electron., 2003
Implementation of autonomous fuzzy garage-parking control by an FPGA-based car-like mobile robot using infrared sensors.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003
2001
1997
1996