BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Pierluigi Nuzzo
SearchCollections
Map detail
Pierluigi Nuzzo12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPierluigi NuzzoAPierluigi NuzzoResearcherPlatform-Based Design Methodology and Modeling for Aircraft Electric Power SystemsWPlatform-Based Design M...preprint / 2013Correct-by-Construction Design of Contextual Robotic Missions Using ContractsWCorrect-by-Construction...preprint / 2023Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory ApproachWSecure State Estimation...preprint / 2015A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor AttacksWA Satisfiability Modulo...preprint / 2015TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal AttacksWTriLock: IC Protection ...preprint / 2022Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory ConstraintsWCorrect-By-Construction...preprint / 2022Diagnosis and Repair for Synthesis from Signal Temporal Logic SpecificationsWDiagnosis and Repair fo...preprint / 2016SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption SchemeWSANSCrypt: A Sporadic-A...preprint / 2020Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic EncryptionWFun-SAT: Functional Cor...preprint / 2021Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic ConstraintsWOptimal Control of Part...preprint / 2022Toward Efficient Evaluation of Logic Encryption Schemes: Models and MetricsWToward Efficient Evalua...preprint / 2020
Person11 links

Pierluigi Nuzzo

Researcher

PaperPlatform-Based Design Methodology and Modeling for Aircraft Electric Power SystemsAuthorship / preprint / 2013PaperCorrect-by-Construction Design of Contextual Robotic Missions Using ContractsAuthorship / preprint / 2023PaperSecure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory ApproachAuthorship / preprint / 2015PaperA Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor AttacksAuthorship / preprint / 2015PaperTriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal AttacksAuthorship / preprint / 2022PaperCorrect-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory ConstraintsAuthorship / preprint / 2022PaperDiagnosis and Repair for Synthesis from Signal Temporal Logic SpecificationsAuthorship / preprint / 2016PaperSANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption SchemeAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)