Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Library-based scalable refinement checking for contract-based design.

A. Iannopollo, P. Nuzzo, S. Tripakis, and A. Sangiovanni-Vincentelli. DATE, page 1-6. European Design and Automation Association, (2014)

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.

Jeremy Nuzzo University of Stuttgart

Other publications of authors with the same name

Architectural Exploration and Design of Time-Interleaved SAR Arrays for Low-Power and High Speed A/D Converters.S. Saponara, P. Nuzzo, C. Nani, G. der Plas, and L. Fanucci. IEICE Transactions, 92-C (6): 843-851 (2009)Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach.Y. Shoukry, P. Nuzzo, A. Puggelli, A. Sangiovanni-Vincentelli, S. Seshia, and P. Tabuada. CoRR, (2014)Design Automation for Smart Building Systems.R. Jia, B. Jin, M. Jin, Y. Zhou, I. Konstantakopoulos, H. Zou, J. Kim, D. Li, W. Gu, R. Arghandeh and 4 other author(s). Proceedings of the IEEE, 106 (9): 1680-1699 (2018)CHASE: Contract-based requirement engineering for cyber-physical system design.P. Nuzzo, M. Lora, Y. Feldman, and A. Sangiovanni-Vincentelli. DATE, page 839-844. IEEE, (2018)A 2-mm2 0.1-5 GHz Software-Defined Radio Receiver in 45-nm Digital CMOS.V. Giannini, P. Nuzzo, C. Soens, K. Vengattaramane, J. Ryckaert, M. Goffioul, B. Debaillie, J. Borremans, J. Driessche, J. Craninckx and 1 other author(s). J. Solid-State Circuits, 44 (12): 3486-3498 (2009)Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.S. Ghosh, D. Sadigh, P. Nuzzo, V. Raman, A. Donzé, A. Sangiovanni-Vincentelli, S. Sastry, and S. Seshia. HSCC, page 31-40. ACM, (2016)From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts.P. Nuzzo. ISPD, page 117-121. ACM, (2019)Robustness in analog systems: Design techniques, methodologies and tools.P. Nuzzo, and A. Sangiovanni-Vincentelli. SIES, page 194-203. IEEE, (2011)An 820μW 9b 40MS/s Noise-Tolerant Dynamic-SAR ADC in 90nm Digital CMOS.V. Giannini, P. Nuzzo, V. Chironi, A. Baschirotto, G. der Plas, and J. Craninckx. ISSCC, page 238-239. IEEE, (2008)Towards a Formal Treatment of Logic Locking.P. Beerel, M. Georgiou, B. Hamlin, A. Malozemoff, and P. Nuzzo. IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022 (2): 92-114 (2022)

PUMA

Disambiguation of "Nuzzo, Pierluigi"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Library-based scalable refinement checking for contract-based design.

Please choose a person to relate this publication to

Jeremy Nuzzo University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Nuzzo, Pierluigi"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Library-based scalable refinement checking for contract-based design.

Please choose a person to relate this publication to

Jeremy Nuzzo University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Library-based scalable refinement checking for contract-based design.