Zheng Wang

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