Zheng Wang

Affiliations:
  • Beijing Institute of Control Engineering, Beijing, China
  • East China Normal University


According to our database1, Zheng Wang authored at least 36 papers between 2007 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2018
A CGRA based Neural Network Inference Engine for Deep Reinforcement Learning.
Proceedings of the 2018 IEEE Asia Pacific Conference on Circuits and Systems, 2018

Low-cost vector map assisted navigation strategy for autonomous vehicle.
Proceedings of the 2018 IEEE Asia Pacific Conference on Circuits and Systems, 2018

2014
The semantics and verification of timed service choreography.
Int. J. Comput. Math., 2014

Runtime Verification by Convergent Formula Progression.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci., 2013

Modeling and verifying the Ariadne protocol using process algebra.
Comput. Sci. Inf. Syst., 2013

A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

On the Relationship between LTL Normal Forms and Büchi Automata.
Proceedings of the Theories of Programming and Formal Methods, 2013

2012
MDM: A Mode Diagram Modeling Framework
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
CoRR, 2012

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
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
CoRR, 2012

The stochastic semantics and verification for periodic control systems.
Sci. China Inf. Sci., 2012

A Type System for SPARDL.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

An Approach to Requirement Analysis for Periodic Control Systems.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

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

A Unifying Approach to Validating Specification-Oriented XML Constraints.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

An Event-B Interpretation for SPARDL Model.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Statistical Model Checking for Networks of Priced Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Time for Statistical Model Checking of Real-Time Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Web services choreography validation.
Serv. Oriented Comput. Appl., 2010

A Parallel Approach to Concolic Testing with Low-cost Synchronization.
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.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Constraint Checking for XML-Based Language Specification by SAT Solver.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

SPARDL: A Requirement Modeling Language for Periodic Control System.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Automatically Testing Web Services Choreography with Assertions.
Proceedings of the Formal Methods and Software Engineering, 2010

2009
Static validation of WS-CDL documents.
Simul. Model. Pract. Theory, 2009

Test Data Generation for Derived Types in C Program.
Proceedings of the TASE 2009, 2009

Towards Scalable Compositional Test Generation.
Proceedings of the Ninth International Conference on Quality Software, 2009

2008
Static Check of WS-CDL Documents.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A Denotational Model for Web Services Choreography.
Proceedings of the Distributed Computing and Internet Technology, 2008

Execution Semantics for rCOS.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007
The Verification of rCOS Using Spin.
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Tool Support for BPEL Verification in ActiveBPEL Engine.
Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

The Validation and Verification of WSCDL.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007


  Loading...