Publications

15 results for Alberto L. Sangiovanni-Vincentelli

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures
- - Pierluigi Nuzzo
  - Nikunj Bajaj
  - et al.
- 2020
- IEEE TCADIS
CHASE: Contract-based requirement engineering for cyber-physical system design
- - Pierluigi Nuzzo
  - Michele Lora
  - et al.
- 2018
- DATE 2018
Optimized selection of reliable and cost-effective cyber-physical system architectures
- - Nikunj Bajaj
  - Pierluigi Nuzzo
  - et al.
- 2015
- DATE 2015
An embedded system for an eye-detection sensor
- - Arnon Amir
  - Lior Zimet
  - et al.
- 2005
- Computer Vision and Image Understanding
Two-Level Minimization of Multivalued Functions with Large Offsets
- - Robert K. Brayton
  - A. Richard Newton
  - et al.
- 1993
- IEEE TC
Reduced Offsets for Minimization of Binary-Valued Functions
- - Abdul A. Malik
  - Robert K. Brayton
  - et al.
- 1991
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Reduced offsets for two-level multi-valued logic minimization
- - Abdul A. Malik
  - R. Brayton
  - et al.
- 1990
- DAC 1990
MULTI-LEVEL LOGIC MINIMIZATION USING IMPLICIT DON'T CARES.
- - K.A. Bartlett
  - R. Brayton
  - et al.
- 1985
- ICCD 1985
MULTI-LEVEL LOGIC OPTIMIZATION SYSTEM.
- - R. Brayton
  - E. Detjens
  - et al.
- 1985
- ICCAD 1985
Optimal State Assignment for Finite State Machines
- - Giovanni De Micheli
  - Robert K. Brayton
  - et al.
- 1985
- IEEE TCADIS