Alessandro Pinto
Alessandro Pinto
Home
Experience
Projects
Publications
Contact
Light
Dark
Automatic
1
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
Efficient synthesis of networks on chip
We propose an efficient heuristic for the constraint-driven communication synthesis (CDCS) of on-chip communication networks. The …
Alessandro Pinto
,
Luca P Carloni
,
Alberto L Sangiovanni-Vincentelli
PDF
Cite
Constraint-driven communication synthesis
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a …
Alessandro Pinto
,
Luca P Carloni
,
Alberto L Sangiovanni-Vincentelli
PDF
Cite
«
Cite
×