基本介紹
- 中文名：陳儀香
- 職業：教師
- 專業方向：軟體形式化、 嵌入式軟體與系統、智慧型系統
- 職務：軟硬體協同設計技術與套用教育部工程研究中心主任等
- 任職院校：華東師範大學軟體工程學院
研究方向,主講課程,社會兼職,學術成果,
研究方向
軟體形式化、 嵌入式軟體與系統、智慧型系統
主講課程
軟體理論基礎（研究生）
軟硬體協同設計（研究生）
智慧型系統最佳化設計（本科生）
社會兼職
中國計算機學會嵌入式系統專業委員會副主任委員、中國系統科學學會模糊系統與模糊數學專業委會副主任委員、中國人工智慧學會人工智慧專委會副主任委員、中國計算機學會理論計算機專委會常務委員、中國計算機學會理論計算機專委會軟體工程專委會委員、上海浦東物聯網協會副會長。
學術成果
[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
[37] Wu H, Deng Y, Distribution-based behavioural distance for nondeterministic fuzzy transition systems, IEEE Transactions on Fuzzy Systems (線上)
[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
[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 Companio
[33] Yuanrui Zhang, Yujing Ma, Yixiang Chen, A UTP Refinement Model of the STeC Language, 2016 QRS
[32] Kangli He, Yixiang Chen ect..PSTeC: A Location-Time Driven ModellingFormalism for Probabilistic Real-Time Systems,A. Remke and B.R. Haverkort (Eds.): 2016.
[31] Na Wang, Yixiang Chen, A Comprehensive Trust Model Based on Multi-factors for WSNs,INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2015.
[30] Yuanrui Zhang, Yixiang Chen, Yujing Ma, A Framework for Data-Driven Automata Design,L. Liu and M. Aoyama (Eds.) 2015.
[29] Yanwen Chen, Yixiang Chen, Eric Madelaine,Timed-pNets: a communication behavioural semantic model fordistributed systems,Front. Comput. Sci., 2015
[28] 王婧,陳儀香,顧斌等航天嵌入式軟體可信性度量方法及套用研究，中國科學: 技術科學, 2015年第45卷第2期
[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.
[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.
[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.
[24] Chen YX, Zhang Y, A hybrid clock system related to STeC language, The Proceeding of SERE 2014, San Francisco, USA, June 2014.
[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.
[22]HengyangWu,YixiangChen:CoalgebrasforFuzzyTransitionSystems.Electr.NotesTheor.Comput.Sci.(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
[19] YanwenChen,YixiangChen.Real-TimeSchedulinginCyber-PhysicalSystems.Control Engineering and applied informatics, 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.
[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
[15] HaiyuPan,MinZhang,YixiangChen.BisimulationforLattice-valuedTransitionSystems.In: TASE 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, March 2012.
[13] Yanwen Chen, Yixiang Chen, and Eric Madelaine, TimedpNets: A formal communicationbehavior model for real-time CPS system, published in the workshop of TrustworthyCyber-Physical Systems in conjunction with CONCUR 2012, 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, 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, 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.
[8] Henyang Wu‚ Yixiang Chen‚ A Duality Theorem for Quantitative Semantics‚ Electronic Notes in Theoretical Computer Science‚ 2010.
[7] Yixiang Chen‚ Xinxing Wu‚ Success Measurement of Web Services with BPEL‚ SOSE 2010‚ IEEE Computer Society.
[6] Hongqwei Tao‚ Yixiang Chen‚ Another Metric Model for Trustworthiness of Softwares Based on Partition‚ AISC, 2010.
[5] Yixiang chen‚ Min Zhang‚ Hong Zhu‚ Tianming Bu‚ Average Transitive Degrees for Trustworthy Network. Lecture Notes in Computer Science‚ 2009.
[4] Yi-Xiang Chen & Heng-Yang Wu‚ Domain Semantics of Possibility‚ 《Information Science》(2008）
[3] Yi-Xiang Chen & Heng-Yang Wu‚ Semantics of Sub-probability Programs‚ 《Frontier of Computer Science in China》, 2008.
[2] Chen Yi-Xiang‚ Achim Jung‚ A Logical Approach to Stable Domains. 《Theoretical Computer Science》（2006）
[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》 (2006)
