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
Randomized Algorithms for Platform-based Design
A. Agostini,Andrea Balluchi,Antonio Bicchi,Benedetto Piccoli,Alberto Sangiovanni-Vincentelli,K. Zadarnowska +5 more
TL;DR: This paper illustrates a control-implementation design methodology for the development of embedded controllers by composition of algorithms picked up from libraries by Randomized algorithms and hybrid system theory are used.
ReportDOI
From Relational Interfaces to Assume-Guarantee Contracts
TL;DR: This paper investigates the relation between interface theories and assume-guarantee contracts, revealing some of the subtleties involved and showing that the natural transformation of interfaces to A/G contracts represented by LTL formulas preserves refinement, but does not generally preserve serial composition.
Journal Article
Analytical modeling and optimization of duty-cycles in preamble-based IEEE 802.15.4 wireless sensor networks
Carlo Fischione,Pangun Park,S.C. Ergen,Karl Henrik Johansson,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: Analytical modeling and optimization of duty-cycles in preamble-based IEEE 802.15.4 wireless sensor networks shows good results in terms of accuracy, efficiency, and efficiency in both the horizontal and the vertical.