( en | de | ru )

 

Disambiguation of "Nuzzo, Pierluigi"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Pierluigi Nuzzo

Antonio Nuzzo

Sabata Nuzzo

Pierluigi Casale

Pierluigi Ramadori

 

Other publications of authors with the same name

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)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)Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications., , and . CoRR, (2020)A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints., , and . CoRR, (2020)Towards a Formal Treatment of Logic Locking., , , , and . IACR Cryptol. ePrint Arch., (2022)CHASE: Contract-based requirement engineering for cyber-physical system design., , , and . DATE, page 839-844. IEEE, (2018)Hierarchical Contract-Based Synthesis for Assurance Cases., , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 175-192. Springer, (2022)From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts.. ISPD, page 117-121. ACM, (2019)