Alberto Sangiovanni-Vincentelli

No bio available. Add one in Open Library.

Books by Alberto Sangiovanni-Vincentelli (50 max)

+ shelf+ list

The Unknown Component Problem: Theory and Applications

2007

Tiziano Villa, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli, Nina Yevtushenko

+ shelf+ list

Embedded Systems Development From Functional Models to Implementations

2013

Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel

+ shelf+ list

A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits

1996

Henry Chang, Edoardo Charbon, Umakanta Choudhury, Alper Demir, Eric Felt, Edward Liu, Enrico Malavasi, Alberto Sangiovanni-Vincentelli, Iasson Vassiliou

+ shelf+ list

Hardware-software co-design of embedded systems: the POLIS approach

1997

Felice Balarin, F. Balarin, Paolo Di Giusto, Attila Jurecska, Claudio Passerone, Ellen Sentovich, Bassam Tabbara, M. Chiodo, Harry Hsieh, Luciano Lavagno, Alberto Sangiovanni-Vincentelli, Kei Suzuki

+ shelf+ list

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

2017

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli

+ shelf+ list

Platform-Based Design

2022

Alberto Sangiovanni-Vincentelli, Roberto Passerone

+ shelf+ list

Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation (NATO Science Series E: (closed))

1899

P. Antognetti, G. De Michelis, Alberto Sangiovanni-Vincentelli

+ shelf+ list

Advances in Computer-Aided Engineering Design: A Research Annual : Computer-Aided Design of Vlsi Circuits and Systems (Advances in Computer-Aided Engineering Design)

1986

Alberto Sangiovanni-Vincentelli

+ shelf+ list

Selected papers on computer-aided design of very large scale integrated circuits

1987

Alberto Sangiovanni-Vincentelli

+ shelf+ list

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science)

2001

Alberto Sangiovanni-Vincentelli

+ shelf+ list

Embedded Software Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

2003

Alberto Sangiovanni-Vincentelli, Joseph Sifakis

+ shelf+ list

Embedded Systems Design A Platform-Based Approach to System-Level Design

2008

Alberto Sangiovanni-Vincentelli, Allesandro Pinto

+ shelf+ list

Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud

2015

Alberto Sangiovanni-Vincentelli

+ shelf+ list

Smart Connected Buildings Design Automation: Foundations and Trends

2016

Mehdi Maasoumy, Alberto Sangiovanni-Vincentelli