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

Using Coq for Formal Modeling and Verification of Timed Connectors.

W. Hong, M. Nawaz, X. Zhang, Y. Li, and M. Sun. SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 558-573. Springer, (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.

Shuai Zhang University of Stuttgart

Guanhua Zhang University of Stuttgart

Dr. -Ing. Jing Zhang University of Stuttgart

Jixing Zhang University of Stuttgart

Dr. Xi Zhang University of Stuttgart

Other publications of authors with the same name

Modeling and Verification of Component Connectors.X. Zhang. ICFEM, volume 11232 of Lecture Notes in Computer Science, page 419-422. Springer, (2018)A formal framework capturing real-time and stochastic behavior in connectors.Y. Li, X. Zhang, Y. Ji, and M. Sun. Sci. Comput. Program., (2019)Reasoning About Connectors in Coq.X. Zhang, W. Hong, Y. Li, and M. Sun. FACS, volume 10231 of Lecture Notes in Computer Science, page 172-190. (2016)Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.X. Zhang, Y. Li, W. Hong, and M. Sun. TASE, page 107-112. IEEE, (2019)Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.X. Zhang, X. Xie, L. Ma, X. Du, Q. Hu, Y. Liu, J. Zhao, and M. Sun. ICSE, page 739-751. ACM, (2020)SMT-Based Modeling and Verification of Cloud Applications.X. Zhang, and M. Sun. SERVICES, volume 11517 of Lecture Notes in Computer Science, page 1-15. Springer, (2019)Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks.X. Zhang, X. Du, X. Xie, L. Ma, Y. Liu, and M. Sun. AAAI, page 11699-11707. AAAI Press, (2021)Liver cancer identification based on PSO-SVM model.H. Jiang, F. Tang, and X. Zhang. ICARCV, page 2519-2523. IEEE, (2010)Using Coq for Formal Modeling and Verification of Timed Connectors.W. Hong, M. Nawaz, X. Zhang, Y. Li, and M. Sun. SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 558-573. Springer, (2017)Safe Inputs Approximation for Black-Box Systems.B. Xue, Y. Liu, L. Ma, X. Zhang, M. Sun, and X. Xie. ICECCS, page 180-189. IEEE, (2019)