Visible to the public Biblio

Filters: Keyword is 1646381  [Clear All Filters]
2018-05-25
H. Liang, P. Deng, B. Zheng, Q. Zhu.  Submitted.  Extensible Software Synthesis for Automotive Cyber-Physical Systems. in preparation.
Qi Zhu, Hengyi Liang, Licong Zhang, D. Roy, Wenchao Li, S. Chakraborty.  2017.  Extensibility-driven automotive in-vehicle architecture design. 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC). :1-6.
H. Liang, Z. Wang, B. Zheng, Q. Zhu.  2017.  Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems. 2017 IEEE/ACM International Symposium on Networks-on-Chip (NOCS).
B. Zheng, M. O. Sayin, C. W. Lin, S. Shiraishi, Q. Zhu.  2017.  Timing and Security Analysis Framework for VANET-based Intelligent Transportation Systems. 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Y. Bao, M. Chen, Q. Zhu, T. wei, F. Mallet, T. Zhou.  2017.  Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. PP:1-1.
M. Chen, X. Zhang, H. Gu, T. wei, Q. Zhu.  2017.  Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling Under Thermal and Energy Variations. IEEE Transactions on Sustainable Computing. PP:1-1.
B. Zheng, C. W. Lin, H. Liang, S. Shiraishi, W. Li, Q. Zhu.  2017.  Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management. 2017 IEEE International Conference on Smart Computing (SMARTCOMP). :1–8.
S. A. Seshia, S. Hu, W. Li, Q. Zhu.  2017.  Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 36:1421–1434.