1

A case study in distributed deployment of embedded software for camera networks
We present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. We …
Francesco Leonardi, Alessandro Pinto, Luca P Carloni
PDF Cite
Synthesis of wireless time-triggered embedded networks for networked control systems
In this paper, we extend our previous work by including the decisions for connection-scheduling as part of the automated synthesis of …
Alessandro Pinto, Ratnesh Kumar, Songyan Xu
PDF Cite
Interconnect modeling for improved system-level design optimization
Accurate modeling of delay, power, and area of interconnections early in the design phase is crucial for effective system-level …
Luca Carloni, Andrew B Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma
PDF Cite
Outage-based rate maximization in cdma wireless networks
The problem of maximizing the sum of the transmit rates while limiting the outage probability below an appropriate threshold is …
M D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, Al Sangiovanni-Vincentelli
PDF Cite
Synthesis of embedded networks for building automation and control
We present a methodology and a software framework for the automatic design exploration of the communication network among sensors, …
Alessandro Pinto, Massimiliano D'Angelo, Carlo Fischione, Eelco Scholte, Alberto Sangiovanni-Vincentelli
PDF Cite
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, …
Alessandro Pinto, Luca P Carloni, Alberto L Sangiovanni-Vincentelli
PDF Cite
A next-generation design framework for platform-based design
The platform-based design methodology [1] is based on the usage of formal modeling techniques, clearly defined abstraction levels and …
Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu
Cite
Interchange format for hybrid systems: Abstract semantics
In [1] we advocated the need for an interchange format for hybrid systems that enables the integration of design tools coming from many …
Alessandro Pinto, Luca P Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli
PDF Cite
A formal approach to system level design: Metamodels and unified design environments
The debate about efficient methods for hardware-software co-design has taken interesting turns over the years. In this paper, we argue …
Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L Sangiovanni-Vincentelli
PDF Cite
Interchange formats for hybrid systems: Review and proposal
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of …
Alessandro Pinto, Alberto L Sangiovanni-Vincentelli, Luca P Carloni, Roberto Passerone
PDF Cite