[47] Alessandro Pinto. “An Open and Modular Architecture for Autonomous and Intelligent Systems.” IEEE International Conference on Embedded Software and Systems (Invited Paper) (2019).

[46] Jha, Susmit, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, and Michael Francis. “Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae.” Journal of Automated Reasoning (2018): 1-21.

[45] Jha, Susmit, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, and Michael Francis. “On learning sparse boolean formulae for explaining AI decisions.” In NASA Formal Methods Symposium, pp. 99-114. Springer, Cham, 2017.

[44] Pinto, Alessandro, and Alberto L. Sangiovanni Vincentelli. “CSL4P: A Contract Specification Language for Platforms.” Systems Engineering 20, no. 3 (2017): 220-234.

[43] Srivastava, Siddharth, Stuart Russell, and Alessandro Pinto. “Metaphysics of planning domain descriptions.” In 2015 AAAI Fall Symposium Series. 2015.

[42] Ding, Xuchu Dennis, Brendan Englot, Alessandro Pinto, Alberto Speranzon, and Amit Surana. “Hierarchical multi-objective planning: From mission specifications to contingency management.” In IEEE international conference on robotics and automation (ICRA), pp. 3735-3742. IEEE, 2014.

[41] Pinto, Alessandro, George Mathew. “Computing Probability Distributions over a Hybrid State Space: Case Study and Practical Limitations”, Workshop on Applied Verification for Continuous and Hybrid Systems, 2014

[40] Xu, Songyan, Ratnesh Kumar, and Alessandro Pinto. “Correct-by-construction and optimal synthesis of beacon-enabled ZigBee network.” IEEE Transactions on Automation Science and Engineering 10, no. 1 (2013): 137-144.

[39] Guo, Liangpeng, Alberto Sangiovanni Vincentelli, and Alessandro Pinto. “A complexity metric for concurrent finite state machine based embedded software.” In 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 189-195. IEEE, 2013.

[38] Ding, Xu Chu, Alessandro Pinto, and Amit Surana. “Strategic planning under uncertainties via constrained markov decision processes.” In 2013 IEEE International Conference on Robotics and Automation, pp. 4568-4575. IEEE, 2013.

[37] Cherepinsky, I., and A. Pinto. “Stringent safety design and verification methods for VTOL unmanned aerial vehicles.” In Proceedings of the American Helicopter Society 68th Annual Forum, Fort Worth, TX. 2012.

[36] Pinto, A. “Methods and tools to enable the design and verification of intelligent systems.” AIAA Infotech at Aerospace, 2012.

[35] Leonardi, Francesco, Alessandro Pinto, and Luca P. Carloni. “Synthesis of distributed execution platforms for cyber-physical systems with applications to high-performance buildings.” In -2011 IEEE/ACM Second International Conference on Cyber-Physical Systems_, pp. 215-224. IEEE, 2011.

[34] Mathew, G. and Pinto, A. “Stochastic Analysis and Design of Systems.” Final Report for the V2D2 DARPA Study FA9550-10-C-0116, 2011.

[33] Banaszuk, Andrzej, Vladimir A. Fonoberov, Thomas A. Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto et al. “Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems.” Annual Reviews in Control 35, no. 1 (2011): 77-98.

[32] Cizelj, Igor, Xu Chu Dennis Ding, Morteza Lahijanian, Alessandro Pinto, and Calin Belta. “Probabilistically safe vehicle control in a hostile environment.” IFAC Proceedings Volumes 44, no. 1 (2011): 11803-11808.

[31] Maasoumy, Mehdi, Alessandro Pinto, and Alberto Sangiovanni-Vincentelli. “Model-based hierarchical optimal control design for HVAC systems.” ASME Dynamic Systems and Control Conference, 2011.

[30] Mozumdar, M., Alberto Puggelli, Alessandro Pinto, Luciano Lavagno, and Alberto L. Sangiovanni-Vincentelli. “A hierarchical wireless network architecture for building automation and control systems.” In Proceedings of the 7th International Conference on Networking and Services (ICNS). 2011.

[29] Mathew, George, and Alessandro Pinto. “Optimal design of a class of hybrid systems with uncertain parameters.” In 2011 50th IEEE Conference on Decision and Control and European Control Conference, pp. 539-544. IEEE, 2011.

[28] Carloni, Luca P., Andrew B. Kahng, Swamy V. Muddu, Alessandro Pinto, Kambiz Samadi, and Puneet Sharma. “Accurate predictive interconnect modeling for system-level design.” IEEE transactions on very large scale integration (VLSI) systems 18, no. 4 (2010): 679-684.

[27] Pinto, Alessandro, Sudha Krishnamurthy, and Suresh Kannan. “A model-based end-to-end toolchain for the probabilistic analysis of complex systems.” In 2010 IEEE International Conference on Automation Science and Engineering, pp. 994-1000. IEEE, 2010.

[26] Yang, Yang, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, and Qi Zhu. “A design flow for building automation and control systems.” In 2010 31st IEEE Real-Time Systems Symposium, pp. 105-116. IEEE, 2010.

[25] Mathew, George, and Alessandro Pinto. “Markov modeling of stochastic hybrid systems.” In 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 1707-1713. IEEE, 2010.

[24] Pinto, Alessandro, and Sudha Krishnamurthy. “Developing design tools for uncertain systems in an industrial setting.” In 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 1714-1721. IEEE, 2010.

[23] Becz, Sandor, Alessandro Pinto, Lawrence Zeidner, Ritest Khire, Hayden Reeve, and Andrzej Banaszuk. “Design system for managing complexity in aerospace systems.” In 10th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, p. 9223. 2010.

