# Zining Cao

According to our database

Collaborative distances:

^{1}, Zining Cao authored at least 38 papers between 2003 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

A PSO-Based CEGAR Framework for Stochastic Model Checking.

International Journal of Software Engineering and Knowledge Engineering, 2019

A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm.

IEEE Access, 2019

Genetic Algorithm-Based Assume-Guarantee Reasoning for Stochastic Model Checking.

Proceedings of the 17th IEEE International Conference on Software Engineering Research, 2019

2017

A specification with performance evaluation for probabilistic timed automata.

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

Modeling and validation for embedded software confidentiality and integrity.

Proceedings of the 12th International Conference on Intelligent Systems and Knowledge Engineering, 2017

The Formal Transformation of AADL Based on Z-CoIA.

Proceedings of the Cloud Computing and Security - Third International Conference, 2017

2016

Counterexample Generation in Stochastic Model Checking Based on PSO Algorithm with Heuristic.

International Journal of Software Engineering and Knowledge Engineering, 2016

2015

Modeling Dependability Features for Real-Time Embedded Systems.

IEEE Trans. Dependable Secur. Comput., 2015

2014

Refinement Checking for Multirate Hybrid ZIA.

CoRR, 2014

2013

Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice.

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2012

More on bisimulations for higher order π-calculus.

Theor. Comput. Sci., 2012

A Calculus of Higher Order Safe Ambients and Its Bisimulations.

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

Modal ZIA, Modal Refinement Relation and Logical Characterization.

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2011

Unified Modelling Functional and Non-Functional Aspects of Web Services Composition Using PTCCS 1.

Int. J. Web Service Res., 2011

Extending Interface Automata with Z Notation.

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Hybrid ZIA and its Approximated Refinement Relation.

Proceedings of the ENASE 2011, 2011

2010

Reducing Higher Order Pi-Calculus to Spatial Logics

CoRR, 2010

Bisimulations for Open Processes in Higher Order p-Calculus.

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

Model Checking LOOP Programs.

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Refinement Checking for Interface Automata with Z Notation.

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

An MDE Based Approach for Generating Software Architecture Models from Formal Specifications.

Proceedings of the 10th International Conference on Quality Software, 2010

2009

A True Concurrent Process Calculus and Its Conflict Bisimulation.

Proceedings of the 10th ACIS International Conference on Software Engineering, 2009

Modeling Cost-Aware Web Services Composition Using PTCCS.

Proceedings of the IEEE International Conference on Web Services, 2009

Distributed Viewpoint Equivalences for Higher Order Processes.

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008

Equivalence Checking for a Finite Higher Order pi-Calculus.

Proceedings of the Tests and Proofs, Second International Conference, 2008

A Logic for Distributed Higher Order pi-Calculus.

Proceedings of the Theory and Applications of Models of Computation, 2008

Counterexample Generation for Probabilistic Timed Automata Model Checking.

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

Bisimulations for a Distributed Higher Order

*pi*-Calculus.
Proceedings of the Theoretical Aspects of Computing, 2007

Towards an Epistemic Logic for Uncertain Agents.

Proceedings of the Multi-Agent Systems and Applications V, 2007

2006

Model Checking for Epistemic and Temporal Properties of Uncertain Agents.

Proceedings of the Agent Computing and Multi-Agent Systems, 2006

Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents.

Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

Model Checking for Real-Time Temporal, Cooperation and Epistemic Properties.

Proceedings of the Intelligent Information Processing III, 2006

More on Bisimulations for Higher Order

*pi*-Calculus.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems.

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

A Complete Probabilistic Belief Logic.

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

A Spatial Logical Characterisation of Context Bisimulation.

Proceedings of the Advances in Computer Science, 2006

2004

A Uniform Reduction Equivalence for Process Calculi.

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

Probabilistic Belief Logic and Its Probabilistic Aumann Semantics.

J. Comput. Sci. Technol., 2003