Obserwuj
Zijiang Yang
Zijiang Yang
Professor of Computer Science, Western Michigan University
Zweryfikowany adres z wmich.edu - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Deep learning approaches for mining structure-property linkages in high contrast composites from simulation datasets
Z Yang, YC Yabansu, R Al-Bahrani, W Liao, AN Choudhary, SR Kalidindi, ...
Computational Materials Science 151, 278-287, 2018
2902018
System and method for modeling, abstraction, and analysis of software
F Ivancic, PN Ashar, M Ganai, A Gupta, Z Yang
US Patent 7,346,486, 2008
2892008
Microstructural materials design via deep adversarial learning methodology
Z Yang, X Li, L Catherine Brinson, AN Choudhary, W Chen, A Agrawal
Journal of Mechanical Design 140 (11), 111416, 2018
2242018
Software defect prediction based on kernel PCA and weighted extreme learning machine
Z Xu, J Liu, X Luo, Z Yang, Y Zhang, P Yuan, Y Tang, T Zhang
Information and Software Technology 106, 182-200, 2019
1652019
The impact of feature selection on defect prediction performance: An empirical comparison
Z Xu, J Liu, Z Yang, G An, X Jia
2016 IEEE 27th international symposium on software reliability engineering …, 2016
1632016
Efficient SAT-based bounded model checking for software verification
F Ivančić, Z Yang, MK Ganai, A Gupta, P Ashar
Theoretical Computer Science 404 (3), 256-274, 2008
1612008
F-Soft: Software Verification Platform
F Ivančić, Z Yang, MK Ganai, A Gupta, I Shlyakhter, P Ashar
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
1562005
Establishing structure-property localization linkages for elastic deformation of three-dimensional high contrast composites using deep learning approaches
Z Yang, YC Yabansu, D Jha, W Liao, AN Choudhary, SR Kalidindi, ...
Acta Materialia 166, 335-345, 2019
1512019
SAT-based image computation with application in reachability analysis
A Gupta, Z Yang, P Ashar, A Gupta
International Conference on Formal Methods in Computer-Aided Design, 391-408, 2000
142*2000
Model checking C programs using F-Soft
F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang
2005 International Conference on Computer Design, 297-308, 2005
1322005
Generating data race witnesses by an SMT-based analysis
M Said, C Wang, Z Yang, K Sakallah
NASA Formal Methods Symposium, 313-327, 2011
1112011
Is there a best symbolic cycle-detection algorithm?
K Fisler, R Fraer, G Kamhi, MY Vardi, Z Yang
International Conference on Tools and Algorithms for the Construction and …, 2001
1112001
Peephole partial order reduction
C Wang, Z Yang, V Kahlon, A Gupta
International Conference on Tools and Algorithms for the Construction and …, 2008
1092008
Iterative abstraction using SAT-based BMC with proof analysis
A Gupta, M Ganai, Z Yang, P Ashar
ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No …, 2003
1022003
sCompile: Critical path identification and analysis for smart contracts
J Chang, B Gao, H Xiao, J Sun, Y Cai, Z Yang
Formal Methods and Software Engineering: 21st International Conference on …, 2019
972019
Opportunistic networks for emergency applications and their standard implementation framework
L Lilien, A Gupta, Z Yang
2007 IEEE International Performance, Computing, and Communications …, 2007
952007
Learning from BDDs in SAT-based bounded model checking
A Gupta, M Ganai, C Wang, Z Yang, P Ashar
Proceedings of the 40th annual Design Automation Conference, 824-829, 2003
762003
A real-time iterative machine learning approach for temperature profile prediction in additive manufacturing processes
A Paul, M Mozaffar, Z Yang, W Liao, A Choudhary, J Cao, A Agrawal
2019 IEEE International Conference on Data Science and Advanced Analytics …, 2019
752019
Characterizing attacks on deep reinforcement learning
X Pan, C Xiao, W He, S Yang, J Peng, M Sun, J Yi, Z Yang, M Liu, B Li, ...
arXiv preprint arXiv:1907.09470, 2019
732019
Context aware machine learning approaches for modeling elastic localization in three-dimensional composite microstructures
R Liu, YC Yabansu, Z Yang, AN Choudhary, SR Kalidindi, A Agrawal
Integrating Materials and Manufacturing Innovation 6, 160-171, 2017
732017
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20