Ph.D. Dissertations - Sanjit A. Seshia

Formal Verification and Synthesis for Quality-of-Service in On-Chip Networks
Daniel Holcomb [2013]

Specification Mining: New Formalisms, Algorithms and Applications
Wenchao Li [2013]

Automatic Term-Level Abstraction
Bryan Brady [2011]

Towards Automated System Synthesis Using SCIDUCTION
Susmit Kumar Jha [2011]