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
Taming Dr. Frankenstein: A primer on the challenges posed by cyber-physical systems
TL;DR: A rigorous approach to systems engineering intended as a methodology for product system level design, optimization and verification that provides guarantees of performance and reliability against customer requirements while achieving cost and time-to-market objectives is needed.
Proceedings ArticleDOI
SERAN: a Protocol for Clustered WSNs in Industrial Control and Automation
TL;DR: A system level design methodology for clustered wireless sensor networks based on a semi-random communication protocol called SERAN is presented, grounded on a mathematical model that characterizes performance accurately without resorting to extensive simulations.
Proceedings ArticleDOI
Embedded system design specification: merging reactive control and data computation
Marco Antoniotti,Alberto Ferrari,L. Lavagno,Alberto Sangiovanni-Vincentelli,Ellen M. Sentovich +4 more
TL;DR: Two language extensions for C and Java build upon the ESTEREL synchronous semantic foundation that provides support for waiting, concurrency and preemption, and nicely support specification of mixed control/data modules.
Source-Level TimingAnnotation andSimulation fora Heterogeneous Multiprocessor
TL;DR: A generic andargetable toolflow is presented that enables the export of timing data from software running on a cycle-accurate Virtual Prototype (VP) to a concurrent functional simulator while preserving timing accuracy.
Journal ArticleDOI
Solution of piecewise-linear ordinary differential equations using waveform relaxation and Laplace transforms
TL;DR: New techniques for the solution of the differential equations describing the behavior of piecewise-linear circuits will be presented, based on the waveform relaxation method to decouple the system equations and Laplace transform techniques to solve the decoupled equations.