Pierluigi Nuzzo
Orcid: 0000-0003-2984-0364Affiliations:
- University of Southern California, Ming Hsieh Department of Electrical and Computer Engineering, LA, USA
- University of California, Department of Electrical Engineering and Computer Science, CA, USA (PhD 2015)
According to our database1,
Pierluigi Nuzzo
authored at least 100 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., January, 2024
Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes.
CoRR, 2024
CoRR, 2024
Proceedings of the 25th International Symposium on Quality Electronic Design, 2024
Proceedings of the IEEE International Conference on Acoustics, 2024
Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023
Regret Analysis of the Posterior Sampling-based Learning Algorithm for Episodic POMDPs.
CoRR, 2023
CoRR, 2023
Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes.
CoRR, 2023
CoRR, 2023
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Proceedings of the 24th International Symposium on Quality Electronic Design, 2023
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads.
IROS, 2023
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
2022
IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022
Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications.
CoRR, 2022
Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints.
CoRR, 2022
Optimal control of partially observable Markov decision processes with finite linear temporal logic constraints.
Proceedings of the Uncertainty in Artificial Intelligence, 2022
Proceedings of the Computer Safety, Reliability, and Security, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts.
Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, 2022
TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints.
Proceedings of the American Control Conference, 2022
Practical Control Design for the Deep Learning Age: Distillation of Deep RL-Based Controllers.
Proceedings of the 58th Annual Allerton Conference on Communication, 2022
2021
Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications.
CoRR, 2021
Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2021
ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021
Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption.
Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2021
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications.
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications.
CoRR, 2020
Designing Interpretable Approximations to Deep Reinforcement Learning with Soft Decision Trees.
CoRR, 2020
Proceedings of the VLSI-SoC: Design Trends, 2020
Proceedings of the 28th IFIP/IEEE International Conference on Very Large Scale Integration, 2020
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems.
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
CoRR, 2019
Proceedings of the 2019 IEEE Cybersecurity Development, 2019
Security-driven metrics and models for efficient evaluation of logic encryption schemes.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019
From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts.
Proceedings of the 2019 International Symposium on Physical Design, 2019
Session details: Lifetime Achievement Award Tribute to Professor Alberto Sangiovanni-Vicentelli.
Proceedings of the 2019 International Symposium on Physical Design, 2019
Proceedings of the 2019 International Symposium on Physical Design, 2019
Proceedings of the International Conference on Robotics and Automation, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
ACM Trans. Cyber Phys. Syst., 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Optimized selection of wireless network topologies and components via efficient pruning of feasible paths.
Proceedings of the 55th Annual Design Automation Conference, 2018
Proceedings of the Principles of Modeling, 2018
2017
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach.
IEEE Trans. Autom. Control., 2017
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements.
CoRR, 2017
Stochastic contracts for cyber-physical system design under probabilistic requirements.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the 54th Annual Design Automation Conference, 2017
ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures.
Proceedings of the 54th Annual Design Automation Conference, 2017
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems.
Proc. IEEE, 2015
A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks.
CoRR, 2015
Proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Built Environments, 2015
A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015
Optimized selection of reliable and cost-effective cyber-physical system architectures.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving.
Proceedings of the American Control Conference, 2015
2014
Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach.
CoRR, 2014
IEEE Access, 2014
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
Contract-based design of control protocols for safety-critical cyber-physical systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems.
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014
2013
CoRR, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
2012
IEEE Trans. Circuits Syst. I Regul. Pap., 2012
2011
Proceedings of the Industrial Embedded Systems (SIES), 2011
2010
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
2009
Proceedings of the 46th Design Automation Conference, 2009