2

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
Languages and tools for hybrid systems design
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of …
Luca P Carloni, Roberto Passerone, Alessandro Pinto, Alberto L Sangiovanni-Vincentelli, others
PDF Cite
System level design paradigms: Platform-based design and communication synthesis
Embedded system level design must be based on paradigms that make formal foundations and unification a cornerstone of their …
Alessandro Pinto, Alvise Bonivento, Allberto L Sangiovanni-Vincentelli, Roberto Passerone, Marco Sgroi
PDF Cite
An overview of embedded system design education at Berkeley
Embedded systems have been a traditional area of strength in the research agenda of the University of California at Berkeley. In …
Alberto L Sangiovanni-Vincentelli, Alessandro Pinto
PDF Cite
Embedded system education: a new paradigm for engineering schools?
Embedded systems are emerging as an essential component of modern electronic products. Embedded system design problems are posing …
Alberto Luigi Sangiovanni-Vincentelli, Alessandro Pinto
PDF Cite