Skip to content

Publications

Book Chapters

  • Y. Hu, K. Yang, S. Nazarian, P. Nuzzo, “SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption,” in VLSI-SoC: Design Trends, Springer, pp. 255-278, Jul. 2021. Download: [HTML]
  • 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

  • M. Waqas, P. Nuzzo, P. Ioannou, “Provably Safe Design Methodology for Automatic Longitudinal Control of Autonomous Vehicles,” in IEEE Trans. on Intelligent Vehicles, to appear, 2024.
  • D. Kirov, P. Nuzzo, A. Sangiovanni-Vincentelli, R. Passerone, “Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures,” in IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 43, no. 1, pp. 30-43, Jan. 2024. Download: [HTML]
  • Y. Hu, Y. Zhang, K. Yang, D. Chen, P. A. Beerel, P. Nuzzo, “On the Security of Sequential Logic Locking Against Oracle-Guided Attacks,” in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 42, no. 11, pp. 3628-3641, Nov. 2023. Download: [HTML]
  • P. A. Beerel, M. Georgiou, B. Hamlin, A. J. Malozemoff, P. Nuzzo, “Towards a Formal Treatment of Logic Locking,” in IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES), pp. 92-114, Feb. 2022. Download: [HTML]
  • P. Nuzzo, N. Bajaj, M. Masin, D. Kirov, R. Passerone, A. Sangiovanni-Vincentelli, “Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures,” IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 10, pp. 2109-2123, Oct. 2020. Download: [HTML]
  • 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), vol. 18, no. 1, article 2, 26 pages, Jan. 2019. Download: [HTML]
  • 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, Jan. 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, Jan. 2012. 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, Feb. 2010. 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, Jan. 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

  • Y. Hu, K. Yang, S. Dutta Chowdhury, P. Nuzzo, “DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks,” in Proc. IEEE Int. Symp. for Quality in Electronic Design (ISQED), to appear, Apr. 2024. Download: [HTML]
  • S. Dutta Chowdhury, Z. Ni, Q. Peng, S. Kundu, P. Nuzzo, “Analyzing Adversarial Vulnerabilities of Graph Lottery Tickets,” in Proc. IEEE Int. Conf. on Acoustics, Speech, and Signal Processing (ICASSP), to appear, Apr. 2024.
  • M. Lora, S. Gaiardelli, C. Oh, S. Spellini, P. Nuzzo, F. Fummi, “Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project,” in Proc. IEEE/ACM Design Automation and Test in Europe Conf. (DATE), to appear, Mar. 2024.
  • Y. Xiao, C. Oh, M. Lora, P. Nuzzo, “Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism,” in Proc. IEEE/ACM Design Automation and Test in Europe Conf. (DATE), to appear, Mar. 2024 (Best Paper Award).
  • K. C. Chang, N. Dahlin, R. Jain, P. Nuzzo, “Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers,” in Proc. IEEE Int. Conf. Decision and Control (CDC), Dec. 2023. Download: [HTML]
  • Z. Daw, C. Oh, M. Low, T. Wang, I. Amundson, A. Pinto, M. Chiodo, G. Wang, S. Hasan, R. Melville, and P. Nuzzo, “AACE: Automated Assurance Case Environment for Aerospace Certification,” in 42nd AIAA/IEEE Digital Avionics Systems Conference, Nov. 2023 (Best of Session Paper Award). Download: [HTML]
  • Z. Daw, T. Wang, C. Oh, M. Low, I. Amundson, G. Wang, R. Melville, and P. Nuzzo, “Computer-Aided Evaluation for Argument-Based Certification,” in 42nd AIAA/IEEE Digital Avionics Systems Conference, Nov. 2023 (Best of Session Paper Award). Download: [HTML]
  • C. Leet, C. Oh, M. Lora, S. Koenig, P. Nuzzo, “Task Assignment, Scheduling and Motion Planning for Automated Warehouses for Million Product Workloads,” in Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems (IROS), pp. 7362-7369, Oct. 2023. Download: [HTML]
  • T. E. Wang, C. Oh, M. Low, I. Amundson, Z. Daw, A. Pinto, M. L. Chiodo, G. Wang, S. Hasan, R. Melville, and P. Nuzzo, “Computer-Aided Generation of Assurance Cases,” in Computer Safety, Reliability, and Security (SAFECOMP) 2023 Workshops, Lecture Notes in Computer Science, vol. 14182. Springer, Cham, Sep. 2023. Download: [HTML]
  • S. D. Chowdhury, K. Yang, and P. Nuzzo, “Similarity-Based Logic Locking Against Machine Learning Attacks,” in Design Automation Conference (DAC), Jul. 2023. Download: [HTML]
  • P. Mallozzi, I. Incer, P. Nuzzo, A. Sangiovanni-Vincentelli, “Contract-Based Specification Refinement and Repair for Mission Planning,” in Proc. Formal Methods in Software Engineering Conf. (FormalISE), pp. 29-38, May 2023. Download: [HTML]
  • C. Leet, C. Oh, M. Lora, S. Koenig, and P. Nuzzo, “Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses,” in Proc. IEEE/ACM Design, Automation & Test in Europe Conference & Exhibition (DATE), Apr. 2023. Download: [HTML]
  • D. Chen, X. Zhou, Y. Hu, Y. Zhang, K. Yang, A. Rittenbach, P. Nuzzo, and P. A. Beerel, “Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP,” in International Symposium on Quality Electronic Design (ISQED), Apr. 2023. Download: [HTML]
  • M. Waqas, N. V. Naik, P. Ioannou, P. Nuzzo, “Contract-based Control Synthesis with Barrier Functions for Vehicular Mission Planning,” in Proc. IEEE Int. Conf. Decision and Control (CDC), pp. 2216-2221, Dec. 2022. Download: [HTML]
  • C. Oh, M. Lora, P. Nuzzo, “Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts,” in Proc. Int. Conf. Computer Aided Design (ICCAD), Oct. 2022. Download: [HTML]
  • N. Dahlin, K. Chang, K. C. Kalagarla, R. Jain and P. Nuzzo, “Practical Control Design for the Deep Learning Age: Distillation of Deep RL-Based Controllers,” in Annual Allerton Conference on Communication, Control, and Computing, Sep. 2022. Download: [HTML]
  • K. C. Kalagarla, D. Kartik, D. Shen, R. Jain, A. Nayyar, P. Nuzzo, “Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints,” in Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, PMLR 180:949-958, Aug. 2022. Download: [HTML]
  • M. Waqas, M. A. Murtaza, P. Nuzzo, P. Ioannou, “Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints,” in Proc. American Control Conference (ACC), pp. 5140-5146, June 2022. Download: [HTML]
  • C. Oh, N. Naik, Z. Daw, T. E. Wang, P. Nuzzo, “ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks,” in International Conference on Computer Safety, Reliability and Security (SAFECOMP), Apr. 2022. Download: [HTML]
  • Y. Zhang, Y. Hu, P. Nuzzo, P. A. Beerel, “TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks,” in Proc. Design Automation and Test in Europe Conference (DATE), Mar. 2022. Download: [HTML]
  • Y. Hu, Y. Zhang, K. Yang, D. Chen, P. A. Beerel, P. Nuzzo, “Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption,” in Proc. IEEE International Symposium on Hardware Oriented Security and Trust (HOST), Dec. 2021. Download: [HTML]
  • K. C. Kalagarla, R. Jain, P. Nuzzo, “Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications,” in Proc. IEEE Conference Decision and Control (CDC), Dec. 2021. Download: [HTML]
  • S. Dutta Chowdhury, K. Yang, P. Nuzzo, “ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering,” in Proc. Int. Conf. Computer Aided Design (ICCAD), Nov. 2021. Download: [HTML]
  • S. Dutta Chowdhury, G. Zhang, Y. Hu, P. Nuzzo, “Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation,” Proc. IEEE Int. Symp. Circuits and Systems (ISCAS), pp. 1-5, May 2021. Download: [HTML]
  • K. C. Kalagarla, R. Jain, P. Nuzzo, “Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications,” in Proc. American Control Conference (ACC), pp. 1268-1274, May 2021. Download: [HTML]
  • P. Mallozzi, P. Nuzzo, P. Pelliccione, “Incremental Refinement of Goal Models with Contracts,” in Proc. Int. Conf. on Fundamentals of Software Engineering (FSEN), May 2021. Downloard: [HTML]
  • K. C. Kalagarla, R. Jain, P. Nuzzo, “A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints,” Proc. AAAI Conf. on Artificial Intelligence, vol. 35, no. 9, pp.8030-8037, May 2021. Download: [HTML]
  • Y. Hu, K. Yang, S. Dutta Chowdhury, P. Nuzzo, “Risk-Aware Cost-Effective Design Methodology for Integrated Circuit Locking,” Proc. IEEE/ACM Design Automation and Test in Europe Conf. (DATE), pp. 1182-1185, Feb. 2021. Download: [HTML]
  • N. Naik, P. Nuzzo, “Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems,” Proc. IEEE/ACM Int. Conf. on Formal Methods and Models for System Design (MEMOCODE), p. 17, pp. 1-12, Dec. 2020 (Best Paper Award). Download: [HTML]
  • P. Mallozzi, P. Nuzzo, P. Pelliccione, G. Schneider, “CROME: Contract-Based Robotic Mission Specification,” Proc. IEEE/ACM Int. Conf. on Formal Methods and Models for System Design (MEMOCODE), p. 31, pp. 1-11, Dec. 2020. Download: [HTML]
  • Y. Hu, K. Yang, S. Nazarian, P. Nuzzo, “SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme,” Proc. IFIP/IEEE Int. Conf. Very Large-Scale Integration (VLSI-SoC), pp. 129-134, Oct. 2020. Download: [HTML]
  • Y. Hu, V. V. Menon, A. Schmidt, J. Monson, M. French, and P. Nuzzo, “Security-driven Metrics and Models for Efficient Evaluation of Logic Encryption Schemes,” Proc. Int. Conf. on Formal Methods and Models for System Design (MEMOCODE), p. 9, pp. 1-5, Oct. 2019. Download: [HTML]
  • V. V. Menon, G. Kolhe, A. Schmidt, J. Monson, M. French, Y. Hu, P. A. Beerel, P. Nuzzo, “System-Level Framework for Logic Obfuscation with Quantified Metrics for Evaluation,” IEEE Cybersecurity Development Conf. (SecDev), pp. 89-100, Sep. 2019. Download: [HTML]
  • X. Sun, R. Nambiar, M. Melhorn, Y. Shoukry, P. Nuzzo, “DoS-Attack-Resilient Multi-Robot Temporal Logic Motion Planning,” Proc. International Conference on Robotics and Automation (ICRA), pp. 6051-6057, May 2019. Download: [HTML]
  • C. Oh, E. Kang, S. Shiraishi, P. Nuzzo, “Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design,” Proc. Design Automation and Test in Europe Conference (DATE), pp. 246-251, Mar. 2019. Download: [HTML]
  • A. Fayyazi, S. Shababi, P. Nuzzo, S. Nazarian, M. Pedram, “Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations,” Proc. Design Automation and Test in Europe Conference (DATE), pp. 638-641, Mar. 2019. Download: [HTML]
  • 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 Test 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 Test 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]
  • 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 Test 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 Test 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]
  • 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 Test 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]

Invited Papers and Tutorials

  • P. Nuzzo, “From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts ,” Proc. International Symposium on Physical Design (ISPD), pp. 117-121, Apr. 2019.  Download: [HTML]
  • V. Venugopalan, G. Kolhe, A. Schmidt, J. Monson, M. French, Y. Hu, P. Beerel, P. Nuzzo, “Quantifying Security and Overhead for Integrated Circuits Obfuscation ,” Proc. Government Microcircuit Applications and Critical Technology Conf. (GOMACTech), Mar. 2019.
University of Southern California