( en | de | ru )

 

Disambiguierung von "Nuzzo, Pierluigi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pierluigi Nuzzo

Antonio Nuzzo

Sabata Nuzzo

Pierluigi Casale

Pierluigi Ramadori

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures., , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (10): 2109-2123 (2020)Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design., , , , und . ACM Trans. Embed. Comput. Syst., 18 (1): 2:1-2:26 (2019)A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints., , und . AAAI, Seite 8030-8037. AAAI Press, (2021)CROME: Contract-Based Robotic Mission Specification., , , und . MEMOCODE, Seite 1-11. IEEE, (2020)Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints., , , und . ACC, Seite 5140-5146. IEEE, (2022)Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption., , , , , und . HOST, Seite 281-291. IEEE, (2021)Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations., , , , und . DATE, Seite 638-641. IEEE, (2019)A 16mA UWB 3-to-5GHz 20Mpulses/s Quadrature Analog Correlation Receiver in 0.18µm CMOS., , , , , , , , , und 3 andere Autor(en). ISSCC, Seite 368-377. IEEE, (2006)Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 43 (1): 30-43 (Januar 2024)Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications., , , und . CoRR, (2022)