Author of the publication

Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures.

, , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (1): 30-43 (January 2024)

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

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (10): 2109-2123 (2020)Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design., , , , and . ACM Trans. Embed. Comput. Syst., 18 (1): 2:1-2:26 (2019)CROME: Contract-Based Robotic Mission Specification., , , and . MEMOCODE, page 1-11. IEEE, (2020)Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints., , , and . ACC, page 5140-5146. IEEE, (2022)A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints., , and . AAAI, page 8030-8037. AAAI Press, (2021)A 16mA UWB 3-to-5GHz 20Mpulses/s Quadrature Analog Correlation Receiver in 0.18µm CMOS., , , , , , , , , and 3 other author(s). ISSCC, page 368-377. IEEE, (2006)Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption., , , , , and . HOST, page 281-291. IEEE, (2021)Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations., , , , and . DATE, page 638-641. IEEE, (2019)An 820μW 9b 40MS/s Noise-Tolerant Dynamic-SAR ADC in 90nm Digital CMOS., , , , , and . ISSCC, page 238-239. IEEE, (2008)A 2-mm2 0.1-5 GHz Software-Defined Radio Receiver in 45-nm Digital CMOS., , , , , , , , , and 1 other author(s). IEEE J. Solid State Circuits, 44 (12): 3486-3498 (2009)