( en | de | ru )

 

Disambiguation of "Sangiovanni-Vincentelli, Alberto L."

Author of the publication

copydeleteadd this publication to your clipboard
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks.

, , , , , , , and . ICCPS, page 29:1-29:10. IEEE Computer Society, (2016)

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 Ricco

Alberto Moreira

 

Other publications of authors with the same name

My 50-Year Journey from Punched Cards to Swarm Systems.. ISPD, page 123-125. ACM, (2019)Performance analysis of collaborative spatio-temporal processing for wireless sensor networks., , , , and . CCNC, page 325-329. IEEE, (2006)System-level design: orthogonalization of concerns andplatform-based design., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 19 (12): 1523-1543 (2000)Test generation for sequential circuits., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (10): 1081-1093 (1988)Multiple-Valued Minimization for PLA Optimization., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 6 (5): 727-750 (1987)A Detailed Router Based on Incremental Routing Modifications: Mighty., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 6 (6): 942-955 (1987)Explicit and implicit algorithms for binate covering problems., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 16 (7): 677-691 (1997)NOVA: state assignment of finite state machines for optimal two-level logic implementation., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (9): 905-924 (1990)Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2 (3): 151-167 (1983)Substrate optimization based on semi-analytical techniques., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 18 (2): 172-190 (1999)