2

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts
We present a compositional approach to early modeling and analysis of complex aerospace systems based on assume-guarantee contracts. …
Nicolas Rouquette, Alessandro Pinto, Inigo Incer
PDF Cite
Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts
Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements
The design of complex mission-critical systems often follows a layered approach, which may lead to complicated, multilevel, …
Nikhil Vijay Naik, Alessandro Pinto, Pierluigi Nuzzo
PDF Cite
Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements
Explaining AI decisions using efficient methods for learning sparse Boolean formulae
In this paper, we consider the problem of learning Boolean formulae from examples obtained by actively querying an oracle that can …
Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis
PDF Cite
CSL4P: A contract specification language for platforms
The contract-based design formalism supports compositional design and verification, and generalizes many other languages where …
Alessandro Pinto, Alberto L Sangiovanni-Vincentelli
PDF Cite
Correct-by-construction and optimal synthesis of beacon-enabled ZigBee network
In this paper we develop a formal approach for the synthesis of a cost-effective and correct-by-construction communication network …
Songyan Xu, Ratnesh Kumar, Alessandro Pinto
PDF Cite
Methods and tools to enable the design and verification of intelligent systems
A Pinto
PDF Cite
Probabilistically safe vehicle control in a hostile environment
In this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The …
Igor Cizelj, Xu Chu Dennis Ding, Morteza Lahijanian, Alessandro Pinto, Calin Belta
PDF Cite
Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems
Development of robust dynamical systems and networks such as autonomous aircraft systems capable of accomplishing complex missions …
Andrzej Banaszuk, Vladimir A Fonoberov, Thomas A Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto, Tuhin Sahai, Harshad Sane, Alberto Speranzon, others
PDF Cite
A methodology for constraint-driven synthesis of on-chip communications
We present a methodology and an optimization framework for the synthesis of on-chip communication through the assembly of components …
Alessandro Pinto, Luca P Carloni, Alberto L Sangiovanni-Vincentelli
PDF Cite Source Document
Accurate predictive interconnect modeling for system-level design
We propose new accurate predictive models for the delay, power, and area of buffered interconnects to enable a more effective …
Luca P Carloni, Andrew B Kahng, Swamy V Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma
PDF Cite