Alessandro Pinto
Alessandro Pinto
Home
Experience
Projects
Publications
Contact
Light
Dark
Automatic
1
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
On the partitioning of syntax and semantics for hybrid systems tools
Interchange formats are notoriously difficult to finish. That is, once one is developed, it is highly nontrivial to prove (or disprove) …
Jonathan Sprinkle
,
Aaron D Ames
,
Alessandro Pinto
,
Haiyang Zheng
,
S Shankar Sastry
PDF
Cite
«
»
Cite
×