Skip to content

Publications

Book Chapters

  • P. Nuzzo, A. L. Sangiovanni-Vincentelli, “Hierarchical System Design with Vertical Contracts,” in Principles of Modeling, Lecture Notes in Computer Science, vol. 10760, Springer, pp. 360-382, Jul. 2018. Download: [HTML]
  • P. Nuzzo, A. L. Sangiovanni-Vincentelli, “System Design in the Cyber-Physical Era,” in Nanoelectronics: Materials, Devices, Applications, John Wiley & Sons, vol. 2, chap. 15, pp. 363-396, Apr. 2017. Download: [HTML]
  • M. Maasoumy, P. Nuzzo, A. L. Sangiovanni-Vincentelli, “Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System,” in Cyber Physical Systems Approach to Smart Electric Power Grid, Power Systems, pp. 103-132, Springer Berlin Heidelberg, Jan. 2015. Download: [HTML]

Journal Papers

  • P. Nuzzo, J. Li, A. L. Sangiovanni-Vincentelli, Y. Xi, D. Li, “Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design,” ACM Trans. Embedded Computing Systems (TECS), to appear.
  • Y. Shoukry, P. Nuzzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, P. Tabuada, “SMC: Satisfiability Modulo Convex Programming,” Proc. IEEE, vol. 106, no. 9, pp. 1655-1679, Sep. 2018. Download: [HTML]
  • R. Jia, B. Jin, M. Jin, Y. Zhou, I. C. Konstantakopoulos, H. Zou, J. Kim, D. Li, W. Gu, R. Arghandeh, P. Nuzzo, S. Schiavon, A. L. Sangiovanni-Vincentelli, C. J. Spanos, “Design Automation for Smart Building Systems,” Proc. IEEE, vol. 106, no. 9, pp. 1680-1699, Sep. 2018. Download: [HTML]
  • Y. Shoukry, M. Chong, M. Wakaiki, P. Nuzzo, A. Sangiovanni-Vincentelli, S. A. Seshia, J. P. Hespanha, P. Tabuada, “SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks,” ACM Trans. Cyber-Phys. Syst. (TCPS), vol. 2, no. 1, pp. 5, 2018. Download: [HTML]
  • Y. Shoukry, P. Nuzzo, A. Puggelli, A. Sangiovanni-Vincentelli, S. A. Seshia, P. Tabuada, “Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach,” IEEE Transactions on Automatic Control, vol. 62, no. 10, pp. 4917-4932, Oct. 2017. Download: [HTML]
  • P. Nuzzo, A. Sangiovanni-Vincentelli, D. Bresolin, L. Geretti, T. Villa, “A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems,” in Proc. IEEE, vol. 103, no. 11, pp. 2104-2132, Nov. 2015. Download: [HTML]
  • P. Nuzzo, H. Xu, N. Ozay, J. B. Finn, A. L. Sangiovanni-Vincentelli, R. M. Murray, A. Donzé, S. A. Seshia, “A Contract-Based Methodology for Aircraft Electric Power System Design,” IEEE Access, vol. 2, pp. 1-25, Jan. 2014. Download: [HTML]
  • P. Nuzzo, A. Sangiovanni-Vincentelli, X. Sun, A. Puggelli, “Methodology for the Design of Analog Integrated Interfaces Using Contracts,” IEEE Sensors Journal, vol. 12, no. 12, pp. 3329-3345, Dec. 2012. Download: [HTML]
  • P. Nuzzo, C. Nani, C. Armiento, A. Sangiovanni-Vincentelli, J. Craninckx and G. Van der Plas, “A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS,” IEEE Transactions on Circuits and Systems-I: Regular papers, vol. 59, no. 1, pp. 80-92 Dec. 2011. Download: [HTML]
  • P. Nuzzo, X. Sun, C.-C. Wu, F. De Bernardinis, A. Sangiovanni-Vincentelli, “A Platform-Based Methodology for System-Level Mixed-Signal Design,” Eurasip Journal of Embedded Systems, vol. 2010, Article ID 261583, 2010. Download: [HTML]
  • S. Saponara, P. Nuzzo, P. D’Abramo, L. Fanucci, “Design Methodologies and Innovative Architectures for Mixed-Signal Embedded Systems,” Eurasip Journal of Embedded Systems, vol. 2010, Article ID 641261, 2010. Download: [HTML]
  • V. Giannini, P. Nuzzo, C. Soens,  K. Vengattaramane, J. Ryckaert, M. Goffioul, B. Debaillie, J. Borremans, J. Van Driessche, J. Craninckx, M. Ingels, “A 2-mm² 0.1–5 GHz Software-Defined Radio Receiver in 45-nm Digital CMOS,” IEEE Journal of Solid State Circuits, vol. 44, no.12, pp. 3486-3498, Dec. 2009. Download: [HTML]

  • S. Saponara, P. Nuzzo, C. Nani, G. Van der Plas, L. Fanucci, “Architectural Exploration and Design of Time-Interleaved SAR Arrays for Low-Power and High Speed A/D Converters,” IEICE Trans. Electron., Vol. E92.C, No. 6, pp. 843-851, Jun. 2009. Download: [HTML]
  • P. Nuzzo, F. De Bernardinis, P. Terreni, G. Van der Plas, “Noise Analysis of Regenerative Comparators for Reconfigurable ADC Architectures,” IEEE Transactions on Circuits and Systems-I: Regular papers, vol. 55, no. 6, pp. 1441-1454, Jul. 2008. Download: [HTML]
  • J. Ryckaert, M. Verhelst, M. Badaroglu, S. D’Amico, V. De Heyn, C. Desset, P. Nuzzo, B. Van Poucke, P. Wambacq, G. Van der Plas, “A CMOS Ultra-Wideband Receiver for Low Data-Rate Communication,” IEEE Journal of Solid State Circuits, vol. 42, no. 11, pp. 2515-2527, Nov. 2007. Download: [HTML]
  • P. Nuzzo, F. De Bernardinis, and A. Sangiovanni Vincentelli, “Platform-based mixed-signal design: optimizing a high performance pipelined ADC”, Analog Integrated Circuits and Signal Processing, vol. 49, no. 3, pp. 343-358 Springer, Dec. 2006. Download: [HTML]

