Login / Signup
John B. Finn
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 0
Top Topics
Optimization Scheme
Dynamic Characteristics
Power System
Top Venues
CoRR
DATE
ICCAD
IEEE Access
</>
Publications
</>
John B. Finn
,
Pierluigi Nuzzo
,
Alberto L. Sangiovanni-Vincentelli
A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration.
ICCAD
(2015)
Pierluigi Nuzzo
,
Huan Xu
,
Necmiye Ozay
,
John B. Finn
,
Alberto L. Sangiovanni-Vincentelli
,
Richard M. Murray
,
Alexandre Donzé
,
Sanjit A. Seshia
A Contract-Based Methodology for Aircraft Electric Power System Design.
IEEE Access
2 (2014)
Pierluigi Nuzzo
,
John B. Finn
,
Antonio Iannopollo
,
Alberto L. Sangiovanni-Vincentelli
Contract-based design of control protocols for safety-critical cyber-physical systems.
DATE
(2014)
Pierluigi Nuzzo
,
John B. Finn
,
Mohammad Mostafizur Rahman Mozumdar
,
Alberto L. Sangiovanni-Vincentelli
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems.
CoRR
(2013)