Author of the publication

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design.

, , , , and . ACM Trans. Embed. Comput. Syst., 18 (1): 2:1-2:26 (2019)

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.

 

Other publications of authors with the same name

Communication storage optimization for static dataflow with access patterns under periodic scheduling and throughput constraint., , , and . Comput. Electr. Eng., 40 (6): 1858-1873 (2014)Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization Without Accessing Target Domain Data., , , , , and . ICCV, page 2100-2110. IEEE, (2019)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)Automated design management using traces., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (8): 1077-1095 (1993)Irredundant sequential machines via optimal logic synthesis., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (1): 8-18 (1990)DELIGHT.SPICE: an optimization-based system for the design of integrated circuits., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (4): 501-519 (1988)A Case Study in Embedded Systems Design: An Engine Control Unit., , , , , and . Des. Autom. Embed. Syst., 6 (1): 71-88 (2000)A case study in computer-aided co-design of embedded controllers., , , , , , , and . Des. Autom. Embed. Syst., 1 (1-2): 51-67 (1996)Verification of Nyquist data converters using behavioral simulation., and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 14 (4): 493-502 (1995)