( en | de | ru )

 

Disambiguation of "Sangiovanni-Vincentelli, Alberto L."

Author of the publication

copydeleteadd this publication to your clipboard
Stochastic Analysis of Distributed Real-time Automotive Systems.

, , , and . IEEE Trans. Ind. Informatics, 5 (4): 388-401 (2009)

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 Ricco

Alberto Moreira

Alberto Moreira

 

Other publications of authors with the same name

Education panel: designing the always connected car of the future., , , , , , , , and . DAC, page 617-618. ACM, (2010)Duty-Cycle Optimization in Unslotted 802.15.4 Wireless Sensor Networks., , , and . GLOBECOM, page 388-393. IEEE, (2008)Simulation based deadlock analysis for system level designs., , , , and . DAC, page 260-265. ACM, (2005)A tool for describing and evaluating hierarchical real-time bus scheduling policies., , and . DAC, page 312-317. ACM, (2003)Fault-tolerant platforms for automotive safety-critical applications., , , , , and . CASES, page 170-177. ACM, (2003)Techniques for programmable logic array folding., , and . DAC, page 147-155. ACM/IEEE, (1982)Circuit Simulation on the Connection Machine., and . DAC, page 108-113. IEEE Computer Society Press / ACM, (1987)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)Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System., , , and . HSCC, volume 4981 of Lecture Notes in Computer Science, page 58-71. Springer, (2008)