% csauthors.net - beta - BibTeX bibliography of Yixiang Chen
@article{journals/fss/Chen96,
title = {Convergence in topological molecular lattices.},
year = {1996},
journal = {Fuzzy Sets Syst.},
author = {{Yixiang Chen}}
}
@article{journals/fss/Chen97a,
title = {On compactness of induced I(L)-fuzzy topological spaces.},
year = {1997},
journal = {Fuzzy Sets Syst.},
author = {{Yixiang Chen}}
}
@article{journals/jcst/ZhangC01,
title = {Domains via Graphs.},
year = {2001},
journal = {J. Comput. Sci. Technol.},
author = {{Guoqiang Zhang} and {Yixiang Chen}}
}
@inproceedings{conf/icra/LiCC03,
title = {Implementation of autonomous fuzzy garage-parking control by an FPGA-based car-like mobile robot using infrared sensors.},
year = {2003},
booktitle = {ICRA},
author = {{Tzuu-Hseng S. Li} and {Shih-Jie Chang} and {Yi-Xiang Chen}},
publisher = {IEEE},
booktitle = {Proceedings of the 2003 IEEE International Conference on Robotics and Automation, ICRA 2003, September 14-19, 2003, Taipei, Taiwan}
}
@article{journals/tie/LiCC03,
title = {Implementation of human-like driving skills by autonomous fuzzy behavior control on an FPGA-based car-like mobile robot.},
year = {2003},
journal = {IEEE Trans. Ind. Electron.},
author = {{Tzuu-Hseng S. Li} and {Shih-Jie Chang} and {Yi-Xiang Chen}}
}
@article{journals/cma/ChenZ06,
title = {Maximality and totality of stable functions in the category of stable bifinite domains.},
year = {2006},
journal = {Comput. Math. Appl.},
author = {{Yixiang Chen} and {Guo-Qiang Zhang 001}}
}
@article{journals/tcs/ChenJ06,
title = {A logical approach to stable domains.},
year = {2006},
journal = {Theor. Comput. Sci.},
author = {{Yi-Xiang Chen} and {Achim Jung}}
}
@inproceedings{conf/euc/MaoC08,
title = {Research of a Multi-dimension Measurement Trusting Model Based on Markov Chain.},
year = {2008},
booktitle = {EUC (2)},
author = {{Hongyan Mao} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops}
}
@inproceedings{journals/entcs/ChenZP08,
title = {Preface.},
year = {2008},
booktitle = {FICS},
author = {{Yixiang Chen} and {Guo-Qiang Zhang 001} and {Prakash Panangaden}},
publisher = {Elsevier},
booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, FICS 2008, Shanghai, China, June 3-6, 2008}
}
@article{journals/fcsc/ChenW08,
title = {Semantics of sub-probabilistic programs.},
year = {2008},
journal = {Frontiers Comput. Sci. China},
author = {{Yixiang Chen} and {Hengyang Wu}}
}
@article{journals/isci/ChenW08,
title = {Domain semantics of possibility computations.},
year = {2008},
journal = {Inf. Sci.},
author = {{Yixiang Chen} and {Hengyang Wu}}
}
@inproceedings{conf/ACISicis/ZhouC09,
title = {Modeling Instability in a New Framework of Interval Valued Process Algebra.},
year = {2009},
booktitle = {ACIS-ICIS},
author = {{Jie Zhou} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {8th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2009, June 1-3, 2009, Shanghai, China}
}
@inproceedings{conf/iat/ChenBZZ09,
title = {Max-Minimum Algorithm for Trust Transitivity in Trustworthy Networks.},
year = {2009},
booktitle = {Web Intelligence/IAT Workshops},
author = {{Yixiang Chen} and {Tian-Ming Bu} and {Min Zhang 007} and {Hong Zhu 004}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Milan, Italy, 15-18 September 2009}
}
@inproceedings{conf/iat/TaoC09,
title = {A Metric Model for Trustworthiness of Softwares.},
year = {2009},
booktitle = {Web Intelligence/IAT Workshops},
author = {{Hongwei Tao} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Milan, Italy, 15-18 September 2009}
}
@inproceedings{conf/ictcs/MaZC09,
title = {Infinite Evolution Mechanism of Probabilistic Processes.},
year = {2009},
booktitle = {ICTCS},
author = {{Yanfang Ma} and {Min Zhang 007} and {Yixiang Chen}},
booktitle = {Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings.}
}
@inproceedings{conf/rskt/ChenZZB09,
title = {Average Transitive Trustworthy Degrees for Trustworthy Networks.},
year = {2009},
booktitle = {RSKT},
author = {{Yixiang Chen} and {Min Zhang 007} and {Hong Zhu 004} and {Tian-Ming Bu}},
publisher = {Springer},
booktitle = {Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings}
}
@inproceedings{conf/tase/MaZC09,
title = {Parameterized Bisimulation Infinite Evolution Mechanism.},
year = {2009},
booktitle = {TASE},
author = {{Yanfang Ma} and {Min Zhang 007} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China}
}
@inproceedings{journals/entcs/ChenDJ09,
title = {Preface.},
year = {2009},
booktitle = {ISDT},
author = {{Yixiang Chen} and {Ernst-Erich Doberkat} and {Achim Jung}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009}
}
@inproceedings{journals/entcs/WuC09,
title = {A Duality Theorem for Quantitative Semantics.},
year = {2009},
booktitle = {ISDT},
author = {{Hengyang Wu} and {Yixiang Chen}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009}
}
@inproceedings{conf/sose/ChenW10,
title = {Success Measurement of Web Services with BPEL.},
year = {2010},
booktitle = {SOSE},
author = {{Yixiang Chen} and {Xinxing Wu}},
publisher = {IEEE Computer Society},
booktitle = {The Fifth IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010, June 4-5, 2010, Nanjing, China}
}
@inproceedings{conf/uic/WuC10,
title = {Trustworthiness Expectation of Real-Time Web Services.},
year = {2010},
booktitle = {UIC/ATC Workshops},
author = {{Xinxing Wu} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing: 7th International Conference on Ubiquitous Intelligence & Computing and 7th International Conference on Autonomic & Trusted Computing, UIC-ATC 2010, 26-29 October 2010, Xi'an, China}
}
@article{journals/ijipm/ZhangC10,
title = {Trustworthy Dynamic Scheduling based on Constraint Solving Scheme.},
year = {2010},
journal = {Int. J. Inf. Process. Manag.},
author = {{Juyang Zhang} and {Yixiang Chen}}
}
@inproceedings{conf/closer/ChenHC11,
title = {Implementation and Optimization of RDF Query using Hadoop.},
year = {2011},
booktitle = {CLOSER},
author = {{Yanwen Chen} and {Fabrice Huet} and {Yixiang Chen}},
publisher = {SciTePress},
booktitle = {CLOSER 2011 - Proceedings of the 1st International Conference on Cloud Computing and Services Science, Noordwijkerhout, Netherlands, 7-9 May, 2011}
}
@inproceedings{conf/nlmua/WuC11,
title = {The Semantics of wlp and slp of Fuzzy Imperative Programming Languages.},
year = {2011},
booktitle = {NL-MUA},
author = {{Hengyang Wu} and {Yixiang Chen}},
publisher = {Springer},
booktitle = {Nonlinear Mathematics for Uncertainty and its Applications, NL-MUA 2011, Beijing, China, September 7-9, 2011}
}
@inproceedings{conf/ssiri/PanZC11,
title = {Approximate Simulation for Metric Hybrid Input/Output Automata.},
year = {2011},
booktitle = {SSIRI (Companion)},
author = {{Haiyu Pan} and {Min Zhang 007} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume}
}
@inproceedings{conf/tase/PanZCW11,
title = {Approximate Bisimulation for Metric Doubly Labeled Transition System.},
year = {2011},
booktitle = {TASE},
author = {{Haiyu Pan} and {Min Zhang 007} and {Yixiang Chen} and {Hengyang Wu}},
publisher = {IEEE Computer Society},
booktitle = {5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011}
}
@article{journals/fcsc/MaZCC11,
title = {Two-thirds simulation indexes and modal logic characterization.},
year = {2011},
journal = {Frontiers Comput. Sci. China},
author = {{Yanfang Ma} and {Min Zhang 007} and {Yixiang Chen} and {Liang Chen 005}}
}
@inproceedings{conf/isorc/Chen12,
title = {STeC: A Location-Triggered Specification Language for Real-Time Systems.},
year = {2012},
booktitle = {ISORC Workshops},
author = {{Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2012, Shenzhen, China, April 11, 2012}
}
@inproceedings{conf/isorc/JiangPCCC12,
title = {Low Power Consumption Data Structure Design for Embedded Applications in Real-Time Systems.},
year = {2012},
booktitle = {ISORC Workshops},
author = {{Linhua Jiang} and {Chao Peng 004} and {Haibin Cai} and {Yixiang Chen} and {Xiaodong Chen}},
publisher = {IEEE Computer Society},
booktitle = {15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2012, Shenzhen, China, April 11, 2012}
}
@inproceedings{conf/qlsc/Pan0C12,
title = {Bisimilarity for fuzzy doubly Labeled Transition Systems.},
year = {2012},
booktitle = {QLSC},
author = {{Haiyu Pan} and {Min Zhang 007} and {Yixiang Chen}},
publisher = {World Scientific},
booktitle = {Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012}
}
@inproceedings{conf/qlsc/TaoC12,
title = {A Quantitative Relation Model between Trustworthy Attributes.},
year = {2012},
booktitle = {QLSC},
author = {{Hongwei Tao} and {Yixiang Chen}},
publisher = {World Scientific},
booktitle = {Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012}
}
@inproceedings{conf/qlsc/WuC12,
title = {The Partial Correctness Semantics of Imperative fuzzy Programming Language.},
year = {2012},
booktitle = {QLSC},
author = {{Hengyang Wu} and {Yixiang Chen}},
publisher = {World Scientific},
booktitle = {Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012}
}
@inproceedings{conf/ssiri/PanZC12,
title = {Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.},
year = {2012},
booktitle = {SERE (Companion)},
author = {{Haiyu Pan} and {Min Zhang 007} and {Yixiang Chen}},
publisher = {IEEE},
booktitle = {Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion Volume}
}
@inproceedings{conf/tase/PanZC12,
title = {Bisimulation for Lattice-valued Transition Systems.},
year = {2012},
booktitle = {TASE},
author = {{Haiyu Pan} and {Min Zhang 007} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China}
}
@article{journals/fss/WuC12,
title = {Semantics of non-deterministic possibility computation.},
year = {2012},
journal = {Fuzzy Sets Syst.},
author = {{Hengyang Wu} and {Yixiang Chen}}
}
@article{journals/telsys/TaoC12,
title = {A new metric model for trustworthiness of softwares.},
year = {2012},
journal = {Telecommun. Syst.},
author = {{Hongwei Tao} and {Yixiang Chen}}
}
@inproceedings{conf/bic-ta/ZhouBZC13,
title = {Vehicle Scheduling Problem on Trees.},
year = {2013},
booktitle = {BIC-TA},
author = {{Jie Zhou} and {Tian-Ming Bu} and {Hong Zhu 004} and {Yixiang Chen}},
publisher = {Springer},
booktitle = {Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2013, HuangShan, China, July 12-14, 2013}
}
@inproceedings{conf/ictac/YaoZC13,
title = {A Proof System in PADS.},
year = {2013},
booktitle = {ICTAC},
author = {{Xinghua Yao} and {Min Zhang 007} and {Yixiang Chen}},
publisher = {Springer},
booktitle = {Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings}
}
@inproceedings{conf/ssiri/ZhangZCZZ13,
title = {Stability of Software Trustworthiness Measurements Models.},
year = {2013},
booktitle = {SERE (Companion)},
author = {{Lewen Zhang} and {Yong Zhou} and {Yixiang Chen} and {Min Zhang 007} and {Juyang Zhang}},
publisher = {IEEE},
booktitle = {Seventh International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 18-20 June 2013 - Companion Volume}
}
@inproceedings{conf/tase/WuCZ13,
title = {On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.},
year = {2013},
booktitle = {TASE},
author = {{Hengyang Wu} and {Yixiang Chen} and {Min Zhang 007}},
publisher = {IEEE Computer Society},
booktitle = {Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK}
}
@inproceedings{journals/entcs/WuC14,
title = {Coalgebras for Fuzzy Transition Systems.},
year = {2013},
booktitle = {ISDT},
author = {{Hengyang Wu} and {Yixiang Chen}},
publisher = {Elsevier},
booktitle = {Proceedings of the 6th International Symposium on Domain Theory and Its Applications, ISDT 2013, Hunan University in Changsha, China, October 25-29, 2013}
}
@inproceedings{conf/ssiri/ChenZ14,
title = {A Hybrid Clock System Related to STeC Language.},
year = {2014},
booktitle = {SERE (Companion)},
author = {{Yixiang Chen} and {Yuanrui Zhang}},
publisher = {IEEE},
booktitle = {IEEE Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion Volume}
}
@inproceedings{conf/ssiri/YaoC14,
title = {A Proof System in Process Algebra for Demand and Supply.},
year = {2014},
booktitle = {SERE (Companion)},
author = {{Xinghua Yao} and {Yixiang Chen}},
publisher = {IEEE},
booktitle = {IEEE Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion Volume}
}
@inproceedings{conf/tase/ZhangMC14,
title = {Timed Automata Semantics of Spatial-Temporal Consistency Language STeC.},
year = {2014},
booktitle = {TASE},
author = {{Yuanrui Zhang} and {Frédéric Mallet} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014}
}
@article{journals/fuin/Pan0WC14,
title = {Quantitative Analysis of Lattice-valued Kripke Structures.},
year = {2014},
journal = {Fundam. Informaticae},
author = {{Haiyu Pan} and {Min Zhang 007} and {Hengyang Wu} and {Yixiang Chen}}
}
@article{journals/ijar/PanC0C14,
title = {Simulation for lattice-valued doubly labeled transition systems.},
year = {2014},
journal = {Int. J. Approx. Reason.},
author = {{Haiyu Pan} and {Yongzhi Cao} and {Min Zhang 007} and {Yixiang Chen}}
}
@article{journals/lgrs/ChenQGW14,
title = {Structural Feature Modeling of High-Resolution Remote Sensing Images Using Directional Spatial Correlation.},
year = {2014},
journal = {IEEE Geosci. Remote. Sens. Lett.},
author = {{Yixiang Chen} and {Kun Qin} and {Shunzi Gan} and {Tao Wu}}
}
@inproceedings{conf/apres/ZhangCM15,
title = {A Framework for Data-Driven Automata Design.},
year = {2015},
booktitle = {APRES},
author = {{Yuanrui Zhang} and {Yixiang Chen} and {Yujing Ma}},
publisher = {Springer},
booktitle = {Requirements Engineering in the Big Data Era - Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18-20, 2015, Proceedings}
}
@inproceedings{conf/qrs/LiZC15,
title = {PSTEP - A Novel Probabilistic Event Processing Language for Uncertain Spatio-temporal Event Streams of Internet of Vehicles.},
year = {2015},
booktitle = {QRS Companion},
author = {{Huiyong Li} and {Yuanrui Zhang} and {Yixiang Chen}},
publisher = {IEEE},
booktitle = {2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015, Companion, Vancouver, BC, Canada, August 3-5, 2015}
}
@inproceedings{conf/qrs/MaCG15,
title = {An Attributes-Based Allocation Approach of Software Trustworthy Degrees.},
year = {2015},
booktitle = {QRS Companion},
author = {{Yujing Ma} and {Yixiang Chen} and {Bin Gu}},
publisher = {IEEE},
booktitle = {2015 IEEE International Conference on Software Quality, Reliability and Security, QRS 2015, Companion, Vancouver, BC, Canada, August 3-5, 2015}
}
@inproceedings{conf/tase/He0HC15,
title = {Probabilistic Model Checking of Pipe protocol.},
year = {2015},
booktitle = {TASE},
author = {{Kangli He} and {Min Zhang 007} and {Jia He} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015}
}
@inproceedings{conf/tase/YangXC15,
title = {Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC.},
year = {2015},
booktitle = {TASE},
author = {{Zhihua Yang} and {Bo Xiao} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015}
}
@article{journals/cee/WuXQC15,
title = {Cloud model-based method for range-constrained thresholding.},
year = {2015},
journal = {Comput. Electr. Eng.},
author = {{Tao Wu} and {Jin Xiao} and {Kun Qin} and {Yixiang Chen}}
}
@article{journals/fcsc/ChenCM15,
title = {Timed-pNets: a communication behavioural semantic model for distributed systems.},
year = {2015},
journal = {Frontiers Comput. Sci.},
author = {{Yanwen Chen} and {Yixiang Chen} and {Eric Madelaine}}
}
@article{journals/ijccc/WangC15,
title = {A Comprehensive Trust Model Based on Multi-factors for WSNs.},
year = {2015},
journal = {Int. J. Comput. Commun. Control},
author = {{Na Wang 007} and {Yixiang Chen}}
}
@article{journals/jsjkx/WuHC15,
title = {[α1,α2]1-概率拟Hoare逻辑及其可靠性证明 ([α1, α2]1-Probabilistic Quasi-Hoare Logic and its Reliability).},
year = {2015},
journal = {计算机科学},
author = {{Xinxing Wu} and {Guosheng Hu} and {Yixiang Chen}}
}
@article{journals/jsjkx/WuHC18a,
title = {Web服务降级替换的一致性问题及量化研究 (Quantification and Conformance of Web Service Degraded Substitution).},
year = {2015},
journal = {计算机科学},
author = {{Xinxing Wu} and {Guosheng Hu} and {Yixiang Chen}}
}
@inproceedings{conf/igarss/ChenQJWZ16,
title = {Built-up area extraction using data field from high-resolution satellite images.},
year = {2016},
booktitle = {IGARSS},
author = {{Yixiang Chen} and {Kun Qin} and {Houjun Jiang} and {Tao Wu} and {Ye Zhang}},
publisher = {IEEE},
booktitle = {2016 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2016, Beijing, China, July 10-15, 2016}
}
@inproceedings{conf/mmb/HeC0Z16,
title = {PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems.},
year = {2016},
booktitle = {MMB/DFT},
author = {{Kangli He} and {Yixiang Chen} and {Min Zhang 007} and {Yuanrui Zhang}},
publisher = {Springer},
booktitle = {Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems - 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings}
}
@inproceedings{conf/qrs/LiZC16,
title = {A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles.},
year = {2016},
booktitle = {QRS Companion},
author = {{Jinyang Li} and {Yuanrui Zhang} and {Yixiang Chen}},
publisher = {IEEE},
booktitle = {2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Companion, Vienna, Austria, August 1-3, 2016}
}
@inproceedings{conf/qrs/ZhangMC16,
title = {A UTP Refinement Model of the STeC Language.},
year = {2016},
booktitle = {QRS Companion},
author = {{Yuanrui Zhang} and {Yujing Ma} and {Yixiang Chen}},
publisher = {IEEE},
booktitle = {2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Companion, Vienna, Austria, August 1-3, 2016}
}
@article{journals/corr/LiCWZ16,
title = {Weakly Supervised PLDA Training.},
year = {2016},
journal = {CoRR},
author = {{Lantian Li} and {Yixiang Chen} and {Dong Wang 013} and {Chenghui Zhao}}
}
@article{journals/jsjkx/WuHC18,
title = {概率拟Hoare逻辑 (Probabilistic Quasi-Hoare Logic).},
year = {2016},
journal = {计算机科学},
author = {{Xinxing Wu} and {Guosheng Hu} and {Yixiang Chen}}
}
@inproceedings{conf/apsipa/TangWCC17,
title = {AP17-OLR challenge: Data, plan, and baseline.},
year = {2017},
booktitle = {APSIPA},
author = {{Zhiyuan Tang} and {Dong Wang 013} and {Yixiang Chen} and {Qing Chen}},
publisher = {IEEE},
booktitle = {2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA ASC 2017, Kuala Lumpur, Malaysia, December 12-15, 2017}
}
@inproceedings{conf/apsipa/ZhangCLW17,
title = {Speaker recognition with cough, laugh and "Wei".},
year = {2017},
booktitle = {APSIPA},
author = {{Miao Zhang} and {Yixiang Chen} and {Lantian Li} and {Dong Wang 013}},
publisher = {IEEE},
booktitle = {2017 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA ASC 2017, Kuala Lumpur, Malaysia, December 12-15, 2017}
}
@inproceedings{conf/compsac/HeHC17,
title = {Models of Connected Things: On Priced Probabilistic Timed Reo.},
year = {2017},
booktitle = {COMPSAC (1)},
author = {{Kangli He} and {Holger Hermanns} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1}
}
@inproceedings{conf/gski/FukuokaCL17,
title = {Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic.},
year = {2017},
booktitle = {GSKI (1)},
author = {{Shingo Fukuoka} and {Yixiang Chen} and {Shaoying Liu}},
publisher = {Springer},
booktitle = {Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part I}
}
@inproceedings{conf/interspeech/LiCSTW17,
title = {Deep Speaker Feature Learning for Text-Independent Speaker Verification.},
year = {2017},
booktitle = {INTERSPEECH},
author = {{Lantian Li} and {Yixiang Chen} and {Ying Shi 001} and {Zhiyuan Tang} and {Dong Wang 013}},
publisher = {ISCA},
booktitle = {Interspeech 2017, 18th Annual Conference of the International Speech Communication Association, Stockholm, Sweden, August 20-24, 2017}
}
@inproceedings{conf/interspeech/LiCWZ17,
title = {A Study on Replay Attack and Anti-Spoofing for Automatic Speaker Verification.},
year = {2017},
booktitle = {INTERSPEECH},
author = {{Lantian Li} and {Yixiang Chen} and {Dong Wang 013} and {Thomas Fang Zheng}},
publisher = {ISCA},
booktitle = {Interspeech 2017, 18th Annual Conference of the International Speech Communication Association, Stockholm, Sweden, August 20-24, 2017}
}
@inproceedings{conf/ococosda/TangWCSL17,
title = {Phone-aware neural language identification.},
year = {2017},
booktitle = {O-COCOSDA},
author = {{Zhiyuan Tang} and {Dong Wang 013} and {Yixiang Chen} and {Ying Shi 001} and {Lantian Li}},
publisher = {IEEE},
booktitle = {20th Conference of the Oriental Chapter of the International Coordinating Committee on Speech Databases and Speech I/O Systems and Assessment, O-COCOSDA 2017, Seoul, South Korea, November 1-3, 2017}
}
@inproceedings{conf/tase/BuWC17,
title = {Computing behavioural distance for fuzzy transition systems.},
year = {2017},
booktitle = {TASE},
author = {{Tian-Ming Bu} and {Hengyang Wu} and {Yixiang Chen}},
publisher = {IEEE Computer Society},
booktitle = {11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, Sophia Antipolis, France, September 13-15, 2017}
}
@article{journals/corr/WangLSCT17,
title = {Deep Factorization for Speech Signal.},
year = {2017},
journal = {CoRR},
author = {{Dong Wang 013} and {Lantian Li} and {Ying Shi 001} and {Yixiang Chen} and {Zhiyuan Tang}}
}
@article{journals/gis/ZhaoQYWC17,
title = {A trajectory clustering approach based on decision graph and data field for detecting hotspots.},
year = {2017},
journal = {Int. J. Geogr. Inf. Sci.},
author = {{Pengxiang Zhao} and {Kun Qin} and {Xinyue Ye} and {Yulong Wang} and {Yixiang Chen}}
}
@inproceedings{conf/ftscs/ZhangWCM18,
title = {Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.},
year = {2018},
booktitle = {FTSCS},
author = {{Yuanrui Zhang} and {Hengyang Wu} and {Yixiang Chen} and {Frédéric Mallet}},
publisher = {Springer},
booktitle = {Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers}
}
@inproceedings{conf/icassp/LiWCSTZ18,
title = {Deep Factorization for Speech Signal.},
year = {2018},
booktitle = {ICASSP},
author = {{Lantian Li} and {Dong Wang 013} and {Yixiang Chen} and {Ying Shi 001} and {Zhiyuan Tang} and {Thomas Fang Zheng}},
publisher = {IEEE},
booktitle = {2018 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2018, Calgary, AB, Canada, April 15-20, 2018}
}
@inproceedings{conf/ickii/JiaCJLL18,
title = {A carbon nanotube patch antenna for polarization selective radiation performance.},
year = {2018},
booktitle = {ICKII},
author = {{Yan Jia 004} and {Yixiang Chen} and {Houjun Jiang} and {Yang Le} and {Heping Lin}},
publisher = {IEEE},
booktitle = {1st IEEE International Conference on Knowledge Innovation and Invention, ICKII 2018, Jeju Island, Korea (South), July 23-27, 2018}
}
@inproceedings{conf/sofl/YinLC18,
title = {Verification of SysML Activity Diagrams Using Hoare Logic and SOFL.},
year = {2018},
booktitle = {SOFL+MSVL},
author = {{Yufei Yin} and {Shaoying Liu} and {Yixiang Chen}},
publisher = {Springer},
booktitle = {Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers}
}
@article{journals/cma/Chen18,
title = {Vortex and multipole coupled solitons in the spatially modulated cubic-quintic-septimal nonlinear material.},
year = {2018},
journal = {Comput. Math. Appl.},
author = {{Yi-Xiang Chen}}
}
@article{journals/fss/WuCBD18,
title = {Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.},
year = {2018},
journal = {Fuzzy Sets Syst.},
author = {{Hengyang Wu} and {Yixiang Chen} and {Tian-Ming Bu} and {Yuxin Deng}}
}
@article{journals/ijar/WuCHC18,
title = {Bisimulations for fuzzy transition systems revisited.},
year = {2018},
journal = {Int. J. Approx. Reason.},
author = {{Hengyang Wu} and {Taolue Chen} and {Tingting Han 001} and {Yixiang Chen}}
}
@article{journals/ijgi/WangQCZ18,
title = {Detecting Anomalous Trajectories and Behavior Patterns Using Hierarchical Clustering from Taxi GPS Data.},
year = {2018},
journal = {ISPRS Int. J. Geo Inf.},
author = {{Yulong Wang} and {Kun Qin} and {Yixiang Chen} and {Pengxiang Zhao}}
}
@article{journals/remotesensing/ChenLHJ18,
title = {Delineation of Built-Up Areas from Very High-Resolution Satellite Imagery Using Multi-Scale Textures and Spatial Dependence.},
year = {2018},
journal = {Remote. Sens.},
author = {{Yixiang Chen} and {Zhiyong Lv} and {Bo Huang 001} and {Yan Jia 004}}
}
@article{journals/remotesensing/LvLZBC18,
title = {Land Cover Change Detection Based on Adaptive Contextual Information Using Bi-Temporal Remote Sensing Images.},
year = {2018},
journal = {Remote. Sens.},
author = {{Zhiyong Lv} and {Tongfei Liu} and {Penglin Zhang} and {Jón Atli Benediktsson} and {Yixiang Chen}}
}
@article{journals/taslp/TangWCLA18,
title = {Phonetic Temporal Neural Model for Language Identification.},
year = {2018},
journal = {IEEE ACM Trans. Audio Speech Lang. Process.},
author = {{Zhiyuan Tang} and {Dong Wang 013} and {Yixiang Chen} and {Lantian Li} and {Andrew Abel}}
}
@inproceedings{conf/iske/WangCW19,
title = {A Hybrid Clock Logic System for CPS.},
year = {2019},
booktitle = {ISKE},
author = {{Peifen Wang} and {Yixiang Chen} and {Hengyang Wu}},
publisher = {IEEE},
booktitle = {14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2019, Dalian, China, November 14-16, 2019}
}
@inproceedings{conf/tase/ZhangMZC19,
title = {A Logical Approach for the Schedulability Analysis of CCSL.},
year = {2019},
booktitle = {TASE},
author = {{Yuanrui Zhang} and {Frédéric Mallet} and {Huibiao Zhu} and {Yixiang Chen}},
publisher = {IEEE},
booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019}
}
@article{journals/access/WangCZW19,
title = {Updating Model of Software Component Trustworthiness Based on Users Feedback.},
year = {2019},
journal = {IEEE Access},
author = {{Baohua Wang} and {Yixiang Chen} and {Shun Zhang} and {Hengyang Wu}}
}
@article{journals/access/ZhangCW19,
title = {A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour.},
year = {2019},
journal = {IEEE Access},
author = {{Yuanrui Zhang} and {Yixiang Chen} and {Hengyang Wu}}
}
@article{journals/remotesensing/ChenLHZZ19,
title = {Automatic Extraction of Built-Up Areas from Very High-Resolution Satellite Imagery Using Patch-Level Spatial Features and Gestalt Laws of Perceptual Grouping.},
year = {2019},
journal = {Remote. Sens.},
author = {{Yixiang Chen} and {Zhiyong Lv} and {Bo Huang 001} and {Pengdong Zhang} and {Yu Zhang}}
}
@article{journals/remotesensing/JiaJSGTCL19,
title = {GNSS-R Soil Moisture Retrieval Based on a XGboost Machine Learning Aided Method: Performance and Validation.},
year = {2019},
journal = {Remote. Sens.},
author = {{Yan Jia 004} and {Shuanggen Jin} and {Patrizia Savi} and {Yun Gao} and {Jing Tang} and {Yixiang Chen} and {Wenmei Li}}
}
@article{journals/remotesensing/LvLCB19,
title = {Novel Multi-Scale Filter Profile-Based Framework for VHR Remote Sensing Image Classification.},
year = {2019},
journal = {Remote. Sens.},
author = {{Zhiyong Lv} and {Guangfei Li} and {Yixiang Chen} and {Jón Atli Benediktsson}}
}
@article{journals/remotesensing/YuanLCSCWW19,
title = {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.},
year = {2019},
journal = {Remote. Sens.},
author = {{Yuan Yuan 026} and {Lei Lin 002} and {Jingbo Chen} and {Hichem Sahli} and {Yixiang Chen} and {Chengyi Wang 001} and {Bin Wu}}
}
@inproceedings{conf/qrs/TaoCW20,
title = {Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches.},
year = {2020},
booktitle = {QRS Companion},
author = {{Hongwei Tao} and {Yixiang Chen} and {Hengyang Wu}},
publisher = {IEEE},
booktitle = {20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020}
}
@inproceedings{conf/qrs/YinXC20,
title = {Research of Micro-expression Recognition Model based on Feature Unit.},
year = {2020},
booktitle = {QRS Companion},
author = {{Fei Yin} and {Jinyi Xu} and {Yixiang Chen}},
publisher = {IEEE},
booktitle = {20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020}
}
@article{journals/fcsc/HeHWC20,
title = {Connection models for the Internet-of-Things.},
year = {2020},
journal = {Frontiers Comput. Sci.},
author = {{Kangli He} and {Holger Hermanns} and {Hengyang Wu} and {Yixiang Chen}}
}
@article{journals/fcsc/ZhangMC20,
title = {A verification framework for spatio-temporal consistency language with CCSL as a specification language.},
year = {2020},
journal = {Frontiers Comput. Sci.},
author = {{Yuanrui Zhang} and {Frédéric Mallet} and {Yixiang Chen}}
}
@inproceedings{conf/ispa/JiangXC21,
title = {A Genetic Algorithm for Scheduling in Heterogeneous Multicore System Integrated with FPGA.},
year = {2021},
booktitle = {ISPA/BDCloud/SocialCom/SustainCom},
author = {{Qingyuan Jiang} and {Jinyi Xu} and {Yixiang Chen}},
publisher = {IEEE},
booktitle = {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 - Oct. 3, 2021}
}
@inproceedings{conf/ispa/ShiCX21,
title = {An Efficient Scheduling Algorithm for Distributed Heterogeneous Systems with Task Duplication Allowed.},
year = {2021},
booktitle = {ISPA/BDCloud/SocialCom/SustainCom},
author = {{Hao Shi} and {Yixiang Chen} and {Jinyi Xu}},
publisher = {IEEE},
booktitle = {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 - Oct. 3, 2021}
}
@article{journals/access/WangYC21,
title = {An Imbalanced-Data Processing Algorithm for the Prediction of Heart Attack in Stroke Patients.},
year = {2021},
journal = {IEEE Access},
author = {{Meng Wang} and {Xinghua Yao} and {Yixiang Chen}}
}
@article{journals/corr/abs-2111-03341,
title = {DVFL: A Vertical Federated Learning Method for Dynamic Data.},
year = {2021},
journal = {CoRR},
author = {{Yuzhi Liang} and {Yixiang Chen}}
}
@article{journals/scp/ZhangMZCLL21,
title = {A clock-based dynamic logic for schedulability analysis of CCSL specifications.},
year = {2021},
journal = {Sci. Comput. Program.},
author = {{Yuanrui Zhang} and {Frédéric Mallet} and {Huibiao Zhu} and {Yixiang Chen} and {Bo Liu 033} and {Zhiming Liu 001}}
}
@article{journals/scp/ZhangWCM21,
title = {A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.},
year = {2021},
journal = {Sci. Comput. Program.},
author = {{Yuanrui Zhang} and {Hengyang Wu} and {Yixiang Chen} and {Frédéric Mallet}}
}
@inproceedings{conf/aila/LiWXC22,
title = {Quantitative BAN Logic Based on Belief Degree.},
year = {2022},
booktitle = {AILA},
author = {{Kaixuan Li} and {Hengyang Wu} and {Jinyi Xu} and {Yixiang Chen}},
publisher = {Springer},
booktitle = {Artificial Intelligence Logic and Applications - The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings}
}
@inproceedings{conf/aila/NieCT22,
title = {A Novel Trustworthiness Measurement Method for Software System Based on Fuzzy Set.},
year = {2022},
booktitle = {AILA},
author = {{Qilong Nie} and {Yixiang Chen} and {Hongwei Tao}},
publisher = {Springer},
booktitle = {Artificial Intelligence Logic and Applications - The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings}
}
@inproceedings{conf/aila/YueYC22,
title = {A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement.},
year = {2022},
booktitle = {AILA},
author = {{Zelong Yue} and {Xinghua Yao} and {Yixiang Chen}},
publisher = {Springer},
booktitle = {Artificial Intelligence Logic and Applications - The 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022, Proceedings}
}
@inproceedings{conf/dsc/ChenYYZT22,
title = {Anomaly Detection from Log Data Sequences with Perturbations.},
year = {2022},
booktitle = {DSC},
author = {{Yixiang Chen} and {Linhao Ye} and {Yufeng Ye} and {Peng Zhang} and {Qinfeng Tan}},
publisher = {IEEE},
booktitle = {7th IEEE International Conference on Data Science in Cyberspace, DSC 2022, Guilin, China, July 11-13, 2022}
}
@inproceedings{conf/geoinformatics/ChenSDWL22,
title = {Classification of Urban Functional Zones by Integrating Spatial Features of VHR Satellite Images and Semantic Features of POI Data.},
year = {2022},
booktitle = {Geoinformatics},
author = {{Yixiang Chen} and {Wenjia Shi} and {Xu Dang} and {Chao Wu} and {Sheng Li}},
publisher = {IEEE},
booktitle = {29th International Conference on Geoinformatics, Beijing, China, August 15-18, 2022}
}
@inproceedings{conf/iceccs/WuWC22,
title = {A Novel Intelligent-Building-Fire-Risk Classification Method.},
year = {2022},
booktitle = {ICECCS},
author = {{Weilin Wu} and {Na Wang 007} and {Yixiang Chen}},
publisher = {IEEE},
booktitle = {26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022}
}
@article{journals/access/WuC22,
title = {A Trustworthy Classification Model for Intelligent Building Fire Risk.},
year = {2022},
journal = {IEEE Access},
author = {{Weilin Wu} and {Yixiang Chen}}
}
@article{journals/access/ZhongC22,
title = {A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles.},
year = {2022},
journal = {IEEE Access},
author = {{Li Zhong} and {Yixiang Chen}}
}
@article{journals/connection/TaoCW22,
title = {Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes.},
year = {2022},
journal = {Connect. Sci.},
author = {{Hongwei Tao} and {Yixiang Chen} and {Hengyang Wu}}
}
@article{journals/symmetry/TaoFCHW22,
title = {Improved Allocation and Reallocation Approaches for Software Trustworthiness Based on Mathematical Programming.},
year = {2022},
journal = {Symmetry},
author = {{Hongwei Tao} and {Lianyou Fu} and {Yixiang Chen} and {Lin Han} and {Xiao Wang}}
}
@article{journals/mam/XuLC22,
title = {Real-time task scheduling for FPGA-based multicore systems with communication delay.},
year = {2022},
month = {April},
journal = {Microprocess. Microsystems},
author = {{Jinyi Xu} and {Kaixuan Li} and {Yixiang Chen}}
}
@inproceedings{conf/issta/LiuCFLLXNLC23,
title = {A Comprehensive Study on Quality Assurance Tools for Java.},
year = {2023},
booktitle = {ISSTA},
author = {{Han Liu} and {Sen Chen 001} and {Ruitao Feng} and {Chengwei Liu} and {Kaixuan Li} and {Zhengzi Xu} and {Liming Nie} and {Yang Liu 003} and {Yixiang Chen}},
publisher = {ACM},
booktitle = {Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023}
}
@inproceedings{conf/sigsoft/LiCFFLLLC23,
title = {Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java.},
year = {2023},
booktitle = {ESEC/SIGSOFT FSE},
author = {{Kaixuan Li} and {Sen Chen 001} and {Lingling Fan 003} and {Ruitao Feng} and {Han Liu} and {Chengwei Liu} and {Yang Liu 003} and {Yixiang Chen}},
publisher = {ACM},
booktitle = {Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023}
}
@article{journals/ida/ZhengWCYL23,
title = {Feature evolvable learning with image streams.},
year = {2023},
journal = {Intell. Data Anal.},
author = {{Tianxiang Zheng} and {Xianmin Wang} and {Yixiang Chen} and {Fujia Yu} and {Jing Li}}
}
@article{journals/staeors/ChenYHHMZ23,
title = {Built-Up Area Extraction Combing Densely Connected Dual-Attention Network and Multiscale Context.},
year = {2023},
journal = {IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
author = {{Yixiang Chen} and {Shuai Yao} and {Zhongwen Hu} and {Bo Huang 001} and {LiZhi Miao} and {Jiaming Zhang}}
}
@article{journals/tjs/XuSC23,
title = {Efficient tasks scheduling in multicore systems integrated with hardware accelerators.},
year = {2023},
month = {May},
journal = {J. Supercomput.},
author = {{Jinyi Xu} and {Hao Shi} and {Yixiang Chen}}
}
@article{journals/iandc/HeWC23,
title = {On divergence-sensitive weak probabilistic bisimilarity.},
year = {2023},
month = {June},
journal = {Inf. Comput.},
author = {{Kangli He} and {Hengyang Wu} and {Yixiang Chen}}
}
@article{journals/remotesensing/ChenPYX24,
title = {Lightweight Multilevel Feature-Fusion Network for Built-Up Area Mapping from Gaofen-2 Satellite Images.},
year = {2024},
month = {February},
journal = {Remote. Sens.},
author = {{Yixiang Chen} and {Feifei Peng} and {Shuai Yao} and {Yuxin Xie}}
}