• 1282 Citations
20032021

Research output per year

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

Research Output

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

Co-scheduling of HVAC control, EV charging and battery usage for building energy efficiency

Wei, T., Zhu, Q. & Maasoumy, M., Jan 1 2015, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. 2015-January, January, p. 191-196 6 p., 7001351.

Research output: Contribution to journalConference article

17 Scopus citations

Design and Operation of Secure Cyber-Physical Systems

Pasqualetti, F. & Zhu, Q., Mar 1 2015, In : IEEE Embedded Systems Letters. 7, 1, p. 3-6 4 p., 6945804.

Research output: Contribution to journalArticle

19 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

18 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

Lifetime optimization for real-time embedded systems considering electromigration effects

Kim, T., Zheng, B., Chen, H. B., Zhu, Q., Sukharev, V. & Tan, S. X. D., Jan 1 2015, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. 2015-January, January, p. 434-439 6 p., 7001388.

Research output: Contribution to journalConference article

6 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

11 Scopus citations

Security-aware design methodology and optimization for automotive systems

Lin, C. W., Zheng, B., Zhu, Q. & Sangiovanni-Vincentelli, A., Nov 2015, In : ACM Transactions on Design Automation of Electronic Systems. 21, 1, 18.

Research output: Contribution to journalArticle

25 Scopus citations

Security-Aware mapping for TDMA-based real-Time distributed systems

Lin, C. W., Zhu, Q. & Sangiovanni-Vincentelli, A., Jan 5 2015, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD. 2015-January, January, p. 24-31 8 p., 7001325.

Research output: Contribution to journalConference article

19 Scopus citations

Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems

Lin, C. W., Zhu, Q. & Sangiovanni-Vincentelli, A., Mar 1 2015, In : IEEE Embedded Systems Letters. 7, 1, p. 11-14 4 p., 6891169.

Research output: Contribution to journalArticle

20 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

Minimizing stack and communication memory usage in real-time embedded applications

Zeng, H., Di Natale, M. & Zhu, Q., Oct 6 2014, In : ACM Transactions on Embedded Computing Systems. 13, 149.

Research output: Contribution to journalArticle

20 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

Optimized implementation of synchronous models on industrial LTTA systems

Di Natale, M., Zhu, Q., Sangiovanni-Vincentelli, A. & Tripakis, S., Jan 1 2014, In : Journal of Systems Architecture. 60, 4, p. 315-328 14 p.

Research output: Contribution to journalArticle

4 Scopus citations

Task synthesis for latency-sensitive synchronous block diagram

Deng, P., Zhu, Q., Di Natale, M. & Zeng, H., 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. (Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, SIES 2014).

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., 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, p. 215 1 p. 6843728. (2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014).

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

METROII: A design environment for cyber-physical systems

Davare, A., Densmore, D., Guo, L., Passerone, R., Sangiovanni-Vincentelli, A. L., Simalatsar, A. & Zhu, Q., Jan 1 2013, In : Transactions on Embedded Computing Systems. 12, SUPPL1, 49.

Research output: Contribution to journalArticle

50 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

Development of building automation and control systems

Yang, Y., Zhu, Q., Maasoumy, M. & Sangiovanni-Vincentelli, A., 2012, In : IEEE Design and Test of Computers. 29, 4, p. 45-55 11 p., 6204325.

Research output: Contribution to journalArticle

14 Scopus citations

Optimization of task allocation and priority assignment in hard real-time distributed systems

Zhu, Q., Zeng, H., Zheng, W., Di Natale, M. & Sangiovanni-Vincentelli, A., Dec 2012, In : Transactions on Embedded Computing Systems. 11, 4, 85.

Research output: Contribution to journalArticle

57 Scopus citations

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
2011

SAT sweeping with local observability don't-cares

Zhu, Q., Kitchen, N. B., Kuehlmann, A. & Sangiovanni-Vincentelli, A., Dec 1 2011, Advanced Techniques in Logic Synthesis, Optimizations and Applications. Springer New York, p. 129-148 20 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

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

Optimizing the software architecture for extensibility in hard real-time distributed systems

Zhu, Q., Yang, Y., Natale, M., Scholte, E. & Sangiovanni-Vincentelli, A., Nov 2010, In : IEEE Transactions on Industrial Informatics. 6, 4, p. 621-636 16 p., 5535223.

