Author of the publication

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)

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)A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints., , and . AAAI, page 8030-8037. AAAI Press, (2021)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)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)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)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)Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications., , , and . CoRR, (2022)