Publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. For IEEE pubs: Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. (details can be found here)


2014

Alessandro Pinto, Alberto Sangiovanni-Vincentelli

CSL4P: A Contract-Based Specification Language for Platforms (Article)

Under Review , 2014.

(BibTeX)

Xuchu Dennis Ding Brendan Englot, Alessandro Pinto Alberto Speranzon Amit Surana

Hierarchical Multi-objective planning: From mission specifications to contingency management (Inproceeding)

IEEE International Conference on Robotics and Automation (ICRA), pp. 3735-3742, 2014.

(Abstract | BibTeX)

Alessandro Pinto, George Mathew

Computing Probability Distributions over a Hybrid State Space: Case Study and Practical Limitations (Article)

Applied Verification for Continuous and Hybrid Systems Workshop (ARCH) 2014, 2014.

(BibTeX)

2013

Guo, Liangpeng; Sangiovanni-Vincentelli, Alberto; Pinto, Alessandro

A Complexity Metric for Concurrent Finite State Machine Based Embedded Software (Inproceeding)

8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, pp. 189 - 195, 2013.

(Abstract | Links | BibTeX)

Ding, Xu; Pinto, Alessandro; Surana, Amit

Strategic Planning under Uncertainties Via Constrained Markov Decision Processes (Inproceeding)

2013 IEEE International Conference on Robotics and Automation (ICRA), pp. 4568 - 4575, 2013.

(Abstract | Links | BibTeX)

Xu, Songyan; Kumar, Ratnesh; Pinto, Alessandro

Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network (Article)

IEEE Transactions on Automation Science and Engineering, 10 (1), pp. 137-144, 2013.

(Abstract | Links | BibTeX)

2012

Pinto, Alessandro

Methods and Tools to Enable the Design and Verification of Intelligent Systems (Inproceeding)

AIAA Infotech at Aerospace, 2012.

(Abstract | Links | BibTeX)

Cherepinsky, Igor; Pinto, Alessandro

Stringent Safety Design and Verification Methods for VTOL Unmanned Aerial Vehicles (Inproceeding)

America Helicopter Society Formum 68, 2012.

(Abstract | Links | BibTeX)

2011

Mathew, George; Pinto, Alessandro

Optimal design of a class of hybrid systems with uncertain parameters. (Inproceeding)

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, Orlando, FL, USA, pp. 539-544, IEEE, 2011, ISBN: 978-1-61284-800-6.

(Abstract | Links | BibTeX)

Maasoumy, Mehdi; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto

Model-Based Hierarchical Optimal Control Design for HVAC Systems (Inproceeding)

ASME 2011 Dynamic Systems and Control Conference, pp. 271-278, 2011, ISBN: 978-0-7918-5475-4.

(Abstract | Links | BibTeX)

Mathew, George; Pinto, Alessandro

Stochastic Analysis and Design of Systems (Techreport)

Final Report for the V2D2 DARPA Study (#FA9550-10-C-0116) 2011.

(Abstract | Links | BibTeX)

Mozumdar, Mohammad Mostafizur Rahman; Puggelli, Alberto; Pinto, Alessandro; Lavagno, Luciano; Sangiovanni-Vincentelli, Alberto

A hierarchical Wireless Network Architecture for Building Automation and Control Systems (Inproceeding)

Proc. of The Seventh International Conference on Networking and Services, ICNS 2011, 2011.

(Abstract | Links | BibTeX)

Leonardi, Francesco; Pinto, Alessandro; Carloni, Luca

Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings (Inproceeding)

IEEE/ACM International Conference on Cyber-Physical Systems, ICCPS, pp. 215-224, 2011, ISBN: 978-1-61284-640-8.

(Abstract | Links | BibTeX)

Cizelj, Igor; Ding, Xu Chu; Lahijanian, Morteza; Pinto, Alessandro; Belta, Calin

Probabilistically Safe Vehicle Control in a Hostile Environment (Inproceeding)

Proc. 18th World Congress of the International Federation of Automatic Control (IFAC), 2011.

(Abstract | Links | BibTeX)

Banaszuk, Andrzej; Fonoberov, Vladimir; Frewen, Thomas; Kobilarov, Marin; Mathew, George; Mezic, Igor; Pinto, Alessandro; Sahai, Tuhin; Sane, Harshad; Speranzon, Alberto; Surana, Amit

Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems. (Article)

Annual Reviews in Control, 35 (1), pp. 77-98, 2011.

(Abstract | Links | BibTeX)

2010

Yang, Yang; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto; Zhu, Qi

A Design Flow for Building Automation and Control Systems. (Inproceeding)

Proceedings of the 31st IEEE Real-Time Systems Symposium (RTSS 2010), pp. 105-116, IEEE Computer Society, 2010, ISBN: 978-0-7695-4298-0.

(Abstract | Links | BibTeX)

Surana, Amit; Pinto, Alessandro

Analysis of Stochastic Automata Networks using Copula Functions (Inproceeding)

2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 1699 - 1706, 2010, ISBN: 978-1-4244-8215-3.

(Abstract | Links | BibTeX)

Pinto, Alessandro; Krishnamurthy, Sudha

Developing design tools for uncertain systems in an industrial setting (Inproceeding)

2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton) , pp. 1714 - 1721, 2010, ISBN: 978-1-4244-8215-3.

