Pierluigi Nuzzo

126 papers A* 8A 18B 2C 11Misc 2Journal 53Unranked 31

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Draft-and-Prune: Improving the Reliability of Auto-formalization for Logical Reasoning. CoRR Zhiyu Ni, Zheng Liang, Liangcheng Song, Chenrui Cao, Xian Zhang, Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo
2026	J	`jnl`	Passivity tools for hybrid learning rules in large populations. Autom. Jair Certório, Kevin Chang, Nuno C. Martins, Pierluigi Nuzzo, Yasser Shoukry
2025	A	`conf`	A Safe Bayesian Learning Algorithm for Constrained MDPs with Bounded Constraint Violation. AISTATS Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2025	J	`jnl`	CORE: Constraint-Aware One-Step Reinforcement Learning for Simulation-Guided Neural Network Accelerator Design. CoRR Yifeng Xiao, Yurong Xu, Ning Yan, Masood S. Mortazavi, Pierluigi Nuzzo
2025	J	`jnl`	Contract Embeddings for Layered Control Architectures. ACM Trans. Embed. Comput. Syst. Nikhil Vijay Naik, Alessandro Pinto, Pierluigi Nuzzo
2025	A*	`conf`	Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming. IJCAI Arya Fayyazi, Yifeng Xiao, Pierluigi Nuzzo, Massoud Pedram
2025	—	`conf`	Incentive Design for Safe Nash Equilibrium Learning in Large Populations via Control Barrier Functions. CDC Yifeng Xiao, Jair Certório, Nuno C. Martins, Yasser Shoukry, Pierluigi Nuzzo
2025	J	`jnl`	Optimal Control of Logically Constrained Partially Observable and Multiagent Markov Decision Processes. IEEE Trans. Autom. Control. Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2025	J	`jnl`	Systematic Evaluation of Knowledge Graph Repair with Large Language Models. CoRR Tung-Wei Lin, Gabe Fierro, Han Li, Tianzhen Hong, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2024	Misc	`conf`	Analyzing Adversarial Vulnerabilities of Graph Lottery Tickets. ICASSP Subhajit Dutta Chowdhury, Zhiyu Ni, Qingyuan Peng, Souvik Kundu, Pierluigi Nuzzo
2024	—	`conf`	Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes. CDC Krishna Chaitanya Kalagarla, Matthew Low, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2024	J	`jnl`	Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes. CoRR Krishna Chaitanya Kalagarla, Matthew Low, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2024	J	`jnl`	Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Nikhil Vijay Naik, Alessandro Pinto, Pierluigi Nuzzo
2024	—	`conf`	DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks. ISQED Yinghua Hu, Kaixin Yang, Subhajit Dutta Chowdhury, Pierluigi Nuzzo
2024	J	`jnl`	DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks. CoRR Yinghua Hu, Kaixin Yang, Subhajit Dutta Chowdhury, Pierluigi Nuzzo
2024	A	`conf`	Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. DATE Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi
2024	J	`jnl`	Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Dmitrii Kirov, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone
2024	A	`conf`	Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. DATE Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo
2024	A	`conf`	Learning Compositional, Time-Varying Neural Barrier Contracts. ECAI Matthew Low, Timothy E. Wang, Pierluigi Nuzzo
2024	J	`jnl`	Passivity Tools for Hybrid Learning Rules in Large Populations. CoRR Jair Certorio, Nuno C. Martins, Kevin Chang, Pierluigi Nuzzo, Yasser Shoukry
2024	J	`jnl`	Pure Exploration for Constrained Best Mixed Arm Identification with a Fixed Budget. CoRR Dengwang Tang, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2024	J	`jnl`	Unveiling Adversarially Robust Graph Lottery Tickets. Trans. Mach. Learn. Res. Subhajit Dutta Chowdhury, Zhiyu Ni, Qingyuan Peng, Souvik Kundu, Pierluigi Nuzzo
2023	A	`conf`	Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. DATE Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
2023	J	`jnl`	Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. CoRR Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
2023	—	`conf`	Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
2023	—	`conf`	Contract-Based Specification Refinement and Repair for Mission Planning. FormaliSE Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2023	J	`jnl`	Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. CoRR Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione
2023	—	`conf`	Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers. CDC Kevin Chang, Nathan Dahlin, Rahul Jain, Pierluigi Nuzzo
2023	J	`jnl`	Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers. CoRR Kevin Chang, Nathan Dahlin, Rahul Jain, Pierluigi Nuzzo
2023	J	`jnl`	On the Security of Sequential Logic Locking Against Oracle-Guided Attacks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yinghua Hu, Yuke Zhang, Kaixin Yang, Dake Chen, Peter A. Beerel, Pierluigi Nuzzo
2023	J	`jnl`	Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes. CoRR Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2023	J	`jnl`	Regret Analysis of the Posterior Sampling-based Learning Algorithm for Episodic POMDPs. CoRR Dengwang Tang, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2023	J	`jnl`	Safe Posterior Sampling for Constrained MDPs with Bounded Constraint Violation. CoRR Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2023	A*	`conf`	SimLL: Similarity-Based Logic Locking Against Machine Learning Attacks. DAC Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo
2023	J	`jnl`	Similarity-Based Logic Locking Against Machine Learning Attacks. CoRR Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo
2023	J	`jnl`	Sparse but Strong: Crafting Adversarially Robust Graph Lottery Tickets. CoRR Subhajit Dutta Chowdhury, Zhiyu Ni, Qingyuan Peng, Souvik Kundu, Pierluigi Nuzzo
2023	A	`conf`	Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. IROS Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo
2023	—	`conf`	Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP. ISQED Dake Chen, Xuan Zhou, Yinghua Hu, Yuke Zhang, Kaixin Yang, Andrew Rittenbach, Pierluigi Nuzzo, Peter A. Beerel
2023	J	`jnl`	Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP. CoRR Dake Chen, Xuan Zhou, Yinghua Hu, Yuke Zhang, Kaixin Yang, Andrew Rittenbach, Pierluigi Nuzzo, Peter A. Beerel
2022	—	`conf`	A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems. ICCPS Michele Lora, Pierluigi Nuzzo
2022	B	`conf`	ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. SAFECOMP Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo
2022	—	`conf`	Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning. CDC Muhammad Waqas, Nikhil Vijay Naik, Petros A. Ioannou, Pierluigi Nuzzo
2022	J	`jnl`	Contract-Based Specification Refinement and Repair for Mission Planning. CoRR Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2022	J	`jnl`	Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications. CoRR Muhammad Waqas, Nikhil Vijay Naik, Petros A. Ioannou, Pierluigi Nuzzo
2022	C	`conf`	Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints. ACC Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros A. Ioannou
2022	J	`jnl`	Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints. CoRR Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros A. Ioannou
2022	—	`conf`	Hierarchical Contract-Based Synthesis for Assurance Cases. NFM Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto
2022	J	`jnl`	Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints. CoRR Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2022	A	`conf`	Optimal control of partially observable Markov decision processes with finite linear temporal logic constraints. UAI Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo
2022	—	`conf`	Practical Control Design for the Deep Learning Age: Distillation of Deep RL-Based Controllers. Allerton Nathan Dahlin, Kevin Chang, Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2022	A	`conf`	Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts. ICCAD Chanwook Oh, Michele Lora, Pierluigi Nuzzo
2022	J	`jnl`	Special issue: Formal verification of cyber-physical systems. Inf. Comput. Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa
2022	J	`jnl`	Towards a Formal Treatment of Logic Locking. IACR Cryptol. ePrint Arch. Peter A. Beerel, Marios Georgiou, Ben Hamlin, Alex J. Malozemoff, Pierluigi Nuzzo
2022	J	`jnl`	Towards a Formal Treatment of Logic Locking. IACR Trans. Cryptogr. Hardw. Embed. Syst. Peter A. Beerel, Marios Georgiou, Ben Hamlin, Alex J. Malozemoff, Pierluigi Nuzzo
2022	A	`conf`	TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks. DATE Yuke Zhang, Yinghua Hu, Pierluigi Nuzzo, Peter A. Beerel
2022	J	`jnl`	TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks. CoRR Yuke Zhang, Yinghua Hu, Pierluigi Nuzzo, Peter A. Beerel
2021	A*	`conf`	A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints. AAAI Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2021	C	`conf`	Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation. ISCAS Subhajit Dutta Chowdhury, Gengyu Zhang, Yinghua Hu, Pierluigi Nuzzo
2021	—	`conf`	Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption. HOST Yinghua Hu, Yuke Zhang, Kaixin Yang, Dake Chen, Peter A. Beerel, Pierluigi Nuzzo
2021	J	`jnl`	Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption. CoRR Yinghua Hu, Yuke Zhang, Kaixin Yang, Dake Chen, Peter A. Beerel, Pierluigi Nuzzo
2021	—	`conf`	Incremental Refinement of Goal Models with Contracts. FSEN Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione
2021	—	`conf`	Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications. CDC Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2021	J	`jnl`	Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications. CoRR Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2021	C	`conf`	Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications. ACC Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2021	A	`conf`	ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering. ICCAD Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo
2021	J	`jnl`	ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering. CoRR Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo
2021	A	`conf`	Risk-Aware Cost-Effective Design Methodology for Integrated Circuit Locking. DATE Yinghua Hu, Kaixin Yang, Subhajit Dutta Chowdhury, Pierluigi Nuzzo
2020	J	`jnl`	A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints. CoRR Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2020	C	`conf`	CROME: Contract-Based Robotic Mission Specification. MEMOCODE Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider
2020	J	`jnl`	Designing Interpretable Approximations to Deep Reinforcement Learning with Soft Decision Trees. CoRR Nathan Dahlin, Krishna Chaitanya Kalagarla, Nikhil Naik, Rahul Jain, Pierluigi Nuzzo
2020	J	`jnl`	Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Pierluigi Nuzzo, Nikunj Bajaj, Michael Masin, Dmitrii Kirov, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2020	C	`conf`	Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. MEMOCODE Nikhil Naik, Pierluigi Nuzzo
2020	C	`conf`	SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme. VLSI-SOC Yinghua Hu, Kaixin Yang, Shahin Nazarian, Pierluigi Nuzzo
2020	J	`jnl`	SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme. CoRR Yinghua Hu, Kaixin Yang, Shahin Nazarian, Pierluigi Nuzzo
2020	—	`conf`	SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption. VLSI-SoC (Selected Papers) Yinghua Hu, Kaixin Yang, Shahin Nazarian, Pierluigi Nuzzo
2020	J	`jnl`	Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications. CoRR Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo
2019	A	`conf`	Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations. DATE Arash Fayyazi, Soheil Shababi, Pierluigi Nuzzo, Shahin Nazarian, Massoud Pedram
2019	A*	`conf`	DoS-Resilient Multi-Robot Temporal Logic Motion Planning. ICRA Xiaowu Sun, Rohitkrishna Nambiar, Matthew Melhorn, Yasser Shoukry, Pierluigi Nuzzo
2019	—	`conf`	From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts. ISPD Pierluigi Nuzzo
2019	A	`conf`	Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. DATE Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo
2019	C	`ed.`	Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. MEMOCODE Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo
2019	—	`conf`	Secure and Trustworthy Cyber-Physical System Design: A Cross-Layer Perspective. ISPD Pierluigi Nuzzo
2019	C	`conf`	Security-driven metrics and models for efficient evaluation of logic encryption schemes. MEMOCODE Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo
2019	—	`conf`	Session details: Lifetime Achievement Award Tribute to Professor Alberto Sangiovanni-Vicentelli. ISPD Pierluigi Nuzzo
2019	J	`jnl`	Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. ACM Trans. Embed. Comput. Syst. Pierluigi Nuzzo, Jiwei Li, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li
2019	—	`conf`	System-Level Framework for Logic Obfuscation with Quantified Metrics for Evaluation. SecDev Vivek V. Menon, Gaurav Kolhe, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Yinghua Hu, Peter A. Beerel, Pierluigi Nuzzo
2019	J	`jnl`	Toward Efficient Evaluation of Logic Encryption Schemes: Models and Metrics. CoRR Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo
2018	A	`conf`	CHASE: Contract-based requirement engineering for cyber-physical system design. DATE Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli
2018	J	`jnl`	Design Automation for Smart Building Systems. Proc. IEEE Ruoxi Jia, Baihong Jin, Ming Jin, Yuxun Zhou, Ioannis C. Konstantakopoulos, Han Zou, Joyce Kim, Dan Li, Weixi Gu, Reza Arghandeh, Pierluigi Nuzzo, Stefano Schiavon, Alberto L. Sangiovanni-Vincentelli, Costas J. Spanos
2018	—	`conf`	Hierarchical System Design with Vertical Contracts. Principles of Modeling Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2018	A*	`conf`	Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. DAC Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2018	J	`jnl`	SMC: Satisfiability Modulo Convex Programming. Proc. IEEE Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2018	J	`jnl`	SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
2017	A*	`conf`	ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. DAC Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2017	—	`conf`	Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2017	—	`conf`	Online computation of polytopic flexibility models for demand shifting applications. CASE Baihong Jin, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2017	A*	`conf`	Optimized Design of a Human Intranet Network. DAC Ali Moin, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey
2017	—	`conf`	SMC: Satisfiability Modulo Convex Optimization. HSCC Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2017	J	`jnl`	Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Autom. Control. Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2017	J	`jnl`	Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements. CoRR Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li
2017	C	`conf`	Stochastic contracts for cyber-physical system design under probabilistic requirements. MEMOCODE Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li
2016	—	`conf`	Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
2016	J	`jnl`	Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. CoRR Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia
2016	—	`conf`	SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ICCPS Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
2016	—	`conf`	Scalable lazy SMT-based motion planning. CDC Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2015	—	`conf`	A Contract-based Framework for Integrated Demand Response Management in Smart Grids. BuildSys Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto L. Sangiovanni-Vincentelli
2015	A	`conf`	A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration. ICCAD John B. Finn, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2015	J	`jnl`	A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. Proc. IEEE Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa
2015	J	`jnl`	A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. CoRR Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2015	—	`—`	Compositional Design of Cyber-Physical Systems Using Contracts. Pierluigi Nuzzo
2015	A	`conf`	Optimized selection of reliable and cost-effective cyber-physical system architectures. DATE Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto L. Sangiovanni-Vincentelli
2015	—	`conf`	Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. CDC Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2015	C	`conf`	Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. ACC Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2014	J	`jnl`	A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia
2014	C	`conf`	Are interface theories equivalent to contract theories? MEMOCODE Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2014	A	`conf`	Contract-based design of control protocols for safety-critical cyber-physical systems. DATE Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli
2014	—	`conf`	Let's Get Physical: Computer Science Meets Systems. FPS@ETAPS Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2014	A	`conf`	Library-based scalable refinement checking for contract-based design. DATE Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli
2014	Misc	`conf`	Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee
2014	J	`jnl`	Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. CoRR Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2013	—	`conf`	Optimal load management system for Aircraft Electric Power distribution. CDC Mehdi Maasoumy, Pierluigi Nuzzo, Forrest N. Iandola, Maryam Kamgarpour, Alberto L. Sangiovanni-Vincentelli, Claire J. Tomlin
2013	J	`jnl`	Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems. CoRR Pierluigi Nuzzo, John B. Finn, Mohammad Mostafizur Rahman Mozumdar, Alberto L. Sangiovanni-Vincentelli
2012	J	`jnl`	A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS. IEEE Trans. Circuits Syst. I Regul. Pap. Pierluigi Nuzzo, Claudio Nani, Costantino Armiento, Alberto L. Sangiovanni-Vincentelli, Jan Craninckx, Geert Van der Plas
2011	—	`conf`	Robustness in analog systems: Design techniques, methodologies and tools. SIES Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
2010	B	`conf`	CalCS: SMT solving for non-linear convex constraints. FMCAD Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
2009	A*	`conf`	Contract-based system-level composition of analog circuits. DAC Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli