( en | de | ru )

 

Disambiguation of "Nuzzo, Pierluigi"

Author of the publication

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

Pierluigi Nuzzo

Antonio Nuzzo

Sabata Nuzzo

Pierluigi Casale

Pierluigi Ramadori

 

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)Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints., , , and . ACC, page 5140-5146. IEEE, (2022)CROME: Contract-Based Robotic Mission Specification., , , and . MEMOCODE, page 1-11. IEEE, (2020)A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints., , and . AAAI, page 8030-8037. AAAI Press, (2021)Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations., , , , and . DATE, page 638-641. IEEE, (2019)Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption., , , , , and . HOST, page 281-291. IEEE, (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)CHASE: Contract-based requirement engineering for cyber-physical system design., , , and . DATE, page 839-844. IEEE, (2018)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)