2

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
COSI: A framework for the design of interconnection networks
This article presents a software framework for communication infrastructure synthesis of distributed systems, which is critical for …
Alessandro Pinto, Luca P Carloni, Alberto Sangiovanni-Vincentelli
PDF Cite
Interchange semantics for hybrid system models
We propose an interchange format for hybrid systems to allow tool interoperability and seamless exchange of information among the …
Alessandro Pinto, Luca P Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli
PDF Cite Slides