趙涌鑫

研究方向

可信軟體工程、形式化方法

網路協定的建模與驗證

智慧型系統的理論建模、套用研究

功能安全

汽車電子嵌入式軟體的建模分析

信息物理融合系統的建模與驗證

個人經歷

Qualifications

- Major in Technology of Computer Application

- Major inInformationandComputational Science

Work Experiences

School of Computer Science and Software Engineering,East China Normal University (ECNU), China

- Associate Professor(2014 - current)

Computer Science Department,School of Computing,National University (NUS), Singapore

International Institute for SoftwareTechnology,United Nations University (UNU), Macau

主講課程

高等數學二、機率論與數理統計

學術成果

Supported By:

Publications:

Journals：

[J11] Genwang Gou,Yongxin Zhao*,Qin li, Qiwen Xu, A Mathematical Analysis of Improved EigenAnt Algorithm. Journal of Experimental and Theoretical Artificial Intelligence, 2018. (accepted)

[J10] Ling Shi,Yongxin Zhao*, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin, A UTP semantics for communicating processes with shared variables and its formal encoding in PVS. Formal Aspects of Computing, 2018

[J9]Jianmin Jiang, Huibiao Zhu, Qin Li,Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen: Event-Based Mobility Modeling and Analysis. TCPS (2017)

[J8]Yanhong Huang, Jifeng He, Huibiao Zhu,Yongxin Zhao, Jianqi Shi, Shengchao Qin: Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. (2015)

[J7] Jianmin Jiang, Huibiao Zhu, Qin Li,Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Analyzing Event-Based Scheduling in Concurrent Reactive Systems. ACM Trans. Embedded Comput. Sys. (2015)

[J6] Qin Li,Yongxin Zhao*, Huibiao Zhu, Jifeng He, A UTP Semantical Model for Orc Language with Execution Status and Fault Handling. Frontiers of Computer Science. pp 709-725, (2014)

[J5]Yongxin Zhao,Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He,Jianwen Li, Xi Wu,Investigating System Survivability from a Probabilistic Perspective.IEICE Transactionson Information and Systems. Vol.E97-D,，(2014)

[J4]Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, and Ting Su, The semantics and verification of timed service choreography, International Journal of Computer Mathematics, 2014.

[J3] Xi Wu, Huibiao Zhu,Yongxin Zhao,Zheng Wang, and Si Liu, Modeling and verifying the Ariadne protocol using process algebra, Comput. Sci. Inf. Syst., (2013)

[J2] Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen,Yongxin Zhao,Mingsong Chen, Bin Gu, Mengfei Yang, and Jifeng He, A novel requirement analysis approach for periodic control systems. Frontiers of Computer Science, (2013)

[J1] Zheng Wang, Lei Zhou,Yongxin Zhao,Jing Ping, Hao Xiao, Geguang Pu, and Huibiao Zhu, Web Services Choreography Validation. Service Oriented Computing and Application. (2010)

Conference & Workshops：

[C31]Yongxin Zhao, Xi Wu, Jing Liu and Yilong Yang, Formal Modeling and Security Analysis for OpenFlow based Networks. Proc. ICECCS 2018:23rd International Conference on Engineering of Complex Computer Systems, Melbourne, Australia, December 12-14, 2018.(accepted)

[C30] Xi Wu,Yongxin Zhao, Huibiao Zhu: Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. Proc. HASE 2016:17th IEEE International Symposium on High Assurance Systems Engineering,Orlando, FL, USA, January 7-9, 2016

[C29]Bo Li, Mengdi Wang,Yongxin Zhao, Geguang Pu, Huibiao Zhu, Fu Song: Modeling and Verifying Google File System. HASE 2015: 207-214

[C28]Yanhong Huang,Yongxin Zhao*, Shengchao Qin, Jifeng He: Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS 2015

[C27]Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun: Towards a Combination of CafeOBJ and PAT. Specification, Algebra, and Software 2014

[C26] Mengdi Wang, Bo Li,Yongxin Zhao, Geguang Pu: Formalizing Google File System. PRDC 2014

