- Yixiang Chen
- Titile: Full Professor
- Research Areas: Real-time Systems, Formal Models
- School of Software Engineering
 |
|  |
| ||||||||
 |
|  |
| ||||||||
 |
|  |
| ||||||||
 |
| | |||||||||
| | | ||||||||||
| | |||||||||||
(1) Logical Foundation in Computer Science and Technology ‚ Reseach Students‚ Fall semester ‚ 2009.
(2) Data Mining‚ Spring semester‚ 2009.
(3) Formal Semantics of Programming Languages‚ Research Students‚ Spring Semester 2010
Professor Yixiang Chen is Chair of the MoE Key Research Center for Software/Hardware Co-design Engineering at East China Normal University (ECNU) and directs the research on Foundation of Software Trustworthiness at Software Engineering Institute (SEI)‚ ECNU.
He hasworked in the field of Formal Semantics and Domain Theory for over eighteen years. In 1992 he joined the Department of Mathematics at Shaanxi Normal University as a Research Student and received the PhD degree there in Stable Domain Theory. He was promoted to Post Researcher in1995 in Mathematics at Suzhou University. In 1997 he moved to Shanghai Normal University where he founded the Computer Science Group. In 2006 he moved to East China Normal University and founded the Group of Foundation of Software Trustworthiness and co-directed the Shanghai Key Laboratory of Trustworthy Computing.
Professor Chen has published more than 40 papers in various journals‚ e.g.‚ Theoretical Computer Science‚ Information Science‚ Computer and Mathematics with Applications. He also published a research monograph Stable Domain Theory of Formal Semantics (in Chinese‚ Science Press‚ Beijing‚ March 2003 ) and edited three booksin areas of Domain Theory‚ Formal Semantics and Foundation of Software Trustworthiness. Heoriginated both lattice and logical representations of stable domains and domain semantics of possibility computations as well as the metric models for software trustworthiness.
Dr. Chen has led several key research projects and nowleads the CNSF-funded project on Multi-attributes-based Measurement Models of Software Trustworthiness for the key project on Trustworthy Software Foundation. He is an associate Editor of Frontier of Computer Science in China‚ Program co-Chair of ISDT99 and 09 on Domain Theory‚ FICS08 on Foundation of Informatics‚ Computing and Software and QL&QS09 on Quantitative Logic and Quantification of Softwares.
His research interests includes Real-time System‚ Formal Models‚ Formal Semantics of Programming‚ Foundation of Computations and Trustworthy Network.
His research was suported by funds as follows:
(1) Study on Software Physicalization‚ 973 Project
(2) Measurement Model of Software Trustworthiness‚ 863 Project
(3) Based on multi-attributes Software Trustworthiness‚ NSFC
(4) Semantics of Programming with Fuzziness‚ NSFC
His publications
[1]. Yi-xiang Chen‚ Stable Doman Theory of Formal Semantics‚ Science Press‚ Beijing‚ June 2003。
[2]. Yanwen Chen‚ Fabrice Huet and Yixiang Chen‚ Implementation and Optimization of RDF Query Using HADOOP (Accepted)‚
First International Conference on Cloud Computing and Services Science (CLOSER 2011)‚ May 7-9‚ 2011‚ Noordwijkerhout‚ The Netherlands.
[3]. Hongwei Tao‚ Yixiang Chen‚ A New Metric Model for Trustworthiness of Softwares‚ Telecommunication Systems‚ 2011‚ (Accepted).
[4] .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.
[5] Henyang Wu‚ Yixiang Chen‚ A Duality Theorem for Quantitative Semantics‚ Electronic Notes in Theoretical Computer Science‚ 2010--Vol 257:87-97.
[6] Yixiang Chen‚ Xinxing Wu‚ Success Measurement of Web Services with BPEL‚ SOSE2010:86-90‚ IEEE Computer Society.
[7] Hongqwei Tao‚ Yixiang Chen‚ Another Metric Model for Trustworthiness of Softwares Based on Partition‚ AISC 2010--Vol 82:695-705.
[8] Yixiang chen‚ Min Zhang‚ Hong Zhu‚ Tianming Bu‚ Average Transitive Degrees for Trustworthy Network. Lecture Notes in Computer Science‚ Vol. 5589: 682-689‚2009
[9] 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
[10] 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
[11] Chen Yi-Xiang‚ Achim Jung‚ A Logical Approach to Stable Domains. 《Theoretical Computer Science》‚368（2006）124-148.
[12] 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.
[9] 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
[10] 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
[11] Chen Yi-Xiang‚ Achim Jung‚ A Logical Approach to Stable Domains. 《Theoretical Computer Science》‚368（2006）124-148.
[12] 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.
