Liangpeng Guo

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Cyber Physical Systems

Design Space Exploration

Electric Power Systems

Finite State Automata

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS (2014)
Liangpeng Guo, Alberto L. Sangiovanni-Vincentelli, Alessandro Pinto
A complexity metric for concurrent finite state machine based embedded software. SIES (2013)
Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu
metroII: A design environment for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli
A tool integration approach for architectural exploration of aircraft electric power systems. CPSNA (2013)
Alena Simalatsar, Liangpeng Guo, Marius Bozga, Roberto Passerone
Integration of correct-by-construction BIP models into the MetroII design space exploration flow. ICCD (2012)
Yan Xu, Liangpeng Guo, Yougui Wang
Income and Wealth Distributions in Money Exchange Models. ICEE (2010)
Marco Di Natale, Liangpeng Guo, Haibo Zeng, Alberto L. Sangiovanni-Vincentelli
Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays. IEEE Trans. Ind. Informatics 6 (4) (2010)
Liangpeng Guo, Yici Cai, Qiang Zhou, Le Kang, Xianlong Hong
A novel performance driven power gating based on distributed sleep transistor network. ACM Great Lakes Symposium on VLSI (2008)
Liangpeng Guo, Yici Cai, Qiang Zhou, Xianlong Hong
Logic and Layout Aware Level Converter Optimization for Multiple Supply Voltage. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (8) (2008)
Liangpeng Guo, Yici Cai, Qiang Zhou, Xianlong Hong
Logic and Layout Aware Voltage Island Generation for Low Power Design. ASP-DAC (2007)