Author

Alberto Sangiovanni-Vincentelli

20 books found

Cover of Platform-Based Design

Platform-Based Design

Alberto Sangiovanni-Vincentelli, Roberto Passerone · First published 2022

Cover of Security-Aware Design for Cyber-Physical Systems

Security-Aware Design for Cyber-Physical Systems

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli · First published 2017

Cover of Smart Connected Buildings Design Automation

Smart Connected Buildings Design Automation

Mehdi Maasoumy, Alberto Sangiovanni-Vincentelli · First published 2016

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

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

Alberto Sangiovanni-Vincentelli · First published 2015

Cover of Embedded Systems Development

Embedded Systems Development

Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel · First published 2013

Cover of Algorithms for Synthesis and Testing of Asynchronous Circuits

Algorithms for Synthesis and Testing of Asynchronous Circuits

Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli · First published 2012

Cover of Embedded Systems Design

Embedded Systems Design

Alberto Sangiovanni-Vincentelli, Allesandro Pinto · First published 2008

Cover of The Unknown Component Problem

The Unknown Component Problem

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

Cover of Noise analysis of radio frequency circuits

Noise analysis of radio frequency circuits

Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli · First published 2003

Cover of Embedded Software

Embedded Software

Alberto Sangiovanni-Vincentelli, Joseph Sifakis · First published 2003

Cover of Hybrid Systems : Computation and Control

Hybrid Systems : Computation and Control

Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli · First published 2003

Cover of Hybrid systems

Hybrid systems

Alberto Sangiovanni-Vincentelli · First published 2001

Cover of Synchronous equivalence

Synchronous equivalence

Harry Hsieh, Felice Balarin, Alberto L. Sangiovanni-Vincentelli · First published 2001

Cover of Function/architecture optimization and co-design of embedded systems

Function/architecture optimization and co-design of embedded systems

Bassam Tabbara, Abdallah Tabbara, Alberto L. Sangiovanni-Vincentelli · First published 2000

Cover of Synthesis of finite state machines

Synthesis of finite state machines

Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli · First published 1997

Cover of Synthesis of finite state machines

Synthesis of finite state machines

Timothy Kam, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli · First published 1996

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

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

Alberto Sangiovanni-Vincentelli · First published 1987

Cover of Advances in Computer-Aided Engineering Design: A Research Annual

Advances in Computer-Aided Engineering Design: A Research Annual

Alberto Sangiovanni-Vincentelli · First published 1986

Cover of Relaxation Techniques for the Simulation of VLSI Circuits

Relaxation Techniques for the Simulation of VLSI Circuits

Jacob K White, Alberto L Sangiovanni-Vincentelli · First published 1986

Cover of Design Systems for VLSI Circuits

Design Systems for VLSI Circuits

P. Antognetti, G. De Michelis, Alberto Sangiovanni-Vincentelli · First published 1899