• 1266 Citations
20032020

Research output per year

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

Research Output

Filter
Article
2020

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

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

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
2018

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

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

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

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

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
2016

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

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

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
2015

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

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

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

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
2013

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
2012

Development of building automation and control systems

Yang, Y., Zhu, Q., Maasoumy, M. & Sangiovanni-Vincentelli, A., Oct 29 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
2010

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

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

Research output: Contribution to journalArticle

44 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

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

25 Scopus citations