Zongyuan Yang

According to our database1, Zongyuan Yang authored at least 25 papers between 2004 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


Verifying Static Aspects of UML models using Prolog (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Sparse coding based orientation estimation for latent fingerprints.
Pattern Recognition, 2017

Mechanized semantics and refinement of UML-Statecharts.
Frontiers of IT & EE, 2017

Continuous simulation abstraction refinement for Markov decision processes.
Proceedings of the 4th International Conference on Systems and Informatics, 2017

Multiphase until formulas over Markov reward models: An algebraic approach.
Theor. Comput. Sci., 2016

On the use of probabilistic model checking for reliability evaluation.
Proceedings of the 3rd International Conference on Systems and Informatics, 2016

Latent fingerprint segmentation based on linear density.
Proceedings of the International Conference on Biometrics, 2016

Model-Based Continuous Verification.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

A metamodeling level transformation from UML sequence diagrams to Coq.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

A Novel Membrane Algorithm to Finding Global Shipping Route.
Proceedings of the Bio-Inspired Computing - Theories and Applications, 2014

A metamodeling approach for pattern specification and management.
Journal of Zhejiang University - Science C, 2013

Mobile Agent-Based Resource Allocation with Market-Oriented Approach in Sensor Networks.
Proceedings of the Applied Informatics and Communication - International Conference, 2011

Performance Analysis of System Model Based on UML State Diagrams and Continuous-time Markov Chains.
JSW, 2010

Quantitative Analysis of System Based on Extended UML State Diagrams and Probabilistic Model Checking.
JSW, 2010

Modelling and Verifying of Medical Diagnosis System Based on Context-Awareness Framework.
Proceedings of the Fifth International Conference on Frontier of Computer Science and Technology, 2010

Formal Model and Analysis of Sliding Window Protocol Based on NuSMV.
JCP, 2009

Combinatorial Auctions Based Network Resource Allocation Mechanism with High Welfare.
Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

Formal semantics of UML state diagram and automatic verification based on Kripke structure.
Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, 2009

Strategies of Modeling from VDM-SL to JML.
Proceedings of the ALPIT 2008, 2008

Trustable Ad Hoc Networks of Agent Societies.
Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

A Context-Based Analysis of Intrusion Detection for Policy Violation.
Proceedings of the Computational Intelligence and Security, International Conference, 2007

A basic model for components implementation of software architecture.
ACM SIGSOFT Software Engineering Notes, 2004

JAOUT: Automated Generation of Aspect-Oriented Unit Test.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

JCMP: Linking Architecture with Component Building.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004