Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems. - Pierluigi Nuzzo 002; John B. Finn; Mohammad Mostafizur Rahman Mozumdar; Alberto L. Sangiovanni-Vincentelli (CoRR, 2013)

Contract-based design of control protocols for safety-critical cyber-physical systems. - Pierluigi Nuzzo 002; John B. Finn; Antonio Iannopollo; Alberto L. Sangiovanni-Vincentelli (DATE, 2014)

A Contract-Based Methodology for Aircraft Electric Power System Design. - Pierluigi Nuzzo 002; Huan Xu; Necmiye Ozay; John B. Finn; Alberto L. Sangiovanni-Vincentelli; Richard M. Murray; Alexandre Donzé; Sanjit A. Seshia (IEEE Access, 2014)

A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration. - John B. Finn; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli (ICCAD, 2015)