[C25]Xi Wu, Si Liu, Huibiao Zhu,Yongxin Zhao: Reasoning about Group-Based Mobility in MANETs. PRDC 2014

[C24] Longfei Zhu,Yongxin Zhao,Huibiao Zhu, and Qiwen Xu, Towards a Modeling Language for Cyber-Physical Systems. In Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer-verlag LNCS , 1-3 September, 2013, Shanghai, China.

[C23] Ling Shi,Yongxin Zhao,Yang Liu, Jun Sun, Jin Song Dong, and Shengchao Qin,A UTP Semantics for Communicating Processes with Shared Variables. Proc.ICFEM 2013:15th International Conference on Formal Engineering Methods, Springer-verlag LNCS Oct 29 - Nov 1, Queenstown, New Zealand.

[C22]Yanhong Huang,Yongxin Zhao,Jianqi Shi, and Huibiao Zhu. A Denotational Model for Interrupt-Driven Programs. Proc. ESSS2013: 2nd International Workshop on Engineering safety and Security Systems, March , 2013, Luxembourg.

[C21]Xi Wu, Si Liu, Huibiao Zhu,Yongxin Zhao,and Lei Chen, Modeling and Verifying the Ariadne Protocol Using CSP. Proc. ECBS2012: IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, Novi Sad, Serbia, 11-13 April, 2012, IEEE Computer Society

[C20]Yanhong Huang,Yongxin Zhao,Jianqi Shi, Huibiao Zhu, and Shengchao Qin, Investigating Time Properties of Interrupt-Driven Programs. Proc. SBMF2012: Formal Methods: Foundations and Applications, Springer-verlag LNCS 7498, Natal, Brazil, September , 2012.

[C19]Yongxin Zhao,Longfei Zhu, Huibiao Zhu, and Jifeng He, A Denotational Model for Instantaneous Signal Calculus. Proc. SEFM2012: Software Engineering and Formal Methods - 10th International Conference, Springer-verlag LNCS 7504,, 1-5 October, 2012, Thessaloniki, Greece.

[C18]Yanhong Huang,Yongxin Zhao,Shengchao Qin, Guanhuan He, and João F. Ferreira. A Timed CSP Model for the Time-Triggered Language Giotto. Proc. SEW2012: 35th Annual IEEE Software Engineering Workshop, Heraclion, Crete, Greece, October 12-13, 2012,IEEE Computer Society.

[C17]Chengcheng Wu,Yongxin Zhao,and Huibiao Zhu, Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions. Proc. UTP2012: Unifying Theories of Programming, 4th International Symposium, Springer-verlag LNCS 7681, Paris, France, August 27-28, 2012.

[C16]Xi Wu, Yue Zhang, Huibiao Zhu,Yongxin Zhao,Zailiang Sun, and Peng Liu, Formal Modeling and Analysis of the REST Architecture Using CSP. Proc. WS-FM: Web Services and Formal Methods - 9th International Workshop, Springer-verlag LNCS 7843, Tallinn, Estonia, September 6-7, 2012.

[C15]Yongxin Zhao,Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, and Huibiao He,A Unifying Approach to Validating Specification-Oriented XML Constraints. Proc. HASE2011: 13th IEEE International High Assurance Systems Engineering symposium. Boca Raton, FL, USA, 10-12 Nov, 2011,, IEEE Computer Society.

[C14] Jianwen Li, Zheng Wang,Yongxin Zhao,Geguang Pu, Bin Gu, and Yanxia Qi, An Event-B Interpretation for SPARDL Model. Porc. HASE2011: 13th IEEE International High Assurance Systems Engineering symposium. Boca Raton, FL, USA, 10-12 Nov, 2011,, IEEE Computer Society.

[C13]Si Liu,Yongxin Zhao,Huibiao Zhu, and Qin Li, A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. Proc. HASE2011: 13th IEEE International High Assurance Systems Engineering symposium. Boca Raton, FL, USA, 10-12 Nov, 2011, IEEE Computer Society.

