Liangpeng Guo

According to our database, Liangpeng Guo authored at least 11 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

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

Liangpeng Guo

PhD thesis, 2015

2014

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

Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee

Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

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

ACM Trans. Embed. Comput. Syst., 2013

A complexity metric for concurrent finite state machine based embedded software.

Liangpeng Guo, Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

A tool integration approach for architectural exploration of aircraft electric power systems.

Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013

2012

Integration of correct-by-construction BIP models into the MetroII design space exploration flow.

Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone

Proceedings of the 30th International IEEE Conference on Computer Design, 2012

2010

Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays.

Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli

IEEE Trans. Ind. Informatics, 2010

Income and Wealth Distributions in Money Exchange Models.

Yan Xu, Liangpeng Guo, Yougui Wang

Proceedings of the International Conference on E-Business and E-Government, 2010

2008

Logic and Layout Aware Level Converter Optimization for Multiple Supply Voltage.

Liangpeng Guo, Yici Cai, Qiang Zhou, Xianlong Hong

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008

A novel performance driven power gating based on distributed sleep transistor network.

Liangpeng Guo, Yici Cai, Qiang Zhou, Le Kang, Xianlong Hong

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

2007

Logic and Layout Aware Voltage Island Generation for Low Power Design.

Liangpeng Guo, Yici Cai, Qiang Zhou, Xianlong Hong

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007