John B. Finn

According to our database, John B. Finn authored at least 4 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration.

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

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

2014

A Contract-Based Methodology for Aircraft Electric Power System Design.

Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia

IEEE Access, 2014

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

Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

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

Pierluigi Nuzzo, John B. Finn, Mohammad Mostafizur Rahman Mozumdar, Alberto L. Sangiovanni-Vincentelli

CoRR, 2013