Yixiang Chen - RankMe

103 papers A* 1A 2B 1C 2Misc 10Journal 42Unranked 42

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	How to Characterize Imprecision in Multi-View Clustering? IEEE Trans. Emerg. Top. Comput. Intell. Jinyi Xu, Zuowei Zhang, Ze Lin, Yixiang Chen, Zhe Liu, Weiping Ding
2025	J	`jnl`	Software aging oriented trustworthiness measurement based on weighted Boltzmann entropy. Inf. Softw. Technol. Hongwei Tao, Han Liu, Xiaoxu Niu, Licheng Ding, Yixiang Chen, Qiaoling Cao
2024	J	`jnl`	FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools. CoRR Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu
2024	J	`jnl`	How to characterize imprecision in multi-view clustering? CoRR Jinyi Xu, Zuowei Zhang, Ze Lin, Yixiang Chen, Zhe Liu, Weiping Ding
2024	J	`jnl`	Multi-View Dynamic Kernelized Evidential Clustering. IEEE CAA J. Autom. Sinica Jinyi Xu, Zuowei Zhang, Ze Lin, Yixiang Chen, Weiping Ding
2024	A	`conf`	PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software. ISSTA Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen
2024	J	`jnl`	PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software. CoRR Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen
2024	J	`jnl`	Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? CoRR Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen
2024	J	`jnl`	Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? Proc. ACM Softw. Eng. Kaixuan Li, Yue Xue, Sen Chen, Han Liu, Kairan Sun, Ming Hu, Haijun Wang, Yang Liu, Yixiang Chen
2024	A*	`conf`	Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts. USENIX Security Symposium Han Liu, Daoyuan Wu, Yuqiang Sun, Haijun Wang, Kaixuan Li, Yang Liu, Yixiang Chen
2023	A	`conf`	A Comprehensive Study on Quality Assurance Tools for Java. ISSTA Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen
2023	J	`jnl`	A Comprehensive Study on Quality Assurance Tools for Java. CoRR Han Liu, Sen Chen, Ruitao Feng, Chengwei Liu, Kaixuan Li, Zhengzi Xu, Liming Nie, Yang Liu, Yixiang Chen
2023	—	`conf`	Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java. ESEC/SIGSOFT FSE Kaixuan Li, Sen Chen, Lingling Fan, Ruitao Feng, Han Liu, Chengwei Liu, Yang Liu, Yixiang Chen
2023	J	`jnl`	Efficient tasks scheduling in multicore systems integrated with hardware accelerators. J. Supercomput. Jinyi Xu, Hao Shi, Yixiang Chen
2023	J	`jnl`	On divergence-sensitive weak probabilistic bisimilarity. Inf. Comput. Kangli He, Hengyang Wu, Yixiang Chen
2022	—	`conf`	A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement. AILA Zelong Yue, Xinghua Yao, Yixiang Chen
2022	B	`conf`	A Novel Intelligent-Building-Fire-Risk Classification Method. ICECCS Weilin Wu, Na Wang, Yixiang Chen
2022	J	`jnl`	A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles. IEEE Access Li Zhong, Yixiang Chen
2022	—	`conf`	A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set. AILA Qilong Nie, Yixiang Chen, Hongwei Tao
2022	J	`jnl`	A Trustworthy Classification Model for Intelligent Building Fire Risk. IEEE Access Weilin Wu, Yixiang Chen
2022	—	`ed.`	Artificial Intelligence Logic and Applications - The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings AILA Yixiang Chen, Songmao Zhang
2022	J	`jnl`	Improved Allocation and Reallocation Approaches for Software Trustworthiness Based on Mathematical Programming. Symmetry Hongwei Tao, Lianyou Fu, Yixiang Chen, Lin Han, Xiao Wang
2022	—	`conf`	Quantitative BAN Logic Based on Belief Degree. AILA Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen
2022	J	`jnl`	Real-time task scheduling for FPGA-based multicore systems with communication delay. Microprocess. Microsystems Jinyi Xu, Kaixuan Li, Yixiang Chen
2022	J	`jnl`	Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes. Connect. Sci. Hongwei Tao, Yixiang Chen, Hengyang Wu
2021	—	`conf`	A Genetic Algorithm for Scheduling in Heterogeneous Multicore System Integrated with FPGA. ISPA/BDCloud/SocialCom/SustainCom Qingyuan Jiang, Jinyi Xu, Yixiang Chen
2021	J	`jnl`	A clock-based dynamic logic for schedulability analysis of CCSL specifications. Sci. Comput. Program. Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
2021	J	`jnl`	A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. Sci. Comput. Program. Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
2021	—	`conf`	An Efficient Scheduling Algorithm for Distributed Heterogeneous Systems with Task Duplication Allowed. ISPA/BDCloud/SocialCom/SustainCom Hao Shi, Yixiang Chen, Jinyi Xu
2021	J	`jnl`	An Imbalanced-Data Processing Algorithm for the Prediction of Heart Attack in Stroke Patients. IEEE Access Meng Wang, Xinghua Yao, Yixiang Chen
2020	J	`jnl`	A verification framework for spatio-temporal consistency language with CCSL as a specification language. Frontiers Comput. Sci. Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
2020	J	`jnl`	Connection models for the Internet-of-Things. Frontiers Comput. Sci. Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen
2020	—	`conf`	Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. QRS Companion Hongwei Tao, Yixiang Chen, Hengyang Wu
2020	—	`conf`	Research of Micro-expression Recognition Model based on Feature Unit. QRS Companion Fei Yin, Jinyi Xu, Yixiang Chen
2019	Misc	`conf`	A Hybrid Clock Logic System for CPS. ISKE Peifen Wang, Yixiang Chen, Hengyang Wu
2019	Misc	`conf`	A Logical Approach for the Schedulability Analysis of CCSL. TASE Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen
2019	J	`jnl`	A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour. IEEE Access Yuanrui Zhang, Yixiang Chen, Hengyang Wu
2019	J	`jnl`	Updating Model of Software Component Trustworthiness Based on Users Feedback. IEEE Access Baohua Wang, Yixiang Chen, Shun Zhang, Hengyang Wu
2018	J	`jnl`	Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Fuzzy Sets Syst. Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng
2018	J	`jnl`	Bisimulations for fuzzy transition systems revisited. Int. J. Approx. Reason. Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen
2018	—	`conf`	Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. FTSCS Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
2018	—	`conf`	Verification of SysML Activity Diagrams Using Hoare Logic and SOFL. SOFL+MSVL Yufei Yin, Shaoying Liu, Yixiang Chen
2017	Misc	`conf`	Computing behavioural distance for fuzzy transition systems. TASE Tian-Ming Bu, Hengyang Wu, Yixiang Chen
2017	—	`conf`	Models of Connected Things: On Priced Probabilistic Timed Reo. COMPSAC (1) Kangli He, Holger Hermanns, Yixiang Chen
2017	—	`conf`	Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. GSKI (1) Shingo Fukuoka, Yixiang Chen, Shaoying Liu
2016	—	`conf`	A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles. QRS Companion Jinyang Li, Yuanrui Zhang, Yixiang Chen
2016	—	`conf`	A UTP Refinement Model of the STeC Language. QRS Companion Yuanrui Zhang, Yujing Ma, Yixiang Chen
2016	—	`conf`	PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems. MMB/DFT Kangli He, Yixiang Chen, Min Zhang, Yuanrui Zhang
2016	J	`jnl`	概率拟Hoare逻辑 (Probabilistic Quasi-Hoare Logic). 计算机科学 Xinxing Wu, Guosheng Hu, Yixiang Chen
2015	J	`jnl`	A Comprehensive Trust Model Based on Multi-factors for WSNs. Int. J. Comput. Commun. Control Na Wang, Yixiang Chen
2015	—	`conf`	A Framework for Data-Driven Automata Design. APRES Yuanrui Zhang, Yixiang Chen, Yujing Ma
2015	—	`conf`	An Attributes-Based Allocation Approach of Software Trustworthy Degrees. QRS Companion Yujing Ma, Yixiang Chen, Bin Gu
2015	Misc	`conf`	Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC. TASE Zhihua Yang, Bo Xiao, Yixiang Chen
2015	—	`conf`	PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles. QRS Companion Huiyong Li, Yuanrui Zhang, Yixiang Chen
2015	Misc	`conf`	Probabilistic Model Checking of Pipe protocol. TASE Kangli He, Min Zhang, Jia He, Yixiang Chen
2015	J	`jnl`	Timed-pNets: a communication behavioural semantic model for distributed systems. Frontiers Comput. Sci. Yanwen Chen, Yixiang Chen, Eric Madelaine
2015	J	`jnl`	Web服务降级替换的一致性问题及量化研究 (Quantification and Conformance of Web Service Degraded Substitution). 计算机科学 Xinxing Wu, Guosheng Hu, Yixiang Chen
2015	J	`jnl`	[α1，α2]1-概率拟Hoare逻辑及其可靠性证明 ([α1, α2]1-Probabilistic Quasi-Hoare Logic and its Reliability). 计算机科学 Xinxing Wu, Guosheng Hu, Yixiang Chen
2014	—	`conf`	A Hybrid Clock System Related to STeC Language. SERE (Companion) Yixiang Chen, Yuanrui Zhang
2014	—	`conf`	A Proof System in Process Algebra for Demand and Supply. SERE (Companion) Xinghua Yao, Yixiang Chen
2014	J	`jnl`	Quantitative Analysis of Lattice-valued Kripke Structures. Fundam. Informaticae Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen
2014	J	`jnl`	Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reason. Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen
2014	Misc	`conf`	Timed Automata Semantics of Spatial-Temporal Consistency Language STeC. TASE Yuanrui Zhang, Frédéric Mallet, Yixiang Chen
2013	C	`conf`	A Proof System in PADS. ICTAC Xinghua Yao, Min Zhang, Yixiang Chen
2013	—	`conf`	Coalgebras for Fuzzy Transition Systems. ISDT Hengyang Wu, Yixiang Chen
2013	Misc	`conf`	On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. TASE Hengyang Wu, Yixiang Chen, Min Zhang
2013	—	`conf`	Stability of Software Trustworthiness Measurements Models. SERE (Companion) Lewen Zhang, Yong Zhou, Yixiang Chen, Min Zhang, Juyang Zhang
2013	—	`conf`	Vehicle Scheduling Problem on Trees. BIC-TA Jie Zhou, Tian-Ming Bu, Hong Zhu, Yixiang Chen
2012	—	`conf`	A Quantitative Relation Model between Trustworthy Attributes. QLSC Hongwei Tao, Yixiang Chen
2012	J	`jnl`	A new metric model for trustworthiness of softwares. Telecommun. Syst. Hongwei Tao, Yixiang Chen
2012	—	`conf`	Bisimilarity for fuzzy doubly Labeled Transition Systems. QLSC Haiyu Pan, Min Zhang, Yixiang Chen
2012	Misc	`conf`	Bisimulation for Lattice-valued Transition Systems. TASE Haiyu Pan, Min Zhang, Yixiang Chen
2012	—	`conf`	Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. SERE (Companion) Haiyu Pan, Min Zhang, Yixiang Chen
2012	—	`conf`	Low Power Consumption Data Structure Design for Embedded Applications in Real-Time Systems. ISORC Workshops Linhua Jiang, Chao Peng, Haibin Cai, Yixiang Chen, Xiaodong Chen
2012	—	`conf`	STeC: A Location-Triggered Specification Language for Real-Time Systems. ISORC Workshops Yixiang Chen
2012	J	`jnl`	Semantics of non-deterministic possibility computation. Fuzzy Sets Syst. Hengyang Wu, Yixiang Chen
2012	—	`conf`	The Partial Correctness Semantics of Imperative fuzzy Programming Language. QLSC Hengyang Wu, Yixiang Chen
2011	Misc	`conf`	Approximate Bisimulation for Metric Doubly Labeled Transition System. TASE Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu
2011	—	`conf`	Approximate Simulation for Metric Hybrid Input/Output Automata. SSIRI (Companion) Haiyu Pan, Min Zhang, Yixiang Chen
2011	C	`conf`	Implementation and Optimization of RDF Query using Hadoop. CLOSER Yanwen Chen, Fabrice Huet, Yixiang Chen
2011	—	`conf`	The Semantics of NL-MUA Hengyang Wu, Yixiang Chen
2011	J	`jnl`	Two-thirds simulation indexes and modal logic characterization. Frontiers Comput. Sci. China Yanfang Ma, Min Zhang, Yixiang Chen, Liang Chen
2010	—	`conf`	Success Measurement of Web Services with BPEL. SOSE Yixiang Chen, Xinxing Wu
2010	—	`conf`	Trustworthiness Expectation of Real-Time Web Services. UIC/ATC Workshops Xinxing Wu, Yixiang Chen
2010	J	`jnl`	Trustworthy Dynamic Scheduling based on Constraint Solving Scheme. Int. J. Inf. Process. Manag. Juyang Zhang, Yixiang Chen
2009	—	`conf`	A Duality Theorem for Quantitative Semantics. ISDT Hengyang Wu, Yixiang Chen
2009	—	`conf`	A Metric Model for Trustworthiness of Softwares. Web Intelligence/IAT Workshops Hongwei Tao, Yixiang Chen
2009	—	`conf`	Average Transitive Trustworthy Degrees for Trustworthy Networks. RSKT Yixiang Chen, Min Zhang, Hong Zhu, Tian-Ming Bu
2009	—	`conf`	Infinite Evolution Mechanism of Probabilistic Processes. ICTCS Yanfang Ma, Min Zhang, Yixiang Chen
2009	—	`conf`	Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks. Web Intelligence/IAT Workshops Yixiang Chen, Tian-Ming Bu, Min Zhang, Hong Zhu
2009	—	`conf`	Modeling Instability in a New Framework of Interval Valued Process Algebra. ACIS-ICIS Jie Zhou, Yixiang Chen
2009	Misc	`conf`	Parameterized Bisimulation Infinite Evolution Mechanism. TASE Yanfang Ma, Min Zhang, Yixiang Chen
2009	—	`conf`	Preface. ISDT Yixiang Chen, Ernst-Erich Doberkat, Achim Jung
2009	—	`ed.`	Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009 ISDT Yixiang Chen, Ernst-Erich Doberkat, Achim Jung
2008	J	`jnl`	Domain semantics of possibility computations. Inf. Sci. Yixiang Chen, Hengyang Wu
2008	—	`conf`	Preface. FICS Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden
2008	—	`ed.`	Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008 FICS Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden
2008	—	`conf`	Research of a Multi-dimension Measurement Trusting Model Based on Markov Chain. EUC (2) Hongyan Mao, Yixiang Chen
2008	J	`jnl`	Semantics of sub-probabilistic programs. Frontiers Comput. Sci. China Yixiang Chen, Hengyang Wu
2006	J	`jnl`	Maximality and totality of stable functions in the category of stable bifinite domains. Comput. Math. Appl. Yixiang Chen, Guo-Qiang Zhang
2001	J	`jnl`	Domains via Graphs. J. Comput. Sci. Technol. Guoqiang Zhang, Yixiang Chen
1997	J	`jnl`	On compactness of induced I(L)-fuzzy topological spaces. Fuzzy Sets Syst. Yixiang Chen
1996	J	`jnl`	Convergence in topological molecular lattices. Fuzzy Sets Syst. Yixiang Chen