Zining Cao

Int. J. Softw. Eng. Knowl. Eng., 2019

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

[BibT_eX]

[DOI]

IEEE Access, 2019

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

[BibT_eX]

[DOI]

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

Parallel Monte Carlo Integration Algorithm Based on GPU.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2017

A specification with performance evaluation for probabilistic timed automata.

[BibT_eX]

[DOI]

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

Modeling and validation for embedded software confidentiality and integrity.

[BibT_eX]

[DOI]

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

The Formal Transformation of AADL Based on Z-CoIA.

[BibT_eX]

[DOI]

Fugao Zhang

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

2016

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

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2016

2015

Modeling Dependability Features for Real-Time Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2015

2014

Refinement Checking for Multirate Hybrid ZIA.

[BibT_eX]

[DOI]

Guozheng Li

Zheng Gao

CoRR, 2014

2013

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

[BibT_eX]

[DOI]

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

2012

More on bisimulations for higher order π-calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

A Calculus of Higher Order Safe Ambients and Its Bisimulations.

[BibT_eX]

[DOI]

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

Modal ZIA, Modal Refinement Relation and Logical Characterization.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2011

Extending Interface Automata with Z Notation.

[BibT_eX]

[DOI]

Hui Wang

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

Hybrid ZIA and its Approximated Refinement Relation.

[BibT_eX]

Hui Wang

Proceedings of the ENASE 2011, 2011

2010

Reducing Higher Order Pi-Calculus to Spatial Logics

[BibT_eX]

[DOI]

CoRR, 2010

Bisimulations for Open Processes in Higher Order p-Calculus.

[BibT_eX]

[DOI]

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

Model Checking LOOP Programs.

[BibT_eX]

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

Refinement Checking for Interface Automata with Z Notation.

[BibT_eX]

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.

[BibT_eX]

[DOI]

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

2009

A True Concurrent Process Calculus and Its Conflict Bisimulation.

[BibT_eX]

[DOI]

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

Modeling Cost-Aware Web Services Composition Using PTCCS.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Distributed Viewpoint Equivalences for Higher Order Processes.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

A Logic for Distributed Higher Order pi-Calculus.

[BibT_eX]

[DOI]

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

Counterexample Generation for Probabilistic Timed Automata Model Checking.

[BibT_eX]

[DOI]

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

2007

Bisimulations for a Distributed Higher Order <i>pi</i> -Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007

Towards an Epistemic Logic for Uncertain Agents.

[BibT_eX]

[DOI]

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

2006

Model Checking for Epistemic and Temporal Properties of Uncertain Agents.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing III, 2006

More on Bisimulations for Higher Order <i>pi</i>-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2006

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

[BibT_eX]

[DOI]

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

A Complete Probabilistic Belief Logic.

[BibT_eX]

[DOI]

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

A Spatial Logical Characterisation of Context Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computer Science, 2006

2004

A Uniform Reduction Equivalence for Process Calculi.

[BibT_eX]

[DOI]

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

2003

Probabilistic Belief Logic and Its Probabilistic Aumann Semantics.

[BibT_eX]

[DOI]