• 1266 Citations
20032020

Research output per year

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

Research Output

Filter
Conference contribution
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
2019

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

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

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

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
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

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

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

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

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

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

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

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

Analysis and optimization of soft error tolerance strategies for real-time systems

Zheng, B., Gao, Y., Zhu, Q. & Gupta, S., Nov 17 2015, 2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015. Institute of Electrical and Electronics Engineers Inc., p. 55-64 10 p. 7331368. (2015 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2015).

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

10 Scopus citations

Design and verification for transportation system security

Zheng, B., Li, W., Deng, P., Gérardy, L., Zhu, Q. & Shankar, N., Jul 24 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference, DAC 2015. Institute of Electrical and Electronics Engineers Inc., 7167280. (Proceedings - Design Automation Conference; vol. 2015-July).

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

17 Scopus citations

From passive demand response to proactive demand participation

Yu, N., Wei, T. & Zhu, Q., Oct 7 2015, 2015 IEEE Conference on Automation Science and Engineering: Automation for a Sustainable Future, CASE 2015. IEEE Computer Society, Vol. 2015-October. p. 1300-1306 7 p. 7294278

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

10 Scopus citations

Optimal control of PEVs for energy cost minimization and frequency regulation in the smart grid accounting for battery state-of-health degradation

Cui, T., Wang, Y., Chen, S., Zhu, Q., Nazarian, S. & Pedram, M., Jul 24 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference, DAC 2015. Institute of Electrical and Electronics Engineers Inc., 7167319. (Proceedings - Design Automation Conference; vol. 2015-July).

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

9 Scopus citations

PeerWave: Exploiting wavefront parallelism on GPUs with peer-SM synchronization

Belviranli, M. E., Deng, P., Bhuyan, L. N., Gupta, R. & Zhu, Q., Jun 8 2015, ICS 2015 - Proceedings of the 29th ACM International Conference on Supercomputing. Association for Computing Machinery, p. 25-35 11 p. (Proceedings of the International Conference on Supercomputing; vol. 2015-June).

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

10 Scopus citations

Task placement and selection of data consistency mechanisms for real-time multicore applications

Al-Bayati, Z., Sun, Y., Zeng, H., Di Natale, M., Zhu, Q. & Meyer, B., May 14 2015, Proceedings - 21st IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2015. Institute of Electrical and Electronics Engineers Inc., p. 172-181 10 p. 7108440. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2015-May).

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

8 Scopus citations
2014

Battery management and application for energy-efficient

Wei, T., Kim, T., Park, S., Zhu, Q., Tan, S. X. D., Chang, N., Ula, S. & Maasoumy, M., Jan 1 2014, DAC 2014 - 51st Design Automation Conference, Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 2596670. (Proceedings - Design Automation Conference).

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

27 Scopus citations

Design synthesis and optimization for automotive embedded systems

Zhu, Q. & Deng, P., Jan 1 2014, ISPD 2014 - Proceedings of the 2014 ACM International Symposium on Physical Design. Association for Computing Machinery, p. 141-148 8 p. (Proceedings of the International Symposium on Physical Design).

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

7 Scopus citations

Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems

Guo, L., Zhu, Q., Nuzzo, P., Passerone, R., Sangiovanni-Vincentelli, A. & Lee, E. A., Oct 12 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014. Association for Computing Machinery, Inc, a24. (2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2014).

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

19 Scopus citations

Model-based synthesis for real-time embedded systems

Zhu, Q., Sep 23 2014, 2014 IEEE 57th International Midwest Symposium on Circuits and Systems, MWSCAS 2014. Institute of Electrical and Electronics Engineers Inc., p. 366-369 4 p. 6908428. (Midwest Symposium on Circuits and Systems).

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

MSim: A general cycle accurate simulation platform for memcomputing studies

Zhang, C., Deng, P., Geng, H., Liu, J., Zhu, Q., Xiong, J. & Shi, Y., Jan 1 2014, Proceedings - Design, Automation and Test in Europe, DATE 2014. Institute of Electrical and Electronics Engineers Inc., 6800479

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

1 Scopus citations

Task synthesis for latency-sensitive synchronous block diagram

Deng, P., Zhu, Q., Di Natale, M. & Zeng, H., Jan 1 2014, 2014 International Conference on Engineering, Technology and Innovation: Engineering Responsible Innovation in Products and Services, ICE 2014. IEEE Computer Society, p. 112-121 10 p. 6871195

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

7 Scopus citations

WiP abstract: An efficient control-driven period optimization algorithm for distributed real-time systems

Deng, P., Mourikis, A., Zhu, Q., Liu, X., Davare, A. & Di Natale, M., Jan 1 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, 1 p. 6843728

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

2013

Co-design of control algorithm and embedded platform for building HVAC systems

Maasoumy, M., Zhu, Q., Li, C., Meggers, F. & Sangiovanni-Vincentelli, A., Oct 15 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013. p. 61-70 10 p. 6604000. (2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2013).

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

19 Scopus citations

Co-design of control algorithm and embedded platform for building HVAC systems

Maasoumy, M., Zhu, Q., Li, C., Meggers, F. & Sangiovanni-Vincentelli, A., Sep 2 2013, Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013. p. 61-70 10 p. (Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, ICCPS 2013).

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

9 Scopus citations

Robust and extensible task implementations of synchronous finite state machines

Zhu, Q., Deng, P., Di Natale, M. & Zeng, H., Jan 1 2013, Proceedings - Design, Automation and Test in Europe, DATE 2013. Institute of Electrical and Electronics Engineers Inc., p. 1319-1324 6 p. 6513718. (Proceedings -Design, Automation and Test in Europe, DATE).

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

11 Scopus citations

Security-aware mapping for CAN-based real-time distributed automotive systems

Lin, C. W., Zhu, Q., Phung, C. & Sangiovanni-Vincentelli, A., 2013, 2013 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2013 - Digest of Technical Papers. p. 115-121 7 p. 6691106. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

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

51 Scopus citations
2012

Optimizing stack memory requirements for real-time embedded applications

Zeng, H., Di Natale, M. & Zhu, Q., Dec 1 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies and Factory Automation, ETFA 2012. 6489571

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

6 Scopus citations
2010

A design flow for building automation and control systems

Yang, Y., Pinto, A., Sangiovanni-Vincentelli, A. & Zhu, Q., 2010, Proceedings - 31st IEEE Real-Time Systems Symposium, RTSS 2010. p. 105-115 11 p. 5702222. (Proceedings - Real-Time Systems Symposium).

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

9 Scopus citations