( en | de | ru )

 

Disambiguierung von "Nuzzo, Pierluigi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design.

, , , , und . ACM Trans. Embed. Comput. Syst., 18 (1): 2:1-2:26 (2019)

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

An 820μW 9b 40MS/s Noise-Tolerant Dynamic-SAR ADC in 90nm Digital CMOS., , , , , und . ISSCC, Seite 238-239. IEEE, (2008)A 2-mm2 0.1-5 GHz Software-Defined Radio Receiver in 45-nm Digital CMOS., , , , , , , , , und 1 andere Autor(en). IEEE J. Solid State Circuits, 44 (12): 3486-3498 (2009)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)Towards a Formal Treatment of Logic Locking., , , , und . IACR Cryptol. ePrint Arch., (2022)Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications., , und . CoRR, (2020)Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications., , , und . CoRR, (2022)A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints., , und . CoRR, (2020)CHASE: Contract-based requirement engineering for cyber-physical system design., , , und . DATE, Seite 839-844. IEEE, (2018)From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts.. ISPD, Seite 117-121. ACM, (2019)Hierarchical Contract-Based Synthesis for Assurance Cases., , , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 175-192. Springer, (2022)