Zheng Wang

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 2

Top Topics

Linear Time Temporal Logic

Modeling Framework

Top Venues

Theories of Programming and Formal Methods

Publications

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE (2020)
Wenda Li, Xianjie Meng, Zheng Wang, Wenqi Fang, Jie Zou, Huiyun Li, Tianfu Sun, Jianing Liang
Low-cost vector map assisted navigation strategy for autonomous vehicle. APCCAS (2018)
Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su
The semantics and verification of timed service choreography. Int. J. Comput. Math. 91 (3) (2014)
Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen
Runtime Verification by Convergent Formula Progression. APSEC (1) (2014)
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen
On the Relationship between LTL Normal Forms and Büchi Automata. Theories of Programming and Formal Methods (2013)
Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He
A novel requirement analysis approach for periodic control systems. Frontiers Comput. Sci. 7 (2) (2013)
Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He
The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. 55 (12) (2012)
Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu
MDM: A Mode Diagram Modeling Framework FTSCS (2012)
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata QAPL (2012)
Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems CoRR (2012)
Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu
An Approach to Requirement Analysis for Periodic Control Systems. SEW (2012)
Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu
A Type System for SPARDL. TASE (2012)
Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen
On the Relationship between LTL Normal Forms and Buechi Automata CoRR (2012)
Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu
An Event-B Interpretation for SPARDL Model. HASE (2011)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang
Time for Statistical Model Checking of Real-Time Systems. CAV (2011)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata CoRR (2011)
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang
Statistical Model Checking for Networks of Priced Timed Automata. FORMATS (2011)
Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang
A Parallel Approach to Concolic Testing with Low-cost Synchronization. Electron. Notes Theor. Comput. Sci. 274 (2011)
Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu
A Unifying Approach to Validating Specification-Oriented XML Constraints. HASE (2011)
Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu
Constraint Checking for XML-Based Language Specification by SAT Solver. SSIRI (Companion) (2010)
Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding
Automatically Testing Web Services Choreography with Assertions. ICFEM (2010)
Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu
A Formal Model for Service Choreography with Exception Handling and Finalization. TASE (2010)
Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu
Web services choreography validation. Serv. Oriented Comput. Appl. 4 (4) (2010)
Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu
SPARDL: A Requirement Modeling Language for Periodic Control System. ISoLA (1) (2010)
Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu
Towards Scalable Compositional Test Generation. QSIC (2009)
Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun
Static validation of WS-CDL documents. Simul. Model. Pract. Theory 17 (8) (2009)
Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu
Test Data Generation for Derived Types in C Program. TASE (2009)
Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu
Static Check of WS-CDL Documents. SOSE (2008)
Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He
Execution Semantics for rCOS. APSEC (2008)
Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu
The Verification of rCOS Using Spin. Electron. Notes Theor. Comput. Sci. 207 (2008)
Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He
A Denotational Model for Web Services Choreography. ICDCIT (2008)
Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He
The Validation and Verification of WSCDL. APSEC (2007)
Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai
Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC (2007)