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
- 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, Kartik Dhruva, 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]