Yuanjie Si

According to our database1, Yuanjie Si authored at least 9 papers between 2009 and 2024.

Collaborative distances:

Timeline

2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
1
1
2
1
2

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Denoising of Photon-Counting LiDAR Bathymetry Based on Adaptive Variable OPTICS Model and Its Accuracy Assessment.
Remote. Sens., September, 2024

2015
A Systematic Study on Explicit-State Non-Zenoness Checking for Timed Automata.
IEEE Trans. Software Eng., 2015

2014
Model checking with fairness assumptions using PAT.
Frontiers Comput. Sci., 2014

2013
Combining model checking and testing with an application to reliability prediction and distribution.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction.
Proceedings of the Formal Methods and Software Engineering, 2013

2010
Minimal role mining method for Web service composition.
J. Zhejiang Univ. Sci. C, 2010

A QoS ontology cooperated with feature models for non-functional requirements elicitation.
Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

2009
Selective Regression Test for Access Control System Employing RBAC.
Proceedings of the Advances in Information Security and Assurance, 2009

Preprocessing the noise in legacy user permission assignment data for role mining - An industrial practice.
Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009


  Loading...