Master's Theses & Technical Reports - Alberto L. Sangiovanni-Vincentelli

M.S. | 5th Year M.S.

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]