Zheng Wang

According to our database, Zheng Wang authored at least 33 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2018

Low-cost vector map assisted navigation strategy for autonomous vehicle.

Wenda Li, Xianjie Meng, Zheng Wang, Wenqi Fang, Jie Zou, Huiyun Li, Tianfu Sun, Jianing Liang

Proceedings of the 2018 IEEE Asia Pacific Conference on Circuits and Systems, 2018

2014

The semantics and verification of timed service choreography.

Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su

Int. J. Comput. Math., 2014

Runtime Verification by Convergent Formula Progression.

Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

A novel requirement analysis approach for periodic control systems.

Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He

Frontiers Comput. Sci., 2013

On the Relationship between LTL Normal Forms and Büchi Automata.

Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

MDM: A Mode Diagram Modeling Framework

Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

On the Relationship between LTL Normal Forms and Buechi Automata

Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen

CoRR, 2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

MDM: A Mode Diagram Modeling Framework for Periodic Control Systems

Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He

CoRR, 2012

The stochastic semantics and verification for periodic control systems.

Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He

Sci. China Inf. Sci., 2012

A Type System for SPARDL.

Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

An Approach to Requirement Analysis for Periodic Control Systems.

Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

2011

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang

CoRR, 2011

A Unifying Approach to Validating Specification-Oriented XML Constraints.

Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

An Event-B Interpretation for SPARDL Model.

Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Statistical Model Checking for Networks of Priced Timed Automata.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Time for Statistical Model Checking of Real-Time Systems.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Web services choreography validation.

Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu

Serv. Oriented Comput. Appl., 2010

A Parallel Approach to Concolic Testing with Low-cost Synchronization.

Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

A Formal Model for Service Choreography with Exception Handling and Finalization.

Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Constraint Checking for XML-Based Language Specification by SAT Solver.

Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

SPARDL: A Requirement Modeling Language for Periodic Control System.

Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Automatically Testing Web Services Choreography with Assertions.

Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Static validation of WS-CDL documents.

Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun

Simul. Model. Pract. Theory, 2009

Test Data Generation for Derived Types in C Program.

Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu

Proceedings of the TASE 2009, 2009

Towards Scalable Compositional Test Generation.

Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu

Proceedings of the Ninth International Conference on Quality Software, 2009

2008

Static Check of WS-CDL Documents.

Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Denotational Model for Web Services Choreography.

Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He

Proceedings of the Distributed Computing and Internet Technology, 2008

Execution Semantics for rCOS.

Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

The Verification of rCOS Using Spin.

Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Tool Support for BPEL Verification in ActiveBPEL Engine.

Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

The Validation and Verification of WSCDL.

Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007