metroII: A design environment for cyber-physical systems A Davare, D Densmore, L Guo, R Passerone, AL Sangiovanni-Vincentelli, ... ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-31, 2013 | 90 | 2013 |
Synthesis of multitask implementations of simulink models with minimum delays M Di Natale, L Guo, H Zeng, A Sangiovanni-Vincentelli IEEE Transactions on Industrial Informatics 6 (4), 637-651, 2010 | 71 | 2010 |
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems L Guo, Q Zhu, P Nuzzo, R Passerone, A Sangiovanni-Vincentelli, EA Lee Proceedings of the 2014 International Conference on Hardware/Software …, 2014 | 48 | 2014 |
Logic and layout aware voltage island generation for low power design L Guo, Y Cai, Q Zhou, X Hong 2007 Asia and South Pacific Design Automation Conference, 666-671, 2007 | 27 | 2007 |
A tool integration approach for architectural exploration of aircraft electric power systems H Kim, L Guo, EA Lee, A Sangiovanni-Vincentelli 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks …, 2013 | 11 | 2013 |
Methods and tools for calculating the flexibility of automotive HW/SW architectures L Guo, A Ghosal, H Zeng, P Giusto, A Sangiovanni-Vincentelli SAE International Journal of Passenger Cars-Electronic and Electrical …, 2012 | 5 | 2012 |
A novel performance driven power gating based on distributed sleep transistor network L Guo, Y Cai, Q Zhou, L Kang, X Hong Proceedings of the 18th ACM Great Lakes symposium on VLSI, 255-260, 2008 | 5 | 2008 |
Integration of correct-by-construction bip models into the metroii design space exploration flow A Simalatsar, L Guo, M Bozga, R Passerone 2012 IEEE 30th International Conference on Computer Design (ICCD), 490-491, 2012 | 4 | 2012 |
A Tool Integration Approach for Architectural Exploration of Aircraft EPS with Ptolemy II/Metro II H Kim, L Guo, EA Lee, A Sangiovanni-Vincentelli IEEE 1st International Conference on Cyber-Physical Systems, Networks, and …, 2013 | 2 | 2013 |
From MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems L Guo University of California, Berkeley, 2015 | | 2015 |
Metronomy L Guo, Q Zhu, P Nuzzo, R Passerone, A Sangiovanni-Vincentelli, EA Lee | | 2014 |
Logic and layout aware level converter optimization for multiple supply voltage L Guo, Y Cai, Q Zhou, X Hong IEICE transactions on fundamentals of electronics, communications and …, 2008 | | 2008 |
MetroII-ASPN Synthesis Flow Progress Update LL Guo, D Densmore, K Gururaj, J Cong, A Sangiovanni-Vincentelli Group 2001 (2000), 1999, 2002 | | 2002 |
A Preliminary Integration Framework Providing Co-simulation for Electrical Safety-critical Systems H Kim, L Guo, A Sangiovanni-Vincentelli | | |
MetroII-ASPN Synthesis Flow Progress Update (Core Theme, Task 1.4. 1.1) L Guo, D Densmore, K Gururaj, J Cong, A Sangiovanni | | |