Follow
Alessandro Pinto
Alessandro Pinto
NASA Jet Propulsion Laboratory
Verified email at jpl.nasa.gov - Homepage
Title
Cited by
Cited by
Year
Languages and tools for hybrid systems design
LP Carloni, R Passerone, A Pinto, AL Sangiovanni-Vincentelli
Foundations and Trends® in Electronic Design Automation 1 (1–2), 1-193, 2006
2522006
Efficient synthesis of networks on chip
A Pinto, LP Carloni, AL Sangiovanni-Vincentelli
Proceedings 21st International Conference on Computer Design, 146-150, 2003
1912003
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
1562007
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
1202011
Constraint-driven communication synthesis
A Pinto, LP Carloni, AL Sangiovanni-Vincentelli
Proceedings of the 39th annual Design Automation Conference, 783-788, 2002
1032002
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
792004
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
502008
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
492006
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
482010
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
472013
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
402005
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
392005
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
332014
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
332008
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
302019
Metaphysics of Planning Domain Descriptions
S Srivastava, S Russell, A Pinto
2015 AAAI Fall Symposium Series, 2016
292016
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
272008
Embedded system education: a new paradigm for engineering schools?
AL Sangiovanni-Vincentelli, A Pinto
ACM SIGBED Review 2 (4), 5-14, 2005
262005
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
252010
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
242009
The system can't perform the operation now. Try again later.
Articles 1–20