| 2026 | DATE | Contract-Based Architecture Exploration of Cyber-Physical Systems via Satisfiability Modulo Convex Programming. | Yifeng Xiao, Pierluigi Nuzzo |
| 2025 | AISTATS | A Safe Bayesian Learning Algorithm for Constrained MDPs with Bounded Constraint Violation. | Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo |
| 2025 | IJCAI | Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming. | Arya Fayyazi, Yifeng Xiao, Pierluigi Nuzzo, Massoud Pedram |
| 2024 | DATE | Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. | Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi |
| 2024 | DATE | Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. | Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo |
| 2024 | ECAI | Learning Compositional, Time-Varying Neural Barrier Contracts. | Matthew Low, Timothy E. Wang, Pierluigi Nuzzo |
| 2024 | ICASSP | Analyzing Adversarial Vulnerabilities of Graph Lottery Tickets. | Subhajit Dutta Chowdhury, Zhiyu Ni, Qingyuan Peng, Souvik Kundu, Pierluigi Nuzzo |
| 2023 | DAC | SimLL: Similarity-Based Logic Locking Against Machine Learning Attacks. | Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo |
| 2023 | DATE | Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. | Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo |
| 2023 | IROS | Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. | Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo |
| 2023 | SAFECOMP | Computer-Aided Generation of Assurance Cases. | Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo |
| 2022 | DATE | TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks. | Yuke Zhang, Yinghua Hu, Pierluigi Nuzzo, Peter A. Beerel |
| 2022 | ICCAD | Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts. | Chanwook Oh, Michele Lora, Pierluigi Nuzzo |
| 2022 | UAI | Optimal control of partially observable Markov decision processes with finite linear temporal logic constraints. | Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo |
| 2022 | SAFECOMP | ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. | Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo |
| 2021 | AAAI | A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints. | Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo |
| 2021 | DATE | Risk-Aware Cost-Effective Design Methodology for Integrated Circuit Locking. | Yinghua Hu, Kaixin Yang, Subhajit Dutta Chowdhury, Pierluigi Nuzzo |
| 2021 | ICCAD | ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering. | Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo |
| 2021 | ISCAS | Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation. | Subhajit Dutta Chowdhury, Gengyu Zhang, Yinghua Hu, Pierluigi Nuzzo |
| 2020 | MEMOCODE | CROME: Contract-Based Robotic Mission Specification. | Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider |
| 2020 | MEMOCODE | Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. | Nikhil Naik, Pierluigi Nuzzo |
| 2019 | DATE | Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations. | Arash Fayyazi, Soheil Shababi, Pierluigi Nuzzo, Shahin Nazarian, Massoud Pedram |
| 2019 | DATE | Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. | Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo |
| 2019 | ICRA | DoS-Resilient Multi-Robot Temporal Logic Motion Planning. | Xiaowu Sun, Rohitkrishna Nambiar, Matthew Melhorn, Yasser Shoukry, Pierluigi Nuzzo |
| 2019 | MEMOCODE | Security-driven metrics and models for efficient evaluation of logic encryption schemes. | Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo |
| 2018 | DAC | Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. | Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 2018 | DATE | CHASE: Contract-based requirement engineering for cyber-physical system design. | Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli |
| 2017 | DAC | ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. | Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli |
| 2017 | DAC | Optimized Design of a Human Intranet Network. | Ali Moin, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey |
| 2017 | MEMOCODE | Stochastic contracts for cyber-physical system design under probabilistic requirements. | Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li |
| 2015 | DATE | Optimized selection of reliable and cost-effective cyber-physical system architectures. | Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto L. Sangiovanni-Vincentelli |
| 2015 | ICCAD | A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration. | John B. Finn, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli |
| 2015 | SENSYS | A Contract-based Framework for Integrated Demand Response Management in Smart Grids. | Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto L. Sangiovanni-Vincentelli |
| 2014 | ASPDAC | ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification. | Aadithya V. Karthik, Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury |
| 2014 | DATE | Library-based scalable refinement checking for contract-based design. | Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2014 | DATE | Contract-based design of control protocols for safety-critical cyber-physical systems. | Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli |
| 2014 | MEMOCODE | Are interface theories equivalent to contract theories? | Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2010 | DATE | An 11.6-19.3mW 0.375-13.6GHz CMOS frequency synthesizer with rail-to-rail operation. | Arnd Geis, Pierluigi Nuzzo, Julien Ryckaert, Yves Rolain, Gerd Vandersteen, Jan Craninckx |
| 2010 | FMCAD | CalCS: SMT solving for non-linear convex constraints. | Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli |
| 2009 | DAC | Contract-based system-level composition of analog circuits. | Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli |
| 2008 | DATE | Mixed-Signal Design Space Exploration of Time-Interleaved A/D Converters for Ultra-Wide Band Applications. | Pierluigi Nuzzo, Claudio Nani, Sergio Saponara, Luca Fanucci, Geert Van der Plas |
| 2006 | DAC | A 10.6mW/0.8pJ power-scalable 1GS/s 4b ADC in 0.18mum CMOS with 5.8GHz ERBW. | Pierluigi Nuzzo, Geert Van der Plas, Fernando De Bernardinis, Liesbet Van der Perre, Bert Gyselinckx, Pierangelo Terreni |
| 2006 | DATE | A synthesis tool for power-efficient base-band filter design. | Vito Giannini, Pierluigi Nuzzo, Fernando De Bernardinis, Jan Craninckx, Boris Come, Stefano D'Amico, Andrea Baschirotto |
| 2006 | ICCAD | Robust system level design with analog platforms. | Fernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli |
| 2005 | DAC | Mixed signal design space exploration through analog platforms. | Fernando De Bernardinis, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli |
| 2005 | ISCAS | Enriching an analog platform for analog-to-digital converter design. | Fernando De Bernardinis, Pierluigi Nuzzo, Pierangelo Terreni, Alberto L. Sangiovanni-Vincentelli |