Jiexin Zhang

Affiliations:

National University of Singapore, Singapore

According to our database¹, Jiexin Zhang authored at least 3 papers between 2012 and 2016.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2016

Formalizing and verifying stochastic system architectures using Monterey Phoenix.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2016

2012

Model Checking Software Architecture Design.

[BibT_eX]

[DOI]

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Using Monterey Phoenix to Formalize and Verify System Architectures.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Jiexin Zhang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...