Browse by Committee Member

F

Filippidis, Ioannis (2019) Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z9Q52MTD. https://resolver.caltech.edu/CaltechTHESIS:07202018-115217471

Florian, Mihai (2014) Analysis-Aware Design of Embedded Systems Software. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/VB1N-Y042. https://resolver.caltech.edu/CaltechTHESIS:10142013-111401153

L

Livingston, Scott Carlton (2016) Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/Z94Q7RW3. https://resolver.caltech.edu/CaltechTHESIS:12312015-131513787

W

White, Jerome S. (2011) Applying Formal Methods to Distributed Algorithms Using Local-Global Relations. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/8FRW-ZF17. https://resolver.caltech.edu/CaltechTHESIS:05312011-123940546

Wongpiromsarn, Tichakorn (2010) Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/XZ3X-7V51. https://resolver.caltech.edu/CaltechTHESIS:05272010-153304667

X

Xu, Huan (2013) Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/QDJN-BB72. https://resolver.caltech.edu/CaltechTHESIS:05312013-103940337