• 1266 Citations
20032020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

2020

MaskPlus: Improving mask generation for instance segmentation

Xu, S., Lan, S. & Zhu, Q., Mar 2020, Proceedings - 2020 IEEE Winter Conference on Applications of Computer Vision, WACV 2020. Institute of Electrical and Electronics Engineers Inc., p. 2019-2027 9 p. 9093379. (Proceedings - 2020 IEEE Winter Conference on Applications of Computer Vision, WACV 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

SAW: A Tool for Safety Analysis of Weakly-Hard Systems

Huang, C., Chang, K. C., Lin, C. W. & Zhu, Q., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 543-555 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

信息物理系统软件设计自动化专题前言

Translated title of the contribution: PrefaceBu, L., Chen, M. S., Zhu, Q. & Liu, C., Jun 1 2020, In : Ruan Jian Xue Bao/Journal of Software. 31, 6, p. 1585-1586 2 p.

Research output: Contribution to journalArticle

2019

Design and analysis of delay-tolerant intelligent intersection management

Zheng, B., Lin, C. W., Shiraishi, S. & Zhu, Q., Nov 2019, In : ACM Transactions on Cyber-Physical Systems. 4, 1, A3.

Research output: Contribution to journalArticle

1 Scopus citations

Design Automation for Intelligent Automotive Systems

Lan, S., Huang, C., Wang, Z., Liang, H., Su, W. & Zhu, Q., Jan 23 2019, International Test Conference 2018, ITC 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8624723. (Proceedings - International Test Conference; vol. 2018-October).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Exploring weakly-hard paradigm for networked systems

Huang, C., Wardega, K., Li, W. & Zhu, Q., Apr 15 2019, DESTION 2019 - Proceedings of the Workshop on Design Automation for CPS and IoT. Ramachandran, G. S. & Ortiz, J. (eds.). Association for Computing Machinery, Inc, p. 51-59 9 p. (DESTION 2019 - Proceedings of the Workshop on Design Automation for CPS and IoT).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Formal verification of weakly-hard systems

Huang, C., Li, W. & Zhu, Q., Apr 16 2019, HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc, p. 197-207 11 p. (HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

High performance low cost package and platform design for 56G PAM4 SerDes

Zhu, Q., Wu, H., Matta, K. & Akinwale, O., Dec 2019, EDAPS 2019 - Electrical Design of Advanced Packaging and Systems Symposium. Institute of Electrical and Electronics Engineers Inc., 9011658. (IEEE Electrical Design of Advanced Packaging and Systems Symposium; vol. 2019-December).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Job-class-level fixed priority scheduling of weakly-hard real-time systems

Choi, H., Kim, H. & Zhu, Q., Apr 1 2019, Proceedings - 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019. Brandenburg, B. B. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 241-253 13 p. 8743299. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2019-April).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems

Zheng, B., Liang, H., Wang, Z. & Zhu, Q., 2019, Safe, Autonomous and Intelligent Vehicles. Yu, H., Li, X., Murray, R. M., Ramesh, S. & Tomlin, C. J. (eds.). Springer International Publishing, p. 163-186 24 p. (Unmanned System Technologies).

Research output: Chapter in Book/Report/Conference proceedingChapter

Partitioning and selection of data consistency mechanisms for multicore real-time systems

Al-Bayati, Z., Sun, Y., Zeng, H., Di Natale, M., Zhu, Q. & Meyer, B. H., 2019, In : ACM Transactions on Embedded Computing Systems. 18, 4, 35.

Research output: Contribution to journalArticle

ReachNN: Reachability analysis of neural-network controlled systems

Huang, C., Fan, J., Li, W., Chen, X. & Zhu, Q., Oct 2019, In : ACM Transactions on Embedded Computing Systems. 18, 5s, a106.

Research output: Contribution to journalArticle

3 Scopus citations

Security-driven codesign with weakly-hard constraints for real-time embedded systems

Liang, H., Wang, Z., Roy, D., Dey, S., Chakraborty, S. & Zhu, Q., Nov 2019, Proceedings - 2019 IEEE International Conference on Computer Design, ICCD 2019. Institute of Electrical and Electronics Engineers Inc., p. 217-226 10 p. 8988730. (Proceedings - 2019 IEEE International Conference on Computer Design, ICCD 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Special track on CPS

Hu, J., Xue, J. & Zhu, Q., 2019, In : Proceedings of the ACM Symposium on Applied Computing. Part F147772, p. 228 1 p.

Research output: Contribution to journalEditorial

Towards verification-aware knowledge distillation for neural-network controlled systems: Invited paper

Fan, J., Huang, C., Li, W., Chen, X. & Zhu, Q., Nov 2019, 2019 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2019 - Digest of Technical Papers. Institute of Electrical and Electronics Engineers Inc., 8942059. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2019-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

A Deep Reinforcement Learning Framework for Optimizing Fuel Economy of Hybrid Electric Vehicles

Zhao, P., Wang, Y., Chang, N., Zhu, Q. & Lin, X., 2018, Proceedings of the 23rd Asia and South Pacific Design Automation Conference (ASP-DAC’18). p. 196-202 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Codesign Methodologies and Tools for Cyber-Physical Systems

Zhu, Q. & Sangiovanni-Vincentelli, A., Sep 2018, In : Proceedings of the IEEE. 106, 9, p. 1484-1500 17 p., 8466985.

Research output: Contribution to journalArticle

8 Scopus citations

Design Automation for Cyber-Physical Systems [Scanning the Issue]

Zhu, Q., Sangiovanni-Vincentelli, A., Hu, S. & Li, X., Sep 2018, In : Proceedings of the IEEE. 106, 9, p. 1479-1483 5 p., 8466994.

Research output: Contribution to journalArticle

5 Scopus citations

FFNet: Video Fast-Forwarding via Reinforcement Learning

Lan, S., Panda, R., Zhu, Q. & Roy-Chowdhury, A. K., Dec 14 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 6771-6780 10 p. 8578806. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Model-based and data-driven approaches for building automation and control

Wei, T., Chen, X., Li, X. & Zhu, Q., Nov 5 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2018 - Digest of Technical Papers. Institute of Electrical and Electronics Engineers Inc., a26. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Network and system level security in connected vehicle applications

Liang, H., Jagielski, M., Zheng, B., Lin, C. W., Kang, E., Shiraishi, S., Nita-Rotaru, C. & Zhu, Q., Nov 5 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2018 - Digest of Technical Papers. Institute of Electrical and Electronics Engineers Inc., a94. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations

Package Design Optimization for Intel SoC Xeon-D

Zhu, Q., Venkataraman, S., Ye, C., Chandrasekhar, A. & Ruiz, C. M., Apr 2018, In : IEEE Transactions on Components, Packaging and Manufacturing Technology. 8, 4, p. 531-537 7 p.

Research output: Contribution to journalArticle

1 Scopus citations

Peak-aware online economic dispatching for microgrids

Zhang, Y., Hajiesmaili, M. H., Cai, S., Chen, M. & Zhu, Q., Jan 2018, In : IEEE Transactions on Smart Grid. 9, 1, p. 323-335 13 p.

Research output: Contribution to journalArticle

18 Scopus citations

Sustainability-oriented evaluation and optimization for MPSoC task allocation and scheduling under thermal and energy variations

Chen, M., Zhang, X., Gu, H., Wei, T. & Zhu, Q., Apr 1 2018, In : IEEE Transactions on Sustainable Computing. 3, 2, p. 84-97 14 p.

Research output: Contribution to journalArticle

Open Access
1 Scopus citations
2017

Addressing extensibility and fault tolerance in CAN-based automotive systems

Liang, H., Wang, Z., Zheng, B. & Zhu, Q., Oct 19 2017, 2017 11th IEEE/ACM International Symposium on Networks-on-Chip, NOCS 2017. Association for Computing Machinery, Inc, 10. (2017 11th IEEE/ACM International Symposium on Networks-on-Chip, NOCS 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

An optimal energy co-scheduling framework for smart buildings

Cui, T., Chen, S., Wang, Y., Zhu, Q., Nazarian, S. & Pedram, M., Jun 1 2017, In : Integration, the VLSI Journal. 58, p. 528-537 10 p.

Research output: Contribution to journalArticle

4 Scopus citations

Co-scheduling of datacenter and HVAC loads in mixed-use buildings

Wei, T., Islam, M. A., Ren, S. & Zhu, Q., Apr 4 2017, 2016 7th International Green and Sustainable Computing Conference, IGSC 2016. Institute of Electrical and Electronics Engineers Inc., 7892609. (2016 7th International Green and Sustainable Computing Conference, IGSC 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Deep reinforcement learning: Framework, applications, and embedded implementations: Invited paper

Li, H., Wei, T., Ren, A., Zhu, Q. & Wang, Y., Dec 13 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. Institute of Electrical and Electronics Engineers Inc., p. 847-854 8 p. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Scopus citations

Deep Reinforcement Learning for Building HVAC Control

Wei, T., Wang, Y. & Zhu, Q., Jun 18 2017, Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017. Institute of Electrical and Electronics Engineers Inc., 22. (Proceedings - Design Automation Conference; vol. Part 128280).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

54 Scopus citations

Delay-Aware Design, Analysis and Verification of Intelligent Intersection Management

Zheng, B., Lin, C. W., Liang, H., Shiraishi, S., Li, W. & Zhu, Q., Jun 12 2017, 2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017. Institute of Electrical and Electronics Engineers Inc., 7946999. (2017 IEEE International Conference on Smart Computing, SMARTCOMP 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities

Seshia, S. A., Hu, S., Li, W. & Zhu, Q., Sep 2017, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 36, 9, p. 1421-1434 14 p., 7778207.

Research output: Contribution to journalArticle

51 Scopus citations

Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited

Zhu, Q., Liang, H., Zhang, L., Roy, D., Li, W. & Chakraborty, S., Jun 18 2017, Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017. Institute of Electrical and Electronics Engineers Inc., 13. (Proceedings - Design Automation Conference; vol. Part 128280).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Guest editorial: Special issue on smart homes, buildings and infrastructures

Li, X., Hu, S. & Zhu, Q., Jan 1 2017, In : ACM Transactions on Cyber-Physical Systems. 1, 4, 3127020.

Research output: Contribution to journalEditorial

Open Access

Package design challenges and optimizations in density efficient (Intel® Xeon® processor D) SoC

Zhu, Q., Venkataraman, S., Ye, C. & Chandrasekhar, A., Apr 5 2017, 2016 IEEE Electrical Design of Advanced Packaging and Systems Symposium, EDAPS 2016. Institute of Electrical and Electronics Engineers Inc., p. 47-49 3 p. 7893122

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

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

Bao, Y., Chen, M., Zhu, Q., Wei, T., Mallet, F. & Zhou, T., Dec 2017, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 36, 12, p. 1989-2002 14 p., 7875425.

Research output: Contribution to journalArticle

8 Scopus citations

Timing and security analysis of VANET-based intelligent transportation systems: (Invited paper)

Zheng, B., Sayin, M. O., Lin, C. W., Shiraishi, S. & Zhu, Q., Dec 13 2017, 2017 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-November. p. 984-991 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations
2016

Adaptive algorithm selection, with applications in pedestrian detection

Zhang, S., Zhu, Q. & Roy-Chowdhury, A., Aug 3 2016, 2016 IEEE International Conference on Image Processing, ICIP 2016 - Proceedings. IEEE Computer Society, Vol. 2016-August. p. 3768-3772 5 p. 7533064

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Analysis of production data manipulation attacks in petroleum cyber-physical systems

Chen, X., Zhou, Y., Zhou, H., Wan, C., Zhu, Q., Li, W. & Hu, S., Nov 7 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016. Institute of Electrical and Electronics Engineers Inc., Vol. 07-10-November-2016. 2980091

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

An Efficient Control-Driven Period Optimization Algorithm for Distributed Real-Time Systems

Deng, P., Zhu, Q., Davare, A., Mourikis, A., Liu, X. & Di Natale, M., Dec 1 2016, In : IEEE Transactions on Computers. 65, 12, p. 3552-3566 15 p., 7457616.

Research output: Contribution to journalArticle

14 Scopus citations

Automotive Cyber-Physical Systems: A Tutorial Introduction

Chakraborty, S., Al Faruque, M. A., Chang, W., Goswami, D., Wolf, M. & Zhu, Q., Aug 2016, In : IEEE Design and Test. 33, 4, p. 92-108 17 p., 7479578.

Research output: Contribution to journalArticle

32 Scopus citations

CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles

Zheng, B., Lin, C. W., Yu, H., Liang, H. & Zhu, Q., Nov 7 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2016. Institute of Electrical and Electronics Engineers Inc., 2980078. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 07-10-November-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

Co-scheduling of flexible energy loads in building clusters

Wei, T. & Zhu, Q., Jul 29 2016, ISCAS 2016 - IEEE International Symposium on Circuits and Systems. Institute of Electrical and Electronics Engineers Inc., p. 958-961 4 p. 7527401. (Proceedings - IEEE International Symposium on Circuits and Systems; vol. 2016-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Cross-Layer Codesign for Secure Cyber-Physical Systems

Zheng, B., Deng, P., Anguluri, R., Zhu, Q. & Pasqualetti, F., May 2016, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 35, 5, p. 699-711 13 p., 7401009.

Research output: Contribution to journalArticle

37 Scopus citations

Fixed-Priority Dual-Rate Mixed-Criticality Systems: Schedulability Analysis and Performance Optimization

Su, H., Deng, P., Zhu, D. & Zhu, Q., Sep 29 2016, Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016. Institute of Electrical and Electronics Engineers Inc., p. 59-68 10 p. 7579927. (Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Next generation automotive architecture modeling and exploration for autonomous driving

Zheng, B., Liang, H., Zhu, Q., Yu, H. & Lin, C. W., Sep 2 2016, Proceedings - IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2016. IEEE Computer Society, Vol. 2016-September. p. 53-58 6 p. 7560172

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

Optimal co-scheduling of HVAC control and battery management for energy-efficient buildings considering state-of-health degradation

Cui, T., Chen, S., Wang, Y., Zhu, Q., Nazarian, S. & Pedram, M., Mar 7 2016, 2016 21st Asia and South Pacific Design Automation Conference, ASP-DAC 2016. Institute of Electrical and Electronics Engineers Inc., p. 775-780 6 p. 7428105. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; vol. 25-28-January-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Proactive demand participation of heterogeneous flexible loads in smart grid

Wei, T. & Zhu, Q., Jan 26 2016, 2015 6th International Green and Sustainable Computing Conference. Institute of Electrical and Electronics Engineers Inc., 7393722

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Proactive Demand Participation of Smart Buildings in Smart Grid

Wei, T., Zhu, Q. & Yu, N., May 1 2016, In : IEEE Transactions on Computers. 65, 5, p. 1392-1406 15 p., 7308024.

Research output: Contribution to journalArticle

30 Scopus citations

Security analysis of proactive participation of smart buildings in smart grid

Wei, T., Zheng, B., Zhu, Q. & Hu, S., Jan 5 2016, 2015 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015. Institute of Electrical and Electronics Engineers Inc., p. 465-472 8 p. 7372606

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations
2015

A model-Based synthesis flow for automotive CPS

Deng, P., Zhu, Q., Cremona, F., Natale, M. D. & Zeng, H., Apr 14 2015, ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015. Association for Computing Machinery, Inc, p. 198-207 10 p. (ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

14 Scopus citations