Jiexin Zhang

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 1

Top Topics

Software Architecture

Stochastic Models

Automated Verification

Stochastic Nature

Top Venues

Softw. Syst. Model.

Publications

Songzheng Song, Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen
Formalizing and verifying stochastic system architectures using Monterey Phoenix. Softw. Syst. Model. 15 (2) (2016)
Jiexin Zhang, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong
Using Monterey Phoenix to Formalize and Verify System Architectures. APSEC (2012)
Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong, Jun Sun
Model Checking Software Architecture Design. HASE (2012)