Pierluigi Nuzzo

According to our database1, Pierluigi Nuzzo authored at least 70 papers between 2005 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme.
CoRR, 2020

A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints.
CoRR, 2020

2019
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design.
ACM Trans. Embed. Comput. Syst., 2019

Profiling minisat based on user defined execution time - GPROF.
CoRR, 2019

Toward Efficient Evaluation of Logic Encryption Schemes: Models and Metrics.
CoRR, 2019

System-Level Framework for Logic Obfuscation with Quantified Metrics for Evaluation.
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

Secure and Trustworthy Cyber-Physical System Design: A Cross-Layer Perspective.
Proceedings of the 2019 International Symposium on Physical Design, 2019

DoS-Resilient Multi-Robot Temporal Logic Motion Planning.
Proceedings of the International Conference on Robotics and Automation, 2019

Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design.
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
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks.
ACM Trans. Cyber Phys. Syst., 2018

SMC: Satisfiability Modulo Convex Programming.
Proc. IEEE, 2018

Design Automation for Smart Building Systems.
Proc. IEEE, 2018

CHASE: Contract-based requirement engineering for cyber-physical system design.
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

Hierarchical System Design with Vertical Contracts.
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

SMC: Satisfiability Modulo Convex Optimization.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Optimized Design of a Human Intranet Network.
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

Online computation of polytopic flexibility models for demand shifting applications.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Scalable lazy SMT-based motion planning.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Compositional Design of Cyber-Physical Systems Using Contracts.
PhD thesis, 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

A Contract-based Framework for Integrated Demand Response Management in Smart Grids.
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

A Contract-Based Methodology for Aircraft Electric Power System Design.
IEEE Access, 2014

Are interface theories equivalent to contract theories?
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Let's Get Physical: Computer Science Meets Systems.
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

Library-based scalable refinement checking for contract-based design.
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

ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems.
CoRR, 2013

Optimal load management system for Aircraft Electric Power distribution.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS.
IEEE Trans. Circuits Syst. I Regul. Pap., 2012

2011
Robustness in analog systems: Design techniques, methodologies and tools.
Proceedings of the Industrial Embedded Systems (SIES), 2011

2010
Design Methodologies and Innovative Architectures for Mixed-Signal Embedded Systems.
EURASIP J. Embed. Syst., 2010

A Platform-Based Methodology for System-Level Mixed-Signal Design.
EURASIP J. Embed. Syst., 2010

CalCS: SMT solving for non-linear convex constraints.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

An 11.6-19.3mW 0.375-13.6GHz CMOS frequency synthesizer with rail-to-rail operation.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
A 2-mm<sup>2</sup> 0.1-5 GHz Software-Defined Radio Receiver in 45-nm Digital CMOS.
IEEE J. Solid State Circuits, 2009

Architectural Exploration and Design of Time-Interleaved SAR Arrays for Low-Power and High Speed A/D Converters.
IEICE Trans. Electron., 2009

A 2mm<sup>2</sup> 0.1-to-5GHz SDR receiver in 45nm digital CMOS.
Proceedings of the IEEE International Solid-State Circuits Conference, 2009

Contract-based system-level composition of analog circuits.
Proceedings of the 46th Design Automation Conference, 2009

2008
Noise Analysis of Regenerative Comparators for Reconfigurable ADC Architectures.
IEEE Trans. Circuits Syst. I Regul. Pap., 2008

An 820μW 9b 40MS/s Noise-Tolerant Dynamic-SAR ADC in 90nm Digital CMOS.
Proceedings of the 2008 IEEE International Solid-State Circuits Conference, 2008

Mixed-Signal Design Space Exploration of Time-Interleaved A/D Converters for Ultra-Wide Band Applications.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
A CMOS Ultra-Wideband Receiver for Low Data-Rate Communication.
IEEE J. Solid State Circuits, 2007

2006
A 16mA UWB 3-to-5GHz 20Mpulses/s Quadrature Analog Correlation Receiver in 0.18µm CMOS.
Proceedings of the 2006 IEEE International Solid State Circuits Conference, 2006

Robust system level design with analog platforms.
Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

A synthesis tool for power-efficient base-band filter design.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

A 10.6mW/0.8pJ power-scalable 1GS/s 4b ADC in 0.18mum CMOS with 5.8GHz ERBW.
Proceedings of the 43rd Design Automation Conference, 2006

2005
Enriching an analog platform for analog-to-digital converter design.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Mixed signal design space exploration through analog platforms.
Proceedings of the 42nd Design Automation Conference, 2005


  Loading...