[C12]Yongxin Zhao,Yanhong Huang, Jifeng He, and Si Liu, Formal Model of Interrupt Program from a Probabilistic Perspective. Proc. ICECCS2011: 16th IEEE International Conference on Engineering of Complex Computer Systems. Las Vegas, USA, 27-29 April, 2011, , IEEE Computer Society.

[C11]Yongxin Zhao,and Jifeng He, Towards a Signal Calculus for Event-Based Synchronous Languages. Proc. ICFEM2011: 13th International Conference on Formal Engineering Methods. Springer-verlag LNCS October, 2011, Durham, United Kingdom.

[C10] Yanhong Huang,Yongxin Zhao,Longfei Zhu, Qi Li, Huibiao Zhu, and Jianqi Shi, Modeling and Verifying the Code-Level OSEK/VDK Operating System with CSP. Proc. TASE2011:5th IEEE International Symposium on Theoretical Aspects of Software Engineering. Xi'an, China, 29-31 August, 2011,, IEEE Computer Society.

[C9] Si Liu,Yongxin Zhao,Huibiao Zhu, and Qi Li, Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. Proc. TASE2011:5th IEEE International Symposium on Theoretical Aspects of Software Engineering. Xi'an, China, 29-31 August, 2011, IEEE Computer Society.

[C8] Mengying Wang, Huibiao Zhu,Yongxin Zhao, and Liu Si, Modeling and Analyzing theμTESLA Protocol Using CSP. Proc. TASE2011:5th IEEE International Symposium on Theoretical Aspects of Software Engineering. Xi'an, China, 29-31 August, 2011, IEEE Computer Society.

[C7]Yongxin Zhao,Xu Wang, and Huibiao Zhu, Towards a Pomset Semantics for a Shared-Variable Parallel Language. Proc. UTP2010: 3rd International Symposium on Unifying Theories of Programming. Springer-verlag LNCS November, 2010, Shanghai, China.

[C6]Yongxin Zhao,Yanhong Huang, Jianwen Li, and Huibiao Zhu, Probabilistic Model of System Survivability. Proc. TASE2010:4th IEEE International Symposium on Theoretical Aspects of Software Engineering. Taipei, China, 24-27 August, 2010, IEEE Computer Society.

[C5]Yongxin Zhao,Zheng Wang, Geguang Pu, and Huibiao Zhu, A Formal Model for Service Choreography with Exception Handling and Finalization. Proc. TASE2010:4th IEEE International Symposium on Theoretical Aspects of Software Engineering. Taipei, China, 24-27 August, 2010, IEEE Computer Society.

[C4] Qin Li,Yongxin Zhao,Xiaofeng Wu, and Si Liu, Promoting Models. Proc. UTP2010: 3rd International Symposium on Unifying Theories of Programming. Springer-verlag LNCS 15-16 November, 2010, Shanghai, China.

[C3] Zheng Wang, Jianwen Li,Yongxin Zhao,Yanxia Qi, Geguang Pu, Jifeng He, and Bin Gu,SPARDL: A Requirement Modeling Language for Periodic Control System. Proc. IsoLA2010: 4th International Symposium on Leveraging Applications. Springer-verlag LNCS 18-21 October, 2010, Heraklion, Crete, Greece.

[C2] Huibiao Zhu,Yongxin Zhao, and Jifeng He,Locality-based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-driven System-level Language. Proc. ASWEC2009: 20th Australian Software Engineering Conference. Gold Cost, Australia, 14-17 April, 2009, IEEE Computer Society.

[C1] Geguang Pu,Yongxin Zhao*,Zheng Wang, Libo Feng, Huibiao Zhu, and Jifeng He,A Denotational Model for Web Service Choreography. Proc. ICDCIT2008: Distributed Computing and Internet Technology, 5th International Conference. Springer-verlag LNCS 10-12 December, 2008, New Delhi, India.

Dissertations

[1]Yongxin Zhao, The Theory ofSignal Calculus.Software Engineering Institute, East China Normal University, May, 2012.

趙涌鑫

基本介紹

研究方向

個人經歷

主講課程

學術成果

相關詞條

熱門詞條