مقالات بحثية تمّ التفويض بإتاحتها للجميع - Pierluigi Nuzzoمزيد من المعلومات
عدد المقالات البحثية غير المتاحة للجميع في أي موقع: 13
Security-driven metrics and models for efficient evaluation of logic encryption schemes
Y Hu, VV Menon, A Schmidt, J Monson, M French, P Nuzzo
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods …, 2019
التفويضات: US Department of Defense
Hierarchical contract-based synthesis for assurance cases
TE Wang, Z Daw, P Nuzzo, A Pinto
NASA Formal Methods Symposium, 175-192, 2022
التفويضات: US Department of Defense
Design optimization of the control system for the powertrain of an electric vehicle: A cyber-physical system approach
C Lv, J Zhang, P Nuzzo, A Sangiovanni-Vincentelli, Y Li, Y Yuan
2015 IEEE International Conference on Mechatronics and Automation (ICMA …, 2015
التفويضات: National Natural Science Foundation of China
On the security of sequential logic locking against oracle-guided attacks
Y Hu, Y Zhang, K Yang, D Chen, PA Beerel, P Nuzzo
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2023
التفويضات: US Department of Defense
SimLL: Similarity-based logic locking against machine learning attacks
SD Chowdhury, K Yang, P Nuzzo
2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023
التفويضات: US Department of Defense
Arachne: Automated validation of assurance cases with stochastic contract networks
C Oh, N Naik, Z Daw, TE Wang, P Nuzzo
International Conference on Computer Safety, Reliability, and Security, 65-81, 2022
التفويضات: US National Science Foundation, US Department of Defense
Robustness contracts for scalable verification of neural network-enabled cyber-physical systems
N Naik, P Nuzzo
2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020
التفويضات: US National Science Foundation, US Department of Defense
Efficient encodings for scalable exploration of cyber-physical system architectures
D Kirov, P Nuzzo, A Sangiovanni-Vincentelli, R Passerone
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2023
التفويضات: US National Science Foundation, US Department of Defense
Contract-based control synthesis with barrier functions for vehicular mission planning
M Waqas, NV Naik, P Ioannou, P Nuzzo
2022 IEEE 61st Conference on Decision and Control (CDC), 2216-2221, 2022
التفويضات: US National Science Foundation, US Department of Defense
Online computation of polytopic flexibility models for demand shifting applications
B Jin, M Maasoumy, P Nuzzo, A Sangiovanni-Vincentelli
2017 13th IEEE Conference on Automation Science and Engineering (CASE), 900-905, 2017
التفويضات: US Department of Defense, National Research Foundation, Singapore
System Design in the Cyber‐Physical Era
P Nuzzo, A Sangiovanni‐Vincentelli
Nanoelectronics: Materials, Devices, Applications, 363-396, 2017
التفويضات: US Department of Defense
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project
M Lora, S Gaiardelli, C Oh, S Spellini, P Nuzzo, F Fummi
2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2024
التفويضات: US National Science Foundation, US Department of Defense, European Commission
Cost-Optimal Control of Markov Decision Processes Under Signal Temporal Logic Constraints
KC Kalagarla, R Jain, P Nuzzo
2021 Seventh Indian Control Conference (ICC), 317-322, 2021
التفويضات: US National Science Foundation, US Department of Defense
عدد المقالات البحثية المتاحة للجميع في موقع ما: 49
Secure state estimation for cyber-physical systems under sensor attacks: A satisfiability modulo theory approach
Y Shoukry, P Nuzzo, A Puggelli, AL Sangiovanni-Vincentelli, SA Seshia, ...
IEEE Transactions on Automatic Control 62 (10), 4917-4932, 2017
التفويضات: US National Science Foundation, US Department of Defense
A platform-based design methodology with contracts and related tools for the design of cyber-physical systems
P Nuzzo, AL Sangiovanni-Vincentelli, D Bresolin, L Geretti, T Villa
Proceedings of the IEEE 103 (11), 2104-2132, 2015
التفويضات: European Commission
SMT-based observer design for cyber-physical systems under sensor attacks
Y Shoukry, M Chong, M Wakaiki, P Nuzzo, A Sangiovanni-Vincentelli, ...
ACM Transactions on Cyber-Physical Systems 2 (1), 1-27, 2018
التفويضات: US National Science Foundation, US Department of Defense
Design automation for smart building systems
R Jia, B Jin, M Jin, Y Zhou, IC Konstantakopoulos, H Zou, J Kim, D Li, ...
Proceedings of the IEEE 106 (9), 1680-1699, 2018
التفويضات: US Department of Defense, National Research Foundation, Singapore
A CMOS ultra-wideband receiver for low data-rate communication
J Ryckaert, M Verhelst, M Badaroglu, S D'Amico, V De Heyn, C Desset, ...
IEEE Journal of Solid-State Circuits 42 (11), 2515-2527, 2007
التفويضات: Research Foundation (Flanders)
SMC: Satisfiability modulo convex programming
Y Shoukry, P Nuzzo, AL Sangiovanni-Vincentelli, SA Seshia, GJ Pappas, ...
Proceedings of the IEEE 106 (9), 1655-1679, 2018
التفويضات: US National Science Foundation, US Department of Defense
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming
Y Shoukry, P Nuzzo, A Balkan, I Saha, AL Sangiovanni-Vincentelli, ...
2017 IEEE 56th annual conference on decision and control (CDC), 1132-1137, 2017
التفويضات: US National Science Foundation, US Department of Defense
يتم تحديد معلومات التمويل والنشر من خلال برنامج كمبيوتر تلقائيًا.