( en | de | ru )

 

Disambiguation of "Sangiovanni-Vincentelli, Alberto L."

Author of the publication

copydeleteadd this publication to your clipboard
Mixed-level fault coverage estimation.

, and . DAC, page 553-559. IEEE Computer Society Press, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Valerio Sangiovanni

Alberto Moreira

Alberto Coda

Alberto Fierro

Alberto Ricco

 

Other publications of authors with the same name

VIS., , , , , , , , , and 6 other author(s). FMCAD, volume 1166 of Lecture Notes in Computer Science, page 248-256. Springer, (1996)Dr. Frankenstein's dream made possible: implanted electronic devices., and . DATE, page 1531-1536. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Panel: the heritage of Mead & Conway: what has remained the same, what was missed, what has changed, what lies ahead., , , , , , and . DATE, page 171-175. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Trade-off evaluation in embedded system design via co-simulation., , , , and . ASP-DAC, page 291-297. IEEE, (1997)Boolean matching in logic synthesis., , , and . EURO-DAC, page 168-174. IEEE Computer Society Press, (1992)Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint., , , and . Comput. Electr. Eng., 40 (6): 1858-1873 (2014)Refinement preserving approximations for the design and verification of heterogeneous systems., , and . Formal Methods Syst. Des., 31 (1): 1-33 (2007)An Iterative Approach to Verification of Real-Time Systems., and . Formal Methods Syst. Des., 6 (1): 67-95 (1995)A Service-Based Universal Application Interface for Ad Hoc Wireless Sensor and Actuator Networks., , , and . Ambient Intelligence, Springer, (2005)A Case Study in Embedded Systems Design: An Engine Control Unit., , , , , and . Des. Autom. Embed. Syst., 6 (1): 71-88 (2000)