Holzmann, Gerard J.

Software from CaltechTHESIS committee

• Filippidis, Ioannis (2019) Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design; 10.7907/Z9Q52MTD
• Livingston, Scott Carlton (2016) Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications; 10.7907/Z94Q7RW3
• Florian, Mihai (2014) Analysis-Aware Design of Embedded Systems Software; 10.7907/VB1N-Y042
• Xu, Huan (2013) Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic; 10.7907/QDJN-BB72
• White, Jerome S. (2011) Applying Formal Methods to Distributed Algorithms Using Local-Global Relations ; 10.7907/8FRW-ZF17
• Wongpiromsarn, Tichakorn (2010) Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle; 10.7907/XZ3X-7V51