( en | de | ru )

 

Disambiguation of "Sangiovanni-Vincentelli, Alberto L."

Author of the publication

copydeleteadd this publication to your clipboard
Simulation based deadlock analysis for system level designs.

, , , , and . DAC, page 260-265. ACM, (2005)

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

Circuit Simulation on the Connection Machine., and . DAC, page 108-113. IEEE Computer Society Press / ACM, (1987)Duty-Cycle Optimization in Unslotted 802.15.4 Wireless Sensor Networks., , , and . GLOBECOM, page 388-393. IEEE, (2008)Education panel: designing the always connected car of the future., , , , , , , , and . DAC, page 617-618. ACM, (2010)A tool for describing and evaluating hierarchical real-time bus scheduling policies., , and . DAC, page 312-317. ACM, (2003)Techniques for programmable logic array folding., , and . DAC, page 147-155. ACM/IEEE, (1982)Simulation based deadlock analysis for system level designs., , , , and . DAC, page 260-265. ACM, (2005)Fault-tolerant platforms for automotive safety-critical applications., , , , , and . CASES, page 170-177. ACM, (2003)A Verification Strategy for Timing-Constrained Systems., and . CAV, volume 663 of Lecture Notes in Computer Science, page 151-163. Springer, (1992)Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine., , , , , , , and . HSCC, volume 1790 of Lecture Notes in Computer Science, page 32-44. Springer, (2000)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)