default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPierluigi Nuzzo 0002
Person information
- affiliation: University of Southern California, Ming Hsieh Department of Electrical and Computer Engineering, LA, USA
- affiliation (PhD 2015): University of California, Department of Electrical Engineering and Computer Science, CA, USA
Other persons with the same name
- Pierluigi Nuzzo — disambiguation page
- Pierluigi Nuzzo 0001 — IMEC, Leuven, Belgium (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j15]Krishna Chaitanya Kalagarla
, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo:
Optimal Control of Logically Constrained Partially Observable and Multiagent Markov Decision Processes. IEEE Trans. Autom. Control. 70(1): 263-277 (2025)- 2024
- [j14]Dmitrii Kirov, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone:
Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(1): 30-43 (2024) - [j13]Nikhil Vijay Naik, Alessandro Pinto, Pierluigi Nuzzo:
Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11): 4298-4309 (2024) - [c67]Michele Lora, Sebastiano Gaiardelli, Chanwook Oh, Stefano Spellini, Pierluigi Nuzzo, Franco Fummi:
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. DATE 2024: 1-6 - [c66]Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo:
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. DATE 2024: 1-6 - [c65]Matthew Low, Timothy E. Wang, Pierluigi Nuzzo:
Learning Compositional, Time-Varying Neural Barrier Contracts. ECAI 2024: 1397-1404 - [c64]Subhajit Dutta Chowdhury, Zhiyu Ni, Qingyuan Peng, Souvik Kundu, Pierluigi Nuzzo:
Analyzing Adversarial Vulnerabilities of Graph Lottery Tickets. ICASSP 2024: 7830-7834 - [c63]Yinghua Hu, Kaixin Yang, Subhajit Dutta Chowdhury, Pierluigi Nuzzo:
DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks. ISQED 2024: 1-8 - [i32]Yinghua Hu, Kaixin Yang, Subhajit Dutta Chowdhury, Pierluigi Nuzzo:
DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks. CoRR abs/2403.01789 (2024) - [i31]Dengwang Tang, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo:
Pure Exploration for Constrained Best Mixed Arm Identification with a Fixed Budget. CoRR abs/2405.15090 (2024) - [i30]Jair Certorio, Nuno C. Martins, Kevin Chang, Pierluigi Nuzzo, Yasser Shoukry:
Passivity Tools for Hybrid Learning Rules in Large Populations. CoRR abs/2407.02083 (2024) - [i29]Krishna Chaitanya Kalagarla, Matthew Low, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo:
Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes. CoRR abs/2410.04004 (2024) - 2023
- [j12]Yinghua Hu, Yuke Zhang, Kaixin Yang, Dake Chen, Peter A. Beerel, Pierluigi Nuzzo:
On the Security of Sequential Logic Locking Against Oracle-Guided Attacks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11): 3628-3641 (2023) - [c62]Kevin Chang, Nathan Dahlin, Rahul Jain, Pierluigi Nuzzo:
Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers. CDC 2023: 7843-7848 - [c61]Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo:
SimLL: Similarity-Based Logic Locking Against Machine Learning Attacks. DAC 2023: 1-6 - [c60]Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo:
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. DATE 2023: 1-6 - [c59]Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Contract-Based Specification Refinement and Repair for Mission Planning. FormaliSE 2023: 29-38 - [c58]Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo:
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. IROS 2023: 7362-7369 - [c57]Dake Chen, Xuan Zhou, Yinghua Hu, Yuke Zhang, Kaixin Yang, Andrew Rittenbach, Pierluigi Nuzzo, Peter A. Beerel:
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP. ISQED 2023: 1-8 - [c56]Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo:
Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops 2023: 135-148 - [i28]Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo:
Safe Posterior Sampling for Constrained MDPs with Bounded Constraint Violation. CoRR abs/2301.11547 (2023) - [i27]Christopher Leet, Chanwook Oh, Michele Lora, Sven Koenig, Pierluigi Nuzzo:
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. CoRR abs/2303.01448 (2023) - [i26]Kevin Chang, Nathan Dahlin, Rahul Jain, Pierluigi Nuzzo:
Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers. CoRR abs/2304.06049 (2023) - [i25]Dake Chen, Xuan Zhou, Yinghua Hu, Yuke Zhang, Kaixin Yang, Andrew Rittenbach, Pierluigi Nuzzo, Peter A. Beerel:
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP. CoRR abs/2305.00107 (2023) - [i24]Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo:
Similarity-Based Logic Locking Against Machine Learning Attacks. CoRR abs/2305.05870 (2023) - [i23]Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo:
Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes. CoRR abs/2305.14736 (2023) - [i22]Piergiuseppe Mallozzi, Nir Piterman, Pierluigi Nuzzo, Gerardo Schneider, Patrizio Pelliccione:
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. CoRR abs/2306.08144 (2023) - [i21]Dengwang Tang, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo:
Regret Analysis of the Posterior Sampling-based Learning Algorithm for Episodic POMDPs. CoRR abs/2310.10107 (2023) - [i20]Subhajit Dutta Chowdhury, Zhiyu Ni, Qingyuan Peng, Souvik Kundu, Pierluigi Nuzzo:
Sparse but Strong: Crafting Adversarially Robust Graph Lottery Tickets. CoRR abs/2312.06568 (2023) - 2022
- [j11]Luca Geretti, Alessandro Abate, Pierluigi Nuzzo, Tiziano Villa:
Special issue: Formal verification of cyber-physical systems. Inf. Comput. 289(Part): 104979 (2022) - [j10]Peter A. Beerel, Marios Georgiou, Ben Hamlin, Alex J. Malozemoff, Pierluigi Nuzzo:
Towards a Formal Treatment of Logic Locking. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022(2): 92-114 (2022) - [c55]Nathan Dahlin, Kevin Chang, Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo:
Practical Control Design for the Deep Learning Age: Distillation of Deep RL-Based Controllers. Allerton 2022: 1-8 - [c54]Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros A. Ioannou:
Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints. ACC 2022: 5140-5146 - [c53]Muhammad Waqas, Nikhil Vijay Naik, Petros A. Ioannou, Pierluigi Nuzzo:
Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning. CDC 2022: 2216-2221 - [c52]Yuke Zhang, Yinghua Hu, Pierluigi Nuzzo, Peter A. Beerel:
TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks. DATE 2022: 1329-1334 - [c51]Chanwook Oh, Michele Lora, Pierluigi Nuzzo:
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts. ICCAD 2022: 32:1-32:9 - [c50]Michele Lora, Pierluigi Nuzzo:
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems. ICCPS 2022: 310-311 - [c49]Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto:
Hierarchical Contract-Based Synthesis for Assurance Cases. NFM 2022: 175-192 - [c48]Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo:
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. SAFECOMP 2022: 65-81 - [c47]Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo:
Optimal control of partially observable Markov decision processes with finite linear temporal logic constraints. UAI 2022: 949-958 - [i19]Yuke Zhang, Yinghua Hu, Pierluigi Nuzzo, Peter A. Beerel:
TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks. CoRR abs/2201.05943 (2022) - [i18]Krishna Chaitanya Kalagarla, Dhruva Kartik, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo:
Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints. CoRR abs/2203.09038 (2022) - [i17]Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros A. Ioannou:
Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints. CoRR abs/2203.14110 (2022) - [i16]Muhammad Waqas, Nikhil Vijay Naik, Petros A. Ioannou, Pierluigi Nuzzo:
Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications. CoRR abs/2209.07478 (2022) - [i15]Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Contract-Based Specification Refinement and Repair for Mission Planning. CoRR abs/2211.11908 (2022) - [i14]Peter A. Beerel, Marios Georgiou, Ben Hamlin, Alex J. Malozemoff, Pierluigi Nuzzo:
Towards a Formal Treatment of Logic Locking. IACR Cryptol. ePrint Arch. 2022: 503 (2022) - 2021
- [c46]Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo:
A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints. AAAI 2021: 8030-8037 - [c45]Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo:
Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications. ACC 2021: 1268-1274 - [c44]Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo:
Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications. CDC 2021: 2252-2257 - [c43]Yinghua Hu, Kaixin Yang, Subhajit Dutta Chowdhury, Pierluigi Nuzzo:
Risk-Aware Cost-Effective Design Methodology for Integrated Circuit Locking. DATE 2021: 1182-1185 - [c42]Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione:
Incremental Refinement of Goal Models with Contracts. FSEN 2021: 35-50 - [c41]Yinghua Hu, Yuke Zhang, Kaixin Yang, Dake Chen, Peter A. Beerel, Pierluigi Nuzzo:
Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption. HOST 2021: 281-291 - [c40]Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo:
ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering. ICCAD 2021: 1-9 - [c39]Subhajit Dutta Chowdhury, Gengyu Zhang, Yinghua Hu, Pierluigi Nuzzo:
Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation. ISCAS 2021: 1-5 - [i13]Yinghua Hu, Yuke Zhang, Kaixin Yang, Dake Chen, Peter A. Beerel, Pierluigi Nuzzo:
Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption. CoRR abs/2108.04892 (2021) - [i12]Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo:
Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications. CoRR abs/2109.13377 (2021) - [i11]Subhajit Dutta Chowdhury, Kaixin Yang, Pierluigi Nuzzo:
ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering. CoRR abs/2112.00806 (2021) - 2020
- [j9]Pierluigi Nuzzo, Nikunj Bajaj, Michael Masin, Dmitrii Kirov, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10): 2109-2123 (2020) - [c38]Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, Gerardo Schneider:
CROME: Contract-Based Robotic Mission Specification. MEMOCODE 2020: 1-11 - [c37]Nikhil Naik, Pierluigi Nuzzo:
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. MEMOCODE 2020: 1-12 - [c36]Yinghua Hu, Kaixin Yang, Shahin Nazarian, Pierluigi Nuzzo:
SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme. VLSI-SOC 2020: 129-134 - [c35]Yinghua Hu, Kaixin Yang, Shahin Nazarian, Pierluigi Nuzzo:
SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption. VLSI-SoC (Selected Papers) 2020: 255-278 - [i10]Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo:
A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints. CoRR abs/2009.11348 (2020) - [i9]Yinghua Hu, Kaixin Yang, Shahin Nazarian, Pierluigi Nuzzo:
SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme. CoRR abs/2010.05168 (2020) - [i8]Nathan Dahlin, Krishna Chaitanya Kalagarla, Nikhil Naik, Rahul Jain, Pierluigi Nuzzo:
Designing Interpretable Approximations to Deep Reinforcement Learning with Soft Decision Trees. CoRR abs/2010.14785 (2020) - [i7]Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo:
Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications. CoRR abs/2011.00632 (2020)
2010 – 2019
- 2019
- [j8]Pierluigi Nuzzo, Jiwei Li, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li:
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. ACM Trans. Embed. Comput. Syst. 18(1): 2:1-2:26 (2019) - [c34]Chanwook Oh, Eunsuk Kang, Shinichi Shiraishi, Pierluigi Nuzzo:
Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. DATE 2019: 246-251 - [c33]Arash Fayyazi, Soheil Shababi, Pierluigi Nuzzo, Shahin Nazarian, Massoud Pedram:
Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations. DATE 2019: 638-641 - [c32]Xiaowu Sun, Rohitkrishna Nambiar, Matthew Melhorn, Yasser Shoukry, Pierluigi Nuzzo:
DoS-Resilient Multi-Robot Temporal Logic Motion Planning. ICRA 2019: 6051-6057 - [c31]Pierluigi Nuzzo:
Secure and Trustworthy Cyber-Physical System Design: A Cross-Layer Perspective. ISPD 2019: 105 - [c30]Pierluigi Nuzzo:
Session details: Lifetime Achievement Award Tribute to Professor Alberto Sangiovanni-Vicentelli. ISPD 2019 - [c29]Pierluigi Nuzzo:
From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts. ISPD 2019: 117-121 - [c28]Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo:
Security-driven metrics and models for efficient evaluation of logic encryption schemes. MEMOCODE 2019: 9:1-9:5 - [c27]Vivek V. Menon, Gaurav Kolhe, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Yinghua Hu, Peter A. Beerel, Pierluigi Nuzzo:
System-Level Framework for Logic Obfuscation with Quantified Metrics for Evaluation. SecDev 2019: 89-100 - [e1]Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo:
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. ACM 2019, ISBN 978-1-4503-6997-8 [contents] - [i6]Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo:
Toward Efficient Evaluation of Logic Encryption Schemes: Models and Metrics. CoRR abs/1909.07917 (2019) - 2018
- [j7]Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Programming. Proc. IEEE 106(9): 1655-1679 (2018) - [j6]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:
Design Automation for Smart Building Systems. Proc. IEEE 106(9): 1680-1699 (2018) - [j5]Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada:
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. 2(1): 5:1-5:27 (2018) - [c26]Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Hierarchical System Design with Vertical Contracts. Principles of Modeling 2018: 360-382 - [c25]Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. DAC 2018: 179:1-179:6 - [c24]Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli:
CHASE: Contract-based requirement engineering for cyber-physical system design. DATE 2018: 839-844 - 2017
- [j4]Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Autom. Control. 62(10): 4917-4932 (2017) - [c23]Baihong Jin, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Online computation of polytopic flexibility models for demand shifting applications. CASE 2017: 900-905 - [c22]Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC 2017: 1132-1137 - [c21]Ali Moin, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Jan M. Rabaey:
Optimized Design of a Human Intranet Network. DAC 2017: 30:1-30:6 - [c20]Dmitrii Kirov, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli:
ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. DAC 2017: 31:1-31:6 - [c19]Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
SMC: Satisfiability Modulo Convex Optimization. HSCC 2017: 19-28 - [c18]Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li:
Stochastic contracts for cyber-physical system design under probabilistic requirements. MEMOCODE 2017: 5-14 - [i5]Jiwei Li, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Yugeng Xi, Dewei Li:
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements. CoRR abs/1705.09316 (2017) - 2016
- [c17]Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada:
Scalable lazy SMT-based motion planning. CDC 2016: 6683-6688 - [c16]Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC 2016: 31-40 - [c15]Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada:
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ICCPS 2016: 29:1-29:10 - [i4]Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. CoRR abs/1602.01883 (2016) - 2015
- [b1]Pierluigi Nuzzo:
Compositional Design of Cyber-Physical Systems Using Contracts. University of California, Berkeley, USA, 2015 - [j3]Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa:
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. Proc. IEEE 103(11): 2104-2132 (2015) - [c14]Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. ACC 2015: 3818-3823 - [c13]Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. CDC 2015: 3804-3809 - [c12]Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto L. Sangiovanni-Vincentelli:
Optimized selection of reliable and cost-effective cyber-physical system architectures. DATE 2015: 561-566 - [c11]John B. Finn, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration. ICCAD 2015: 216-223 - [c10]Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto L. Sangiovanni-Vincentelli:
A Contract-based Framework for Integrated Demand Response Management in Smart Grids. BuildSys 2015: 167-176 - [i3]Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. CoRR abs/1509.03262 (2015) - 2014
- [j2]Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia:
A Contract-Based Methodology for Aircraft Electric Power System Design. IEEE Access 2: 1-25 (2014) - [c9]Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Edward A. Lee:
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. CODES+ISSS 2014: 24:1-24:10 - [c8]Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Library-based scalable refinement checking for contract-based design. DATE 2014: 1-6 - [c7]Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli:
Contract-based design of control protocols for safety-critical cyber-physical systems. DATE 2014: 1-4 - [c6]Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Let's Get Physical: Computer Science Meets Systems. FPS@ETAPS 2014: 193-208 - [c5]Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Are interface theories equivalent to contract theories? MEMOCODE 2014: 104-113 - [i2]Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada:
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. CoRR abs/1412.4324 (2014) - 2013
- [c4]Mehdi Maasoumy, Pierluigi Nuzzo, Forrest N. Iandola, Maryam Kamgarpour, Alberto L. Sangiovanni-Vincentelli, Claire J. Tomlin:
Optimal load management system for Aircraft Electric Power distribution. CDC 2013: 2939-2945 - [i1]Pierluigi Nuzzo, John B. Finn, Mohammad Mostafizur Rahman Mozumdar, Alberto L. Sangiovanni-Vincentelli:
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems. CoRR abs/1311.6092 (2013) - 2012
- [j1]Pierluigi Nuzzo, Claudio Nani, Costantino Armiento, Alberto L. Sangiovanni-Vincentelli, Jan Craninckx, Geert Van der Plas:
A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS. IEEE Trans. Circuits Syst. I Regul. Pap. 59-I(1): 80-92 (2012) - 2011
- [c3]Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Robustness in analog systems: Design techniques, methodologies and tools. SIES 2011: 194-203 - 2010
- [c2]Pierluigi Nuzzo, Alberto Puggelli, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli:
CalCS: SMT solving for non-linear convex constraints. FMCAD 2010: 71-79
2000 – 2009
- 2009
- [c1]Xuening Sun, Pierluigi Nuzzo, Chang-Ching Wu, Alberto L. Sangiovanni-Vincentelli:
Contract-based system-level composition of analog circuits. DAC 2009: 605-610
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-18 02:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