Conference Papers

  • D. Kirov, P. Nuzzo, R. Passerone, A. L. Sangiovanni-Vincentelli, “Optimized Selection of Wireless Network Topologies and Components via Efficient Pruning of Feasible Paths,” Proc. Design Automation Conference (DAC), p. 179, Jun. 2018. Download: [HTML]
  • P. Nuzzo, M. Lora, Y. Feldman, A. L. Sangiovanni-Vincentelli, “CHASE: Contract-Based Requirement Engineering for Cyber-Physical System Design,” Proc. Design Automation and Testing in Europe Conference (DATE), pp. 839-844, Mar. 2018. Download: [HTML]
  • Y. Shoukry, P. Nuzzo, A. Balkan, I. Saha, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, P. Tabuada, “Linear Temporal Logic Motion Planning for Teams of Underactuated Robots Using Satisfiability Modulo Convex Programming,” Proc. IEEE Conference on Decision and Control (CDC), pp. 1132-1137, Dec. 2017. Download: [HTML]
  • J. Li, P. Nuzzo, A. L. Sangiovanni-Vincentelli, Y. Xi, D. Li, “Stochastic Contracts for Cyber-Physical System Design Under Probabilistic Requirements,” Proc. Int. Conf. on Formal Methods and Models for Co-Design (MEMOCODE), pp. 5-14, Sep. 2017. Download: [HTML]
  • B. Jin, M. Maasoumy, P. Nuzzo, A. L. Sangiovanni-Vincentelli, “Online Computation of Polytopic Flexibility Models for Demand Shifting Applications,” Proc. IEEE Conference on Automation Science and Engineering (CASE), pp. 900-905, August 2017. Download: [HTML]
  • D. Kirov, P. Nuzzo, R. Passerone, A. L. Sangiovanni-Vincentelli, “ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures,” Proc. Design Automation Conference (DAC), pp. 1-6, June 2017. Download: [HTML]
  • A. Moin, P. Nuzzo, A. L. Sangiovanni-Vincentelli, J. Rabaey, “Optimized Design of a Human Intranet Network,” Proc. Design Automation Conference (DAC), p. 30, June 2017. Download: [HTML]
  • Y. Shoukry, P. Nuzzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, P. Tabuada, “SMC: Satisfiability Modulo Convex Optimization,” Proc. Int. Conf. Hybrid Systems: Computation and Control (HSCC), pp. 19-28, April 2017. Download: [HTML]
  • Y. Shoukry, P. Nuzzo, I. Saha, A. L. Sangiovanni-Vincentelli, S. A. Seshia, G. J. Pappas, P. Tabuada, “Scalable Lazy SMT-Based Motion Planning,” IEEE Conference Decision and Control (CDC), pp. 6683-6688, Dec. 2016. Download: [HTML]
  • S. Ghosh, D. Sadigh, P. Nuzzo, V. Raman, A. Donzé, A. Sangiovanni-Vincentelli, S. S. Sastry, S. A. Seshia, “Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications,” Proc. Int. Conf. Hybrid Systems: Computation and Control (HSCC), pp. 31-40, April 2016. Download: [HTML]
  • Y. Shoukry, M. Chong, M. Wakaiki, P. Nuzzo, A. Sangiovanni-Vincentelli, S. A. Seshia, J. P. Hespanha, P. Tabuada, “SMT-Based Observer Design for Cyber Physical Systems Under Sensor Attacks,” Proc. Int. Conf. Cyber-Physical Systems (ICCPS), pp. 1-10, April 2016 (Best Paper Award). Download: [HTML]
  • Y. Shoukry, P. Nuzzo, N. Bezzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, P. Tabuada, “Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving,” in Proc. IEEE Conference Decision and Control (CDC), pp. 3804-3809, Dec. 2015. Download: [HTML]
  • B. Jin, P. Nuzzo, M. Maasoumy, Y. Zhou, A. Sangiovanni-Vincentelli, “A Contract-Based Framework for Integrated Demand-Response Management in Smart Grids,” in Proc. ACM Int. Conf. Embedded Systems for Energy-Efficient Built Environments (BuildSys), pp. 167-176, Nov. 2015. Download: [HTML]
  • J. Finn, P. Nuzzo, A. Sangiovanni-Vincentelli, “A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration,” in Proc. Int. Conf. Computer Aided Design (ICCAD), pp. 216-223, Nov. 2015. Download: [HTML]
  • C. Lv, J. Zhang, P. Nuzzo, A. Sangiovanni-Vincentelli, Y. Li, Y. Ye, “Design Optimization of the Control System for the Powertrain of an Electric Vehicle: A Cyber-Physical System Approach,” in Proc. Int. Conf. Mechatronics and Automation (ICMA), pp. 814-819, Aug. 2015. Download: [HTML]
  • Y. Shoukry, P. Nuzzo, A. Puggelli, A. L. Sangiovanni-Vincentelli, S. A. Seshia, M. Srivastava, P. Tabuada, “Imhotep-SMT: A Satisfiability Modulo Theory Solver For Secure State Estimation,” in Proc. Int. Workshop on Satisfiability Modulo Theories (SMT), pp. 3-13, Jul. 2015. Download: [PDF]
  • P. Nuzzo, A. L. Sangiovanni-Vincentelli, R. M. Murray, “Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach,” in Proc. INCOSE Int. Symp. (IS), pp. 235-249, Jul. 2015. Download: [HTML]
  • Y. Shoukry, A. Puggelli, P. Nuzzo, A. L. Sangiovanni-Vincentelli, S. A. Seshia, P. Tabuada, “Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving,” in Proc. American Control Conference (ACC), pp. 3818–3823, Jul. 2015. Download: [HTML]
  • N. Bajaj, P. Nuzzo, M. Masin, A. Sangiovanni-Vincentelli, “Optimized Selection of Reliable and Cost-Effective Cyber-Physical System Architectures,” in Proc. Design Automation and Testing in Europe Conference (DATE), pp. 561-566, Mar. 2015. Download: [HTML]
  • P. Nuzzo, A. Iannopollo, S. Tripakis, A. Sangiovanni-Vincentelli, “Are Interface Theories Equivalent to Contract Theories?,” Proc. Int. Conf. on Formal Methods and Models for Co-Design (MEMOCODE), pp. 104-113, Oct. 2014. Download: [HTML]
  • L. Guo, Q. Zhu, P. Nuzzo, R. Passerone, A. Sangiovanni-Vincentelli, E. Lee, “Metronomy: A Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems,” Proc. Int. Conf. on Hardware/Software Codesign and System Synthesis (CODES+ISSS), p. 24, Oct. 2014. Download: [HTML]
  • N. Bajaj, P. Nuzzo, M. Masin, A. Sangiovanni-Vincentelli, “Synthesis of Reliable and Cost-Effective Cyber-Physical System Architectures”, in Proc. TECHCON, Sep. 2014.
  • P. Nuzzo, A. Sangiovanni-Vincentelli, “Let’s Get Physical: Computer Science Meets Systems,” From Programs to Systems – The Systems Perspective in Computing Workshop, European Joint Conferences on Theory and Practice of Software (ETAPS), pp. 193-208, Apr. 2014. Download: [HTML]
  • A. V. Karthik, S. Ray, P. Nuzzo, A. Mishchenko, R. Brayton, J. Roychowdhury, “ABCD-NL: Approximating Non-Linear Analog/Mixed-Signal Systems using Purely Boolean Models for High-speed Simulation and Formal Verification“, ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems (TAU Workshop), pp. 250-255, Mar. 2014. Download: [PDF]
  • P. Nuzzo, J. B. Finn, A. Iannopollo, A. Sangiovanni-Vincentelli, “Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems,” Proc. Design Automation and Testing in Europe Conference (DATE), pp. 1-4, Mar. 2014. Download: [HTML]
  • A. Iannopollo, P. Nuzzo, S. Tripakis, A. Sangiovanni-Vincentelli, “Library-Based Scalable Refinement Checking for Contract-Based Design,” Proc. Design Automation and Testing in Europe Conference (DATE), pp. 1-6, Mar. 2014. Download: [HTML]
  • A. V. Karthik, S. Ray, P. Nuzzo, A. Mishchenko, R. Brayton, J. Roychowdhury, “ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems Using Purely Boolean Models for Analog/Mixed-Signal Verification,” in Proc. Asia South Pacific-Design Automation Conference (ASP-DAC), pp. 250-255, Jan. 2014. Download: [HTML]
  • M. Maasoumy, P. Nuzzo, F. Iandola, M. Kamgarpour, A. Sangiovanni-Vincentelli, C. Tomlin, “Optimal Load Management System for Aircraft Electric Power Distribution,” in Proc. IEEE Conference on Decision and Control (CDC), Dec. 2013. Download: [HTML]
  • P. Nuzzo, J. Finn, M. Mozumdar, A. Sangiovanni-Vincentelli, “Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems,” in Proc. IEEE Green Energy and Systems Conference (IGESC), arXiv: 1311.6092, Nov. 2013. Download: [HTML]
  • M. Mozumdar, J. Finn, P. Nuzzo, and A. Sangiovanni-Vincentelli, “Requirement, behavioral and parametric modeling of aircraft electric power system using SysML,” Proc. TECHCON, Sep. 2012.
  • A. Puggelli, M. Petracca, P. Nuzzo, L. P. Carloni, A. L. Sangiovanni-Vincentelli, “A Design framework for Distributed Power Management of Heterogeneous Systems-on-Chip,” in Proc. TECHCON, Sep. 2011.
  • P. Nuzzo and A. Sangiovanni-Vincentelli, “Robustness in Analog Systems: Design Techniques, Methodologies and Tools,” in Proc. IEEE Symp. Industrial Embedded Systems (SIES), pp. 194-203, Jun. 2011. Download: [HTML]
  • P. Nuzzo, A. Puggelli, S. A. Seshia, A. Sangiovanni-Vincentelli, “CalCS: SMT Solving for Non-linear Convex Constraints,” Proc. IEEE Formal Methods in Computer-Aided Design (FMCAD), pp. 71-79, Oct. 2010. Download: [HTML]
  • A. Geis, P. Nuzzo, J. Ryckaert, Y. Rolain, G. Vandersteen, J. Craninckx, “An 11.6-19.3mW 0.375-13.6GHz CMOS Frequency Synthesizer With Rail-to-Rail Operation,” Proc. Design Automation and Testing in Europe Conference (DATE), pp. 697-701, Mar. 2010. Download: [HTML]
  • X. Sun, P. Nuzzo, C.-C. Wu, A. Sangiovanni-Vincentelli, “Contract-based system-level composition of analog circuits,” in Proc. Design Automation Conference (DAC), pp. 605-610, Jul. 2009. Download: [HTML]
  • P. Nuzzo, C. Nani, C. Armiento, A. Sangiovanni-Vincentelli, J. Craninckx, G. Van der Plas, “A 6-bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS,” Proc. VLSI Symposium on Circuits, pp. 238-239, Jun. 2009. Download: [HTML]
  • P. Nuzzo, K. Vengattaramane, M. Ingels, V. Giannini, M. Steyaert, J. Craninckx, “A 0.1-5GHz, Dual-VCO Software-Defined Sigma-Delta Frequency Synthesizer in 45nm Digital CMOS,” Proc. Radio Frequency Integrated Circuits (RFIC) Symp., pp. 321-324, Jun. 2009. Download: [HTML]
  • V. Giannini, P. Nuzzo, C. Soens, K. Vengattaramane, M. Steyaert, J. Ryckaert, M. Goffioul, B. Debaillie, J. Van Driessche, J. Craninckx, M. Ingels, “A 2mm² 0.1-5GHz SDR Receiver in 45nm Digital CMOS,” Int. Solid State Circuit Conf. (ISSCC) Dig. Tech. Papers, p. 408, Feb. 2009. Download: [HTML]

  • P. Nuzzo, C. Nani, S. Saponara, L. Fanucci, G. Van der Plas, “Mixed-Signal Design Space Exploration of Time-Interleaved A/D Converters for Ultra-Wide Band Applications”, Proc. Design Automation and Test in Europe Conference (DATE), pp. 1390-1393, Mar. 2008. Download: [HTML]
  • V. Giannini, P. Nuzzo, V. Chironi, A. Baschirotto, G. Van der Plas, J. Craninckx, “An 820μW 9b 40MS/s Noise-Tolerant Dynamic-SAR ADC in 90nm Digital CMOS,” Int. Solid State Circuit Conf. (ISSCC) Dig. Tech. Papers, pp. 238/610, Feb. 2008. Download: [HTML]
  • F. De Bernardinis, P. Nuzzo, and A. Sangiovanni Vincentelli, “Robust system level design with analog platforms,” in Proceedings of International Conference on Computer Aided Design (ICCAD), pp. 334-341, Nov. 2006. Download: [HTML]
  • P. Nuzzo, G. Van der Plas, F. De Bernardinis, L. Van der Perre, B. Gyselinckx, P. Terreni, “A 10.6mW/0.8pJ power-scalable 1GS/s 4b ADC in 0.18μm CMOS with 5.8GHz ERBW,” in Proc. Design Automation Conference (DAC), pp. 873-878, Jul. 2006. Download: [HTML]
  • J. Ryckaert, M. Badaroglu, V. De Heyn, G. Van der Plas, P. Nuzzo, A. Baschirotto, S. D’Amico, C. Desset, H. Suys, M. Libois, B. Van Poucke, P. Wambacq, B. Gyselinckx, “A 16mA UWB 3-5GHz 20Mpulses/s quadrature analog correlation receiver in 0.18μm CMOS,” in Int. Solid State Circuit Conf. (ISSCC) Dig. Tech. Papers, pp. 368/377, Feb. 2006. Download: [HTML]
  • V. Giannini, P. Nuzzo, F. De Bernardinis, J. Craninckx, B. Come, S. D’Amico, A. Baschirotto, “A synthesis tool for power-efficient base-band filter design,” in Proc. Design Automation and Test in Europe Conf. (DATE), pp. 162-163, Mar. 2006. Download: [HTML]
  • P. Nuzzo, F. De Bernardinis, G. Van der Plas, P. Terreni, “Efficient calibration through statistical behavioral modeling of a high-speed low-power ADC,” in Proc. Ph.D. Research In Microelectronics and Electronics (PRIME), pp. 297-300, Jun. 2006. Download: [HTML]
  • P. Nuzzo, F. De Bernardinis, P. Terreni, “Efficient polynomial inversion for the linearization of pipeline ADCs,” in Proc. Ph.D. Research In Microelectronics and Electronics (PRIME), pp. 313-316, Jun. 2006. Download: [HTML]
  • F. De Bernardinis, P. Nuzzo, and A. Sangiovanni Vincentelli, “Mixed signal design space exploration through analog platforms,” in Proc. Design Automation Conference (DAC), pp. 875-880, Jun. 2005. Download: [HTML]
  • P. Nuzzo, F. De Bernardinis, P. Terreni, and A. Sangiovanni Vincentelli, “Enriching an analog platform for analog-to-digital converter design,” in Proc. Int. Symp. Circuits and Systems (ISCAS), pp. 1286-1289, May 2005. Download: [HTML]
  • P. Nuzzo, F. De Bernardinis, and P. Terreni, “Optimization of ADC power consumption using digital calibration,” in Proc. Int. Conf. on Signals and Electronic Systems (ICSES), pp. 213-216, Sep. 2004. Download: [HTML]