[22] Pinto, Alessandro, Sandor Becz, and Hayden Reeve. “Correct-by-construction design of aircraft electric power systems.” In 10th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, p. 9263. 2010.

[21] Surana, Amit, and Alessandro Pinto. “Analysis of Stochastic Automata Networks using copula functions.” In 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 1699-1706. IEEE, 2010.

[20] Pinto, Alessandro, Ratnesh Kumar, and Songyan Xu. “Synthesis of wireless time-triggered embedded networks for networked control systems.”(https://ieeexplore.ieee.org/abstract/document/5234116) In 2009 IEEE International Conference on Automation Science and Engineering, pp. 397-402. IEEE, 2009.

[19] Leonardi, Francesco, Alessandro Pinto, and Luca P. Carloni. “A case study in distributed deployment of embedded software for camera networks.” In Proceedings of the Conference on Design, Automation and Test in Europe, pp. 1006-1011. European Design and Automation Association, 2009.

[18] Pinto, Alessandro, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli. “A methodology for constraint-driven synthesis of on-chip communications.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 28, no. 3 (2009): 364-377.

[17] Pinto, Alessandro, Massimiliano D’Angelo, Carlo Fischione, Eelco Scholte, and Alberto Sangiovanni-Vincentelli. “Synthesis of embedded networks for building automation and control.” In 2008 American Control Conference, pp. 920-925. IEEE, 2008.

[16] D’Angelo, M., Carlo Fischione, Matteo Butussi, Alessandro Pinto, and Al Sangiovanni-Vincentelli. “Outage-based rate maximization in cdma wireless networks.” In IEEE GLOBECOM 2008-2008 IEEE Global Telecommunications Conference, pp. 1-6. IEEE, 2008.

[15] Carloni, Luca, Andrew B. Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, and Puneet Sharma. “Interconnect modeling for improved system-level design optimization.” In Proceedings of the 2008 Asia and South Pacific Design Automation Conference, pp. 258-264. IEEE Computer Society Press, 2008.

[14] Pinto, Alessandro, Luca P. Carloni, and Alberto Sangiovanni-Vincentelli. “COSI: A framework for the design of interconnection networks.” IEEE Design & Test of Computers 25, no. 5 (2008): 402-415.

[13] Davare, Abhijit, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, and Qi Zhu. “A next-generation design framework for platform-based design.” In Conference on using hardware design and verification languages (DVCon), vol. 152. 2007.

[12] Pinto, Alessandro, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli. “A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control.” In Proceedings of the 7th ACM & IEEE international conference on Embedded software, pp. 21-29. ACM, 2007.

[11] Pinto, Alessandro, Luca P. Carloni, Roberto Passerone, and Alberto Sangiovanni-Vincentelli. “Interchange semantics for hybrid system models.” Proc. of 5th MATHMOD (2006).

[10] Pinto, Alessandro, Luca P. Carloni, Roberto Passerone, and Alberto Sangiovanni-Vincentelli. “Interchange format for hybrid systems: Abstract semantics.” In International Workshop on Hybrid Systems: Computation and Control, pp. 491-506. Springer, Berlin, Heidelberg, 2006.

[9] Carloni, Luca P., Roberto Passerone, Alessandro Pinto, and Alberto L. Sangiovanni-Vincentelli. “Languages and tools for hybrid systems design.” Foundations and Trends® in Electronic Design Automation 1, no. 1–2 (2006): 1-193.

[8] Pinto, Alessandro, Alvise Bonivento, Allberto L. Sangiovanni-Vincentelli, Roberto Passerone, and Marco Sgroi. “System level design paradigms: Platform-based design and communication synthesis.” ACM Transactions on Design Automation of Electronic Systems (TODAES) 11, no. 3 (2006): 537-563.

[7] Sprinkle, Jonathan, Aaron D. Ames, Alessandro Pinto, Haiyang Zheng, and S. Shankar Sastry. “On the partitioning of syntax and semantics for hybrid systems tools.” In Proceedings of the 44th IEEE Conference on Decision and Control, pp. 4694-4699. IEEE, 2005.

[6] Pinto, Alessandro, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, and Roberto Passerone. “Interchange formats for hybrid systems: Review and proposal.” In International Workshop on Hybrid Systems: Computation and Control, pp. 526-541. Springer, Berlin, Heidelberg, 2005.

[5] Sangiovanni-Vincentelli, Alberto Luigi, and Alessandro Pinto. “Embedded system education: a new paradigm for engineering schools?.” ACM SIGBED Review 2, no. 4 (2005): 5-14.

[4] Balarin, Felice, Roberto Passerone, Alessandro Pinto, and Alberto L. Sangiovanni-Vincentelli. “A formal approach to system level design: Metamodels and unified design environments.” In Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design, pp. 155-163. IEEE Computer Society, 2005.

[3] Sangiovanni-Vincentelli, Alberto L., and Alessandro Pinto. “An overview of embedded system design education at Berkeley.” ACM Transactions on Embedded Computing Systems (TECS) 4, no. 3 (2005): 472-499.

[2] Pinto, Alessandro, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli. “Efficient synthesis of networks on chip.” In Proceedings 21st International Conference on Computer Design, pp. 146-150. IEEE, 2003.

[1] Pinto, Alessandro, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli. “Constraint-driven communication synthesis.” In Proceedings of the 39th annual Design Automation Conference, pp. 783-788. ACM, 2002.

Patents

[1] Amit Bhatia, Zamira Daw Perez, Alessandro Pinto, Julian C. Ryde, Autonomous cargo handling system and method, US10005564B1, 2017.