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
Extensible and scalable time triggered scheduling
TL;DR: An important aspect of the design of automotive systems: the scheduling problem for hard real time distributed embedded systems is focused on, and the optimization framework is effective in reducing development and re-verification efforts after incremental design changes.
Proceedings ArticleDOI
Logic Verification Algorithms and their Parallel Implementation
TL;DR: A new verification algorithm, LOVER-PODEM, whose enumeration phase is based on PODEM is described, and parallel versions of PODem-based enumeration algorithms are developed, for the first time, parallel logic verification schemes.
Proceedings ArticleDOI
Sequential synthesis using S1S
TL;DR: The logic S1S is used to derive simple, rigorous, and constructive solutions to problems in sequential synthesis, and exact and approximate sets of permissible FSM network behavior are obtained.
Journal ArticleDOI
Composing heterogeneous reactive systems
Albert Benveniste,Benoît Caillaud,Luca P. Carloni,Paul Caspi,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: An algebra of tag structures is introduced to define heterogeneous parallel composition formally and Morphisms between tag structures are used to define relationships between heterogeneous models at different levels of abstraction.
Journal ArticleDOI
Individual cylinder characteristic estimation for a spark injection engine
TL;DR: An estimation technique for injector characteristics based on a set of measurements that can be carried out using the sensors present in the car, i.e., intake manifold pressure, crank-shaft speed, throttle-valve plate angle, injection timings and exhaust A/F ratio, which is measured by a single UEGO sensor placed at the exhaust pipe output is presented.