Logic and Layout Aware Voltage Island Generation for Low Power Design. - Liangpeng Guo; Yici Cai; Qiang Zhou 001; Xianlong Hong (ASP-DAC, 2007)

A novel performance driven power gating based on distributed sleep transistor network. - Liangpeng Guo; Yici Cai; Qiang Zhou 001; Le Kang; Xianlong Hong (ACM Great Lakes Symposium on VLSI, 2008)

Logic and Layout Aware Level Converter Optimization for Multiple Supply Voltage. - Liangpeng Guo; Yici Cai; Qiang Zhou 001; Xianlong Hong (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Income and Wealth Distributions in Money Exchange Models. - Yan Xu; Liangpeng Guo; Yougui Wang (ICEE, 2010)

Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. - Marco Di Natale; Liangpeng Guo; Haibo Zeng 001; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Ind. Informatics, 2010)

Integration of correct-by-construction BIP models into the MetroII design space exploration flow. - Alena Simalatsar; Liangpeng Guo; Marius Bozga; Roberto Passerone (ICCD, 2012)

A tool integration approach for architectural exploration of aircraft electric power systems. - Hokeun Kim; Liangpeng Guo; Edward A. Lee; Alberto L. Sangiovanni-Vincentelli (CPSNA, 2013)

A complexity metric for concurrent finite state machine based embedded software. - Liangpeng Guo; Alberto L. Sangiovanni-Vincentelli; Alessandro Pinto (SIES, 2013)

metroII: A design environment for cyber-physical systems. - Abhijit Davare; Douglas Densmore; Liangpeng Guo; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli; Alena Simalatsar; Qi Zhu 002 (ACM Trans. Embed. Comput. Syst., 2013)

Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. - Liangpeng Guo; Qi Zhu 002; Pierluigi Nuzzo 002; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli; Edward A. Lee (CODES+ISSS, 2014)

From MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems. - Liangpeng Guo (2015)