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
ODRE Workshop: Probabilistic Dynamic Hard Real-Time Scheduling in HPC
TL;DR: In this article, the authors present an orchestration tool to manage the challenges and opportunities of shifting industrial control software from dedicated hardware to bare-metal servers or (edge) cloud computing platforms.
Journal ArticleDOI
Constrained synthesis from component libraries
TL;DR: This paper proposes a scalable methods for solving the problem of bounded synthesis from libraries, proposing a solution based on the CounterExample-Guided Inductive Synthesis paradigm and presents a parallel implementation which instantiates components defined as Linear Temporal Logic-based Assume/Guarantee Contracts.
Book ChapterDOI
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems
TL;DR: A synthesis path, with the methods and tools to generate a (provably correct) software or hardware implementation of a model is a necessary complement to the use of an analyzable modeling language, to improve efficiency, but to avoid the introduction of unwanted errors when the model is refined into its implementation.
Proceedings ArticleDOI
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations
Nina Yevtushenko,Tiziano Villa,Robert K. Brayton,Alexandre Petrenko,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: It is established that, if M/sub A/ is a deterministic FSM, then the FSM equation M/ Sub X/ /spl middot/ M/ sub A/ / spl les/ M-sub C/ is solvable for the series topology with an unknown head component iff it is solable for the controller's topology.
Book ChapterDOI
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Albert Benveniste,Benoît Caillaud,Luca P. Carloni,Paul Caspi,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: It is shown how the formal results on the preservation of semantics hold also for these cases and the overall contribution is discussed in the context of previous work on desynchronization.