Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.

Y. Bao, M. Chen, Q. Zhu, T. Wei, F. Mallet, and T. Zhou. IEEE Trans. on CAD of Integrated Circuits and Systems, 36 (12): 1989-2002 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Huan Zhou University of Stuttgart

Yangchao Zhou University of Stuttgart

Qian Zhou University of Stuttgart

Other publications of authors with the same name

Applying SOFL to a Railway Interlocking System in Industry.J. Luo, S. Liu, Y. Wang, and T. Zhou. SOFL+MSVL, volume 10189 of Lecture Notes in Computer Science, page 160-177. (2016)Automatic Test Generation of Large Boolean Expressions in Computer Based Interlocking System.Z. Li, J. Liu, H. Sun, T. Zhou, and J. Sun. APSEC, page 513-520. IEEE Computer Society, (2017)Safety Requirements Specification and Verification for Railway Interlocking Systems.L. Han, J. Liu, T. Zhou, J. Sun, and X. Chen. COMPSAC, page 335-340. IEEE Computer Society, (2016)Automating Consistency Verification of Safety Requirements for Railway Interlocking Systems.X. Chen, Z. Zhong, Z. Jin, M. Zhang, T. Li, X. Chen, and T. Zhou. RE, page 308-318. IEEE, (2019)Decomposing Automatic Train Control Verification System with Projection.J. Xu, X. Chen, T. Zhou, Z. Yuan, and K. Huang. APSEC, page 301-308. IEEE Computer Society, (2015)Intelligent-Prediction Model of Safety-Risk for CBTC System by Deep Neural Network.Y. Zhang, J. Liu, J. Sun, X. Chen, and T. Zhou. CollaborateCom, volume 292 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 669-680. Springer, (2019)Hybrid Lustre.Z. Yuan, T. Zhou, J. Liu, J. Luo, Y. Zhang, and X. Chen. Ershov Memorial Conference, volume 9609 of Lecture Notes in Computer Science, page 325-340. Springer, (2015)Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.Y. Bao, M. Chen, Q. Zhu, T. Wei, F. Mallet, and T. Zhou. IEEE Trans. on CAD of Integrated Circuits and Systems, 36 (12): 1989-2002 (2017)Improving Testing Coverage for Safety-Critical System by Mutated Specification.T. Zhou, H. Sun, J. Liu, X. Chen, and D. Du. APSEC (1), page 43-46. IEEE Computer Society, (2014)Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection.Z. Yuan, X. Chen, J. Liu, Y. Yu, H. Sun, T. Zhou, and Z. Jin. IEEE Trans. Intelligent Transportation Systems, 19 (11): 3517-3528 (2018)

PUMA

Disambiguation of "Zhou, Tingliang"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.

Please choose a person to relate this publication to

Dr. -Ing. Huan Zhou University of Stuttgart

Yangchao Zhou University of Stuttgart

Qian Zhou University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Zhou, Tingliang"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.

Please choose a person to relate this publication to

Dr. -Ing. Huan Zhou University of Stuttgart

Yangchao Zhou University of Stuttgart

Qian Zhou University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.