陈仪香 软硬件协同设计技术与应用教育部工程研究中心 主任、嵌入式软件与系统系 主任
软件工程学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 软件工程学院
毕业院校：
学位：
学历：
邮编：
联系电话： +86-21-6223 5255
传真：
电子邮箱： yxchen@sei.ecnu.edu.cn
办公地址： 上海市中山北路3663号
通讯地址： 上海市中山北路3663号 计算机科学与软件工程学院

教育经历

工作经历

个人简介

社会兼职
中国计算机学会嵌入式系统专业委员会副主任委员、中国系统科学学会模糊系统与模糊数学专业委会副主任委员、中国人工智能学会人工智能专委会副主任委员、中国计算机学会理论计算机专委会常务委员、中国计算机学会理论计算机专委会软件工程专委会委员、上海浦东物联网协会副会长。


研究方向
学科：软件工程
领域：软件形式化、 嵌入式软件与系统、智能系统
兴趣：智能系统设计与优化、物联网、实时系统规范语言设计与语义、软件可信度量与评估、软硬件协同设计。
实验室： 智能系统开发实验室
已毕业博士生：吴恒洋、周洁、马艳芳、陶红伟、吴新星、姚兴华、陈艳文、李慧勇、王娜
在读博士生： 王保华、张元睿、何康力、佘庆、张亮聪
教 学：软件理论基础（研究生）
软硬件协同设计（研究生）
智能系统优化设计（本科生）


开授课程


科研项目


学术成果

[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.**.
[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,ZhangY, 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, ZhangY, A hybrid clock system related to STeC language, The Proceeding of SERE 2014, San Francisco, USA, June 2014:pp 199-203,
[23] ZhangY, 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/31_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].YixiangChen,STeC:alocation-triggedSpecificationlanguageforReal timeSystems,TheProceedingof15thInternationalSymposiumonObject/Component/Service OrientedReal TimeDistributedComputingWorkshops, Page 1-5,March 2012.
[13] YanwenChen,YixiangChen,andEricMadelaine,TimedpNets:Aformalcommunication
behaviormodelforreal-timeCPSsystem,publishedintheworkshopofTrustworthy
Cyber-PhysicalSystemsinconjunctionwithCONCUR2012,September3,2012,Newcastle,UK.
[12] YanwenChen,YixiangChen,TaskAssignmentandon-linereal-timeschedulinginCyberPhysicalSystem,
JournalofControl Engineeringand AppliedInformatics Vol.13,No.3,pp.41-50,2011.
[11]YanwenChen?FabriceHuetandYixiangChen?ImplementationandOptimizationofRDFQueryUsingHADOOP?FirstInternationalConferenceonCloudComputingandServicesScience(CLOSER2011)?May7-9?2011?Noordwijkerhout?TheNetherlands.
[10]HongweiTao?YixiangChen?ANewMetricModelforTrustworthinessofSoftwares?TelecommunicationSystems?2011.
[9]YixiangChen?TianmingBu?MinZhangandHongZhu.MeasurementofTrustTransitivityinTrustworthyNetworks?JournalofEmergingTechnologiesinWebIntelligence2010--Vol2(4):319-325.
[8]HenyangWu?YixiangChen?ADualityTheoremforQuantitativeSemantics?ElectronicNotesinTheoreticalComputerScience?2010--Vol257:87-97.
[7]YixiangChen?XinxingWu?SuccessMeasurementofWebServiceswithBPEL?SOSE2010:86-90?IEEEComputerSociety.
[6]HongqweiTao?YixiangChen?AnotherMetricModelforTrustworthinessofSoftwaresBasedonPartition?AISC2010--Vol82: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.



荣誉及奖励


招生信息














10 访问


相关教师