个人简历

研究领域

智能系统设计与优化、物联网、实时系统规范语言设计与语义、软件可信度量与评估、软硬件协同设计。"软件形式化、 嵌入式软件与系统、智能系统"

近期论文

[39]Zhang Y, F.Mallet, Chen YX, A verification framework for spatio-temporal consistency language with CCSL as a specification language, Frontiers of Computer Science(2018)
[38] Wu H, Chen YX, Bu T, Deng Y, Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems, Fuzzy Sets and Systems, 2018，333：106-123.
[37]Wu H, Deng Y, Distribution-based behavioural distance for nondeterministic fuzzy transition systems, IEEE Transactions on Fuzzy Systems(在线)： DOI 10.1109/TFUZZ.2017.2670605.
[36] Bu T, Wu H，Chen YX, Computing behavioural distance for fuzzy transition systems, TASE 2017
[35] He K, H.Hermanns, Chen YX, Models of connected things: on priced probabilistic timed Reo, 2017 IEEE 41st Annual Computer Software and Applications Conference,pp 233-243
[34] Li J, Zhang Y, Chen YX, A self-adaptive traffic light control system based on speed of vehicles, 2016 IEEE International Conference on Software Quality, Reliability and Security Companion, pp 381-388.
[33] Yuanrui Zhang, Yujing Ma, Yixiang Chen, A UTP Refinement Model of the STeC Language,2016QRS:236-243.
[32] Kangli He, Yixiang Chen ect..PSTeC: A Location-Time Driven ModellingFormalism for Probabilistic Real-Time Systems,A. Remke and B.R. Haverkort (Eds.): MMB & DFT 2016, LNCS 9629, pp. 77–91, 2016.
[31] Na Wang, Yixiang Chen, A Comprehensive Trust Model Based on Multi-factors for WSNs,INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 10(2):248-262, April, 2015.
[30] Yuanrui Zhang, Yixiang Chen, Yujing Ma, A Framework for Data-Driven Automata Design,L. Liu and M. Aoyama (Eds.): APRES 2015, CCIS 558, pp. 33–47, 2015.
[29] Yanwen Chen, Yixiang Chen, Eric Madelaine,Timed-pNets: a communication behavioural semantic model fordistributed systems,Front. Comput. Sci., 2015, 9(1): 87–110.
[28] 王婧,陈仪香,顾斌等航天嵌入式软件可信性度量方法及应用研究，中国科学: 技术科学 2015 年 第45 卷 第2 期: 221-228
[27]He K, Zhang M, He J, et al.，Probabilistic model checking of Pipeprotocol，Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on. IEEE, 2015, pp 135-138.(EI, CCF-C)
[26] He K, Chen YX, Zhang M, Zhang Y, PSTeC: A location-time driven modelling formalism for probabilistic real-Timesystems. measurement, Modelling and Evaluation of Dependable Computer andCommunication Systems. Springer International Publishing, 2016, pp 77-91.
[25] Yang Z, Xiao B, Chen YX， Modeling and verification of Space-Air Ground integrated networks on requirement level using STeC, Theoretical Aspects of Software Engineering (TASE), 2015 International Symposium on. IEEE, 2015, pp 131-134.
[24] Chen YX, Zhang Y, A hybrid clock system related to STeC language, The Proceeding of SERE 2014, San Francisco, USA, June 2014: pp 199-203,
[23] Zhang Y, F. Mallet, Chen YX, Timed automata semantics of spatial-temporalconsistency language STeC, Theoretical Aspects of Software Engineering (TASE), International Symposium on. IEEE, 2014, pp 201-208.
[22] HengyangWu,YixiangChen:CoalgebrasforFuzzyTransitionSystems.Electr.NotesTheor.Comput.Sci.301:91-101(2014)
[21] Yixiang Chen, Yuanrui Zhang, A Hybrid Clock System Related to STeC Language, SSCPS 2014.
[20] HengyangWu,YixiangChen,MinZhang.On Denotational Semanticsof Spatial-Temporal Consistency Language STeC.2013 International Symposiumon Theoretical Aspects ofSoftware Engineering,pp.113-120,2013
[19] YanwenChen,YixiangChen.Real-TimeSchedulinginCyber-PhysicalSystems.Control Engineering and applied informatics,13(3):41-50,2011
[18] YanwenChen,YixiangChen,EricMadelaine.Timed-pNets:A formal communication behaviormodel for real-time CPS system.
[17] HaiyuPan,MinZhang,YixiangChen. Bisimilarity for Fuzzy Doubly Labeled Transition System.2012 International Conference on Quantitative Logic and Soft Computing,pp.207-214.doi:10.1142/9789814401531_0030
[16] HaiyuPan,MinZhang,YixiangChen.Lattice-Valued Kripke Structures Basedon Complete Residuated Lattice.In the proceeding of 2012 IEEE Sixth International Conference on Software Security and Reliability Companion (SERE2012).Pp.137-143.2012.DOI10.1109/SERE-C.2012.29
[15] HaiyuPan,MinZhang,YixiangChen.BisimulationforLattice-valuedTransitionSystems.In：TASE2012 pp.279-282,2012
[14]. Yixiang Chen, STeC: a location-trigged Specification language for Real time Systems, The Proceeding of 15th International Symposium on Object/Component/Service Oriented Real Time Distributed Computing Workshops, Page 1-5, March 2012.
[13] Yanwen Chen, Yixiang Chen, and Eric Madelaine, TimedpNets: A formal communication
behavior model for real-time CPS system, published in the workshop of Trustworthy
Cyber-Physical Systems in conjunction with CONCUR 2012, September 3 , 2012, Newcastle ,UK.
[12] Yanwen Chen, Yixiang Chen, Task Assignment and on-line real-time scheduling in Cyber Physical System,
Journal of Control Engineering and Applied Informatics Vol.13, No.3, pp. 41-50, 2011.
[11] Yanwen Chen‚ Fabrice Huet and Yixiang Chen‚ Implementation and Optimization of RDF QueryUsing HADOOP ‚ First International Conference on Cloud Computing and Services Science (CLOSER 2011)‚ May 7-9‚ 2011‚ Noordwijkerhout‚ The Netherlands.
[10] Hongwei Tao‚ Yixiang Chen‚ A New Metric Model for Trustworthiness of Softwares‚ Telecommunication Systems‚ 2011.
[9] Yixiang Chen‚ Tianming Bu‚ Min Zhang and Hong Zhu. Measurement of Trust Transitivity in Trustworthy Networks‚ Journal of Emerging Technologies in Web Intelligence 2010--Vol 2 (4):319-325.
[8] Henyang Wu‚ Yixiang Chen‚ A Duality Theorem for Quantitative Semantics‚ Electronic Notes in Theoretical Computer Science‚ 2010--Vol 257:87-97.
[7] Yixiang Chen‚ Xinxing Wu‚ Success Measurement of Web Services with BPEL‚ SOSE2010:86-90‚ IEEE Computer Society.
[6] Hongqwei Tao‚ Yixiang Chen‚ Another Metric Model for Trustworthiness of Softwares Based on Partition‚ AISC 2010--Vol 82:695-705.
[5] Yixiang chen‚ Min Zhang‚ Hong Zhu‚ Tianming Bu‚ Average Transitive Degrees for Trustworthy Network. Lecture Notes in Computer Science‚ Vol. 5589: 682-689‚2009
[4] Yi-Xiang Chen & Heng-Yang Wu‚ Domain Semantics of Possibility‚ 《Information Science》‚178：2661-2679（2008）‚http://dx.doi.org/10.1016/j.ins.2008.01.016
[3] Yi-Xiang Chen & Heng-Yang Wu‚ Semantics of Sub-probability Programs‚ 《Frontier of Computer Science in China》‚ 2(2): 29-38‚ 2008. http://dx.doi.org/10.1007/s11704-008-0004-0
[2] Chen Yi-Xiang‚ Achim Jung‚ A Logical Approach to Stable Domains. 《Theoretical Computer Science》‚368（2006）124-148.
[1] Chen Yi-Xiang‚Zhang Guo-Qiang‚ Maximality and totality of Stable Functions in Stable Bifinite Domains‚ 《An International Journal of Computers and Mathematics with Applications》‚ 51(2006) 1011-1020.
中国计算机学会嵌入式系统专业委员会副主任委员、中国系统科学学会模糊系统与模糊数学专业委会副主任委员、中国人工智能学会人工智能专委会副主任委员、中国计算机学会理论计算机专委会常务委员、中国计算机学会理论计算机专委会软件工程专委会委员、上海浦东物联网协会副会长。