John B. Finn

Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems pdf

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, John B. Finn, 2013, ArXiv.

Contract-based design of control protocols for safety-critical cyber-physical systems

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, John B. Finn, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

A Contract-Based Methodology for Aircraft Electric Power System Design

Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Richard M. Murray, 2014, IEEE Access.

A mixed discrete-continuous optimization scheme for Cyber-Physical System architecture exploration

Alberto L. Sangiovanni-Vincentelli, Pierluigi Nuzzo, John B. Finn, 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Optimal Architecture Selection for an Aircraft Environmental Control System

John B. Finn, A. Sangiovanni-Vincentelli, 2016 .

To Be Certain about Uncertainties : Probabilistic Model Checking with Uncertainties

John B. Finn, A. Sangiovanni-Vincentelli, S. Seshia, 2012 .