( en | de | ru )

 

Disambiguation of "Sangiovanni-Vincentelli, Alberto L."

Author of the publication

copydeleteadd this publication to your clipboard
Formal Models for Communication-Based Design.

, , and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 29-47. Springer, (2000)

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 Fierro

Alberto Moreira

Alberto Coda

Alberto Ricco

 

Other publications of authors with the same name

A Verification Strategy for Timing-Constrained Systems., and . CAV, volume 663 of Lecture Notes in Computer Science, page 151-163. Springer, (1992)Formal Models for Communication-Based Design., , and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 29-47. Springer, (2000)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)A Service-Based Universal Application Interface for Ad Hoc Wireless Sensor and Actuator Networks., , , and . Ambient Intelligence, Springer, (2005)Boolean matching in logic synthesis., , , and . EURO-DAC, page 168-174. IEEE Computer Society Press, (1992)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)