(Abstract | Links | BibTeX)

Mathew, George; Pinto, Alessandro

Markov modeling of Stochastic Hybrid Systems (Inproceeding)

2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 1707 - 1713 , 2010, ISBN: 978-1-4244-8215-3.

(Abstract | Links | BibTeX)

Pinto, Alessandro; Krishnamurthy, Sudha; Kannan, Suresh

A model-based end-to-end toolchain for the probabilistic analysis of complex systems. (Inproceeding)

IEEE Conference on Automation Science and Engineering (CASE 2010), pp. 994-1000, IEEE, 2010, ISBN: 978-1-4244-5447-1.

(Abstract | Links | BibTeX)

Carloni, Luca; Kahng, Andrew; Muddu, Sudhakar; Pinto, Alessandro; Samadi, Kambiz; Sharma, Puneet

Accurate Predictive Interconnect Modeling for System-Level Design. (Article)

IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 18 (4), pp. 679-684, 2010, ISSN: 1063-8210.

(Abstract | Links | BibTeX)

Becz, Sandor; Pinto, Alessandro; Zeidner, Lawrence; Khire, Ritesh; Banaszuk, Andrzej; Reeve, Hayden

Design System for Managing Complexity in Aerospace Systems (Inproceeding)

2010 AIAA ATIO/ISSMO Conference, 2010.

(Abstract | Links | BibTeX)

Pinto, Alessandro; Becz, Sandor; Reeve, Hayden

Correct-by-Construction Design of Aircraft Electric Power Systems (Inproceeding)

2010 AIAA ATIO/ISSMO Conference, 2010.

(Abstract | Links | BibTeX)

2009

Pinto, Alessandro; Carloni, Luca; Sangiovanni-Vincentelli, Alberto

COSI: A Framework for the Design of Interconnection Networks. (Article)

IEEE Design & Test of Computers, 25 (5), pp. 402-415, 2009.

(Abstract | Links | BibTeX)

Pinto, Alessandro; Carloni, Luca; Sangiovanni-Vincentelli, Alberto

A Methodology for Constraint-Driven Synthesis of On-Chip Communications. (Article)

IEEE Trans. on CAD of Integrated Circuits and Systems, 28 (3), pp. 364-377, 2009.

(Abstract | Links | BibTeX)

Pinto, Alessandro; Kumar, Ratnesh; Xu, Songyan

Synthesis of wireless time-triggered embedded networks for networked control systems. (Inproceeding)

IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, 22-25 August, 2011, pp. 397-402, IEEE, 2009, ISBN: 978-1-4244-4578-3.

(Abstract | BibTeX)

Leonardi, Francesco; Pinto, Alessandro; Carloni, Luca

A case study in distributed deployment of embedded software for camera networks. (Inproceeding)

Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009, pp. 1006-1011, IEEE, 2009.

(Abstract | BibTeX)

2008

Carloni, Luca; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto

Languages and Tools for Hybrid Systems Design. (Article)

Foundations and Trends in Electronic Design Automation, 1 (1/2), 2008.

(Abstract | Links | BibTeX)

Carloni, Luca; Kahng, Andrew; Muddu, Swamy; Pinto, Alessandro; Samadi, Kambiz; Sharma, Puneet

Interconnect modeling for improved system-level design optimization. (Inproceeding)

Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 258-264, IEEE, 2008.

(Abstract | BibTeX)

D'Angelo,; Fischione, Carlo; Butussi, Matteo; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto

Outage-Based Rate Maximization in CDMA Wireless Networks. (Inproceeding)

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November - 4 December 2008, pp. 1310-1315, IEEE, 2008.

(Abstract | BibTeX)

Pinto, Alessandro; D’Angelo, Massimiliano; Fischione, Carlo; Scholte, Eelco; Sangiovanni-Vincentelli, Alberto

Synthesis of Embedded Networks for Building Automation and Control (Inproceeding)

Proceedings of American Control Conference (ACC 08), Seattle, Washington,, 2008.

(Abstract | BibTeX)

2007

Pinto, Alessandro; Bonivento, Alvise; Sangiovanni-Vincentelli, Alberto; Passerone, Roberto; Sgroi, Marco

System level design paradigms: Platform-based design and communication synthesis. (Article)

ACM Trans. Design Autom. Electr. Syst., 11 (3), pp. 537-563, 2007.

(Abstract | Links | BibTeX)

Pinto, Alessandro; Carloni, Luca; Sangiovanni-Vincentelli, Alberto

A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. (Inproceeding)

Kirsch, Christoph; Wilhelm, Reinhard (Ed.): Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 21-29, ACM, 2007, ISBN: 978-1-59593-825-1.

(Abstract | BibTeX)

Davare, Abhijit; Densmore, Douglas; Meyerowitz, Trevor; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto; Yang, Guang; Zeng, Haibo; Zhu, Qi

A Next-Generation Design Framework for Platform-Based Design (Inproceeding)

Conference on Using Hardware Design and Verification Languages (DVCon), 2007.

(Abstract | BibTeX)

2006

Sangiovanni-Vincentelli, Alberto; Pinto, Alessandro

An overview of embedded system design education at berkeley. (Article)

ACM Trans. Embedded Comput. Syst., 4 (3), pp. 472-499, 2006.

(Abstract | Links | BibTeX)

Pinto, Alessandro; Carloni, Luca; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto

Interchange Format for Hybrid Systems: Abstract Semantics. (Inproceeding)

Hespanha, Jo~ao; Tiwari, Ashish (Ed.): Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings, pp. 491-506, Springer, 2006, ISBN: 3-540-33170-0.

(Abstract | BibTeX)

Pinto, Alessandro; Carloni, Luca; Passerone, Roberto; Sangiovanni-Vincentelli, Alberto

Interchange Semantics for Hybrid System Models (Inproceeding)

5th International Conference on Mathematical Modeling, Vienna, Austria , 2006, 2006.

(Abstract | BibTeX)

2005

Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto; Carloni, Luca; Passerone, Roberto

Interchange Formats for Hybrid Systems: Review and Proposal. (Inproceeding)

Morari, Manfred; Thiele, Lothar (Ed.): Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 526-541, Springer, 2005, ISBN: 3-540-25108-1.

(Abstract | BibTeX)

Balarin, Felice; Passerone, Roberto; Pinto, Alessandro; Sangiovanni-Vincentelli, Alberto

A formal approach to system level design: metamodels and unified design environments (Inproceeding)

Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design, pp. 155–163, IEEE Computer Society, Washington, DC, USA, 2005, ISBN: 0-7803-9227-2.

(Abstract | Links | BibTeX)

Sangiovanni-Vincentelli, Alberto; Pinto, Alessandro

Embedded system education: a new paradigm for engineering schools? (Article)

SIGBED Review, 2 (4), pp. 5-14, 2005.

(Abstract | Links | BibTeX)

Sprinkle,; Ames,; Pinto,; Zheng, Haiyang; Sastry,

On the Partitioning of Syntax and Semantics For Hybrid Systems Tools (Inproceeding)

Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference CDC-ECC ’05., 2005.

(Abstract | BibTeX)

2003

Pinto, Alessandro; Carloni, Luca; Sangiovanni-Vincentelli, Alberto

Efficient Synthesis of Networks On Chip. (Inproceeding)

21st International Conference on Computer Design (ICCD 2003),VLSI in Computers and Processors, 13-15 October 2003, San Jose, CA, USA, Proceedings, pp. 146-150, IEEE Computer Society, 2003, ISBN: 0-7695-2025-1.

(Abstract | BibTeX)

2002

Pinto, Alessandro; Carloni, Luca; Sangiovanni-Vincentelli, Alberto

Constraint-driven communication synthesis. (Inproceeding)

Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 783-788, ACM, 2002, ISBN: 1-58113-461-4.

(Abstract | BibTeX)

Computer Engineering and Automation