Languages and tools for hybrid systems design LP Carloni, R Passerone, A Pinto, AL Sangiovanni-Vincentelli Foundations and Trends® in Electronic Design Automation 1 (12), 1-193, 2006 | 254 | 2006 |
Efficient synthesis of networks on chip A Pinto, LP Carloni, AL Sangiovanni-Vincentelli Proceedings 21st International Conference on Computer Design, 146-150, 2003 | 192 | 2003 |
A next-generation design framework for platform-based design A Davare, D Densmore, T Meyerowitz, A Pinto, A Sangiovanni-Vincentelli, ... Conference on using hardware design and verification languages (DVCon) 152, 2007 | 156 | 2007 |
Model-based hierarchical optimal control design for HVAC systems M Maasoumy, A Pinto, A Sangiovanni-Vincentelli Dynamic systems and control conference 54754, 271-278, 2011 | 128 | 2011 |
Constraint-driven communication synthesis A Pinto, LP Carloni, AL Sangiovanni-Vincentelli Proceedings of the 39th annual Design Automation Conference, 783-788, 2002 | 104 | 2002 |
System level design paradigms: Platform-based design and communication synthesis A Pinto, A Bonivento, AL Sangiovanni-Vincentelli, R Passerone, M Sgroi Proceedings of the 41st Annual Design Automation Conference, 537-563, 2004 | 81 | 2004 |
Design system for managing complexity in aerospace systems S Becz, A Pinto, L Zeidner, R Khire, H Reeve, A Banaszuk 10th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference
, 2010 | 51 | 2010 |
Interchange format for hybrid systems: Abstract semantics A Pinto, LP Carloni, R Passerone, A Sangiovanni-Vincentelli Hybrid Systems: Computation and Control: 9th International Workshop, HSCC
, 2006 | 51 | 2006 |
Synthesis of embedded networks for building automation and control A Pinto, M D'Angelo, C Fischione, E Scholte, A Sangiovanni-Vincentelli 2008 American Control Conference, 920-925, 2008 | 49 | 2008 |
Strategic planning under uncertainties via constrained Markov decision processes XC Ding, A Pinto, A Surana 2013 IEEE International Conference on Robotics and Automation, 4568-4575, 2013 | 48 | 2013 |
Interchange formats for hybrid systems: Review and proposal A Pinto, AL Sangiovanni-Vincentelli, LP Carloni, R Passerone Hybrid Systems: Computation and Control: 8th International Workshop, HSCC
, 2005 | 41 | 2005 |
An overview of embedded system design education at Berkeley AL Sangiovanni-Vincentelli, A Pinto ACM Transactions on Embedded Computing Systems (TECS) 4 (3), 472-499, 2005 | 39 | 2005 |
Hierarchical multi-objective planning: From mission specifications to contingency management XD Ding, B Englot, A Pinto, A Speranzon, A Surana 2014 IEEE international conference on robotics and automation (ICRA), 3735-3742, 2014 | 36 | 2014 |
Metaphysics of Planning Domain Descriptions S Srivastava, S Russell, A Pinto 2015 AAAI Fall Symposium Series, 2016 | 33 | 2016 |
Interconnect modeling for improved system-level design optimization L Carloni, AB Kahng, S Muddu, A Pinto, K Samadi, P Sharma 2008 Asia and South Pacific Design Automation Conference, 258-264, 2008 | 32 | 2008 |
Explaining AI decisions using efficient methods for learning sparse Boolean formulae S Jha, T Sahai, V Raman, A Pinto, M Francis Journal of automated reasoning 63, 1055-1075, 2019 | 31 | 2019 |
Embedded system education: a new paradigm for engineering schools? AL Sangiovanni-Vincentelli, A Pinto ACM SIGBED Review 2 (4), 5-14, 2005 | 28 | 2005 |
COSI: A framework for the design of interconnection networks A Pinto, LP Carloni, A Sangiovanni-Vincentelli IEEE Design & Test of Computers 25 (5), 402-415, 2008 | 27 | 2008 |
A design flow for building automation and control systems Y Yang, A Pinto, A Sangiovanni-Vincentelli, Q Zhu 2010 31st IEEE Real-Time Systems Symposium, 105-116, 2010 | 26 | 2010 |
A methodology for constraint-driven synthesis of on-chip communications A Pinto, LP Carloni, AL Sangiovanni-Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and
, 2009 | 25 | 2009 |