Master's Theses & Technical Reports - Sanjit A. Seshia

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


Analyzing Data-Dependent Timing and Timing Repeatability with GameTime
Zachariah Wasson [2014]

CPSGrader: Auto-Grading and Feedback Generation for Cyber-Physical Systems Education
Garvit Juniwal [2014]

Formal Modeling and Verification of CloudProxy
Wei Yang Tan [2014]

Formal Methods for Reverse Engineering Gate-Level Netlists
Wenchao Li [2013]

Reachability Analysis of Lazy Linear Hybrid Automata
Susmit Kumar Jha [2011]

Beaver: An SMT Solver for Quantifier-free Bit-vector Logic
Rhishikesh Shrikant Limaye [2010]

5th Year M.S.

Two Optimal Path Problems in Synthetic Biology
Matthew Fong [2015]


Model-Based Embedded Software
Robert Bui [2015]

Model-Based Embedded Software
Jose Oyola Cabello [2015]

Model-based Embedded Software
Naren Vasanad [2015]

Model-Based Embedded Software
Kevin Albers [2015]