Research output: Contribution to journalArticle

44 Scopus citations
2009

Optimizing extensibility in hard real-time distributed systems

Zhu, Q., Yang, Y., Scholte, E., Di Natale, M. & Sangiovanni-Vincentelli, A., 2009, Proceedings - 15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009. p. 275-284 10 p. 4840588. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS).

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

32 Scopus citations
2008

A Formal Approach for Optimizing Mapping in System Level Design

Zhu, Q., Davare, A. & Sangiovanni-Vincentelli, A., 2008, TECHCON.

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

Thermal managerment of high power memory module for server platforms

Zhu, Q., Li, X. & Wu, Y., Sep 9 2008, 2008 11th IEEE Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronic Systems, I-THERM. p. 572-576 5 p. 4544319

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

8 Scopus citations
2007

Definition of task allocation and priority assignment in hard real-time distributed systems

Zheng, W., Zhu, Q., Di Natale, M. & Vincentelli, A. S., Dec 1 2007, Proceedings - 28th IEEE International Real-Time Systems Symposium, RTSS 2007. p. 161-170 10 p. 4408301

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

46 Scopus citations

Period optimization for hard real-time distributed automotive systems

Davare, A., Qi, Z., Di Natale, M., Pinello, C., Kanajan, S. & Sangiovanni-Vincentelli, A., Aug 2 2007, 2007 44th ACM/IEEE Design Automation Conference, DAC'07. p. 278-283 6 p. 4261191

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

91 Scopus citations
2006

SAT sweeping with local observability don't-cares

Zhu, Q., Kitchen, N., Kuehlmann, A. & Sangiovanni-Vincentelli, A., Dec 1 2006, 2006 43rd ACM/IEEE Design Automation Conference, DAC'06. p. 229-234 6 p.

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

58 Scopus citations
2005

Efficient 2-step heuristics for rectilinear Steiner minimal tree construction among obstacles

Yang, Y., Jing, T., Hong, X., Zhu, Q. & Wang, Y., Feb 2005, In : Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics. 17, 2, p. 223-229 7 p.

Research output: Contribution to journalArticle

JPEG encoding on the intel MXP5800: A platform-based design case study

Davare, A., Zhu, Q., Moondanos, J. & Sangiovanni-Vincentelli, A., Dec 1 2005, Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia. Vol. 2005. p. 89-94 6 p. 1518081

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

8 Scopus citations

Spanning graph-based nonrectilinear steiner tree algorithms

Zhu, Q., Zhou, H., Jing, T., Hong, X. L. & Yang, Y., Jul 1 2005, In : IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 24, 7, p. 1066-1075 10 p.

Research output: Contribution to journalArticle

26 Scopus citations

Via-aware global routing for good VLSI manufacturability and high yield

Yang, Y., Jing, T., Hong, X., Hu, Y., Zhu, Q., Hu, X. & Yan, G., 2005, Proceedings - 16th International Conference on Application-Specific Systems, Architectures, and Processors. p. 198-203 6 p. (Proceedings of the International Conference on Application-Specific Systems, Architectures and Processors).

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

4 Scopus citations
2004

Efficient octilinear steiner tree construction based on spanning graphs

Zhu, Q., Zhou, H., Jing, T., Hong, X. & Yang, Y., Jun 1 2004, p. 687-690. 4 p.

Research output: Contribution to conferencePaper

12 Scopus citations
2003

Buffer replacement algorithm for merge-based multicast video-on-demand system

Zhu, Q., Shao, L., Yan, R., Zhang, J. & Xie, D., Jan 1 2003, 10th International Conference on Telecommunications, ICT 2003. Institute of Electrical and Electronics Engineers Inc., p. 1448-1451 4 p. 1191647. (10th International Conference on Telecommunications, ICT 2003; vol. 2).

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

1 Scopus citations

Rectilinear steiner minimal tree among obstacles

Yang, Y., Zhu, Q., Jing, T., Hong, X. & Wang, Y., 2003, ASICON 2003 - 2003 5th International Conference on ASIC, Proceedings. Tang, T-A., Li, W. & Yu, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 348-351 4 p. 05733746. (IEEE International Symposium on Semiconductor Manufacturing Conference Proceedings; vol. 1).

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

30 Scopus citations