A
Alberto Sangiovanni-Vincentelli
Researcher at University of California, Berkeley
Publications - 946
Citations - 47259
Alberto Sangiovanni-Vincentelli is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Logic synthesis & Finite-state machine. The author has an hindex of 99, co-authored 934 publications receiving 45201 citations. Previous affiliations of Alberto Sangiovanni-Vincentelli include National University of Singapore & Lawrence Berkeley National Laboratory.
Papers
More filters
Proceedings ArticleDOI
Loosely time-triggered architectures based on communication-by-sampling
Albert Benveniste,Paul Caspi,Marco Di Natale,C. Pinello,Alberto Sangiovanni-Vincentelli,Stavros Tripakis +5 more
TL;DR: A design flow that ensures semantics preservation for an LTT communication network with arbitrary topology is proposed that relies on a mathematical Model of Communication (MoC) that is described in detail and key elements are two new protocols for clock regeneration and predictive traffic shaping.
Proceedings ArticleDOI
Synthesis of embedded networks for building automation and control
Alessandro Pinto,Massimiliano D’Angelo,Carlo Fischione,Eelco Scholte,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: The methodology is applied to the synthesis of wireless networks for an essential step in any control algorithm in a distributed environment: the estimation of control variables such as temperature and air-flow in buildings.
Proceedings ArticleDOI
Security-aware mapping for TDMA-based real-time distributed systems
TL;DR: A message authentication mechanism with time-delayed release of keys is applied to protect against attacks on TDMA-based real-time distributed systems, which provides a good balance between security and computational overhead but needs sophisticated network scheduling to ensure that the increased latencies due to delayed key releases will not violate timing requirements.
Proceedings ArticleDOI
ORCA A Sea-of-gates Place and Route System
TL;DR: The ORCA system is a place and route system for sea-of-gates, whose objective is to produce the highest density layout by fully exploiting the inherent features of this new design style.