A Contract-Based Methodology for Aircraft Electric Power System Design von Nuzzo, Pierluigi, Huan Xu, Ozay, Necmiye, Finn, John B., Sangiovanni-Vincentelli, Alberto L., Murray, Richard M., Donze, Alexandre, Seshia, Sanjit A.

Volltext

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design von Nuzzo, Pierluigi, Li, Jiwei, Sangiovanni-Vincentelli, Alberto L., Xi, Yugeng, Li, Dewei

Volltext

Towards a Formal Treatment of Logic Locking von Beerel, Peter, Georgiou, Marios, Hamlin, Ben, Malozemoff, Alex J., Nuzzo, Pierluigi

Volltext

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach von Shoukry, Yasser, Nuzzo, Pierluigi, Puggelli, Alberto, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Tabuada, Paulo

Volltext

Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements von Naik, Nikhil Vijay, Pinto, Alessandro, Nuzzo, Pierluigi

Volltext

A CMOS Ultra-Wideband Receiver for Low Data-Rate Communication von Ryckaert, J., Verhelst, M., Badaroglu, M., D'Amico, S., De Heyn, V., Desset, C., Nuzzo, P., Van Poucke, B., Wambacq, P., Baschirotto, A., Dehaene, W., Van der Plas, G.

Volltext

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems von Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L., Bresolin, Davide, Geretti, Luca, Villa, Tiziano

Volltext

Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures von Kirov, Dmitrii, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto, Passerone, Roberto

Volltext

Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes von Kalagarla, Krishna C., Kartik, Dhruva, Shen, Dongming, Jain, Rahul, Nayyar, Ashutosh, Nuzzo, Pierluigi

Volltext

Constraint-driven nonlinear reachability analysis with automated tuning of tool properties von Geretti, Luca, Collins, Pieter, Nuzzo, Pierluigi, Villa, Tiziano

Volltext

Special issue: Formal verification of cyber-physical systems von Geretti, Luca, Abate, Alessandro, Nuzzo, Pierluigi, Villa, Tiziano

Volltext

Architectural Exploration and Design of Time-Interleaved SAR Arrays for Low-Power and High Speed A/D Converters von SAPONARA, Sergio, NUZZO, Pierluigi, NANI, Claudio, PLAS, Geert VAN DER, FANUCCI, Luca

Volltext

Provably Safe Design Methodology for Automatic Longitudinal Control of Autonomous Vehicles von Waqas, Muhammad, Nuzzo, Pierluigi, Ioannou, Petros

Volltext

SMC: Satisfiability Modulo Convex Programming von Shoukry, Yasser, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A., Pappas, George J., Tabuada, Paulo

Volltext

On the Security of Sequential Logic Locking Against Oracle-Guided Attacks von Hu, Yinghua, Zhang, Yuke, Yang, Kaixin, Chen, Dake, Beerel, Peter A., Nuzzo, Pierluigi

Volltext

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures von Nuzzo, Pierluigi, Bajaj, Nikunj, Masin, Michael, Kirov, Dmitrii, Passerone, Roberto, Sangiovanni-Vincentelli, Alberto L.

Volltext

Design Automation for Smart Building Systems von Jia, Ruoxi, Arghandeh, Reza, Nuzzo, Pierluigi, Schiavon, Stefano, Sangiovanni-Vincentelli, Alberto L., Spanos, Costas J., Jin, Baihong, Jin, Ming, Zhou, Yuxun, Konstantakopoulos, Ioannis C., Zou, Han, Kim, Joyce, Li, Dan, Gu, Weixi

Volltext

Hierarchical System Design with Vertical Contracts von Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto L.

Volltext

Noise Analysis of Regenerative Comparators for Reconfigurable ADC Architectures von Nuzzo, P., De Bernardinis, F., Terreni, P., Van der Plas, G.

Volltext

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks von Shoukry, Yasser, Chong, Michelle, Wakaiki, Masashi, Nuzzo, Pierluigi, Sangiovanni-Vincentelli, Alberto, Seshia, Sanjit A., Hespanha, JOÃo P., Tabuada, Paulo

Volltext