M.S.
Optimal Architecture Selection for an Aircraft Environmental Control System
John Finn [2015]
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
Alberto Alessandro Angelo Puggelli [2014]
Synthesis of Reliable and Cost-Effective Cyber-Physical System Architectures
Nikunj Bajaj [2014]
Automatic Synthesis for Distributed Systems
Yang Yang [2008]
Semantic Driven Synthesis for Heterogeneous Systems
Qi Zhu [2006]
Model-Based Synthesis and Analysis of Fault Tolerant Data Flow Models
Mark Lee McKelvin Jr [2005]
5th Year M.S.
Framework for Body Sensor Networks
Sameer Iyengar [2008]