Holzmann, Gerard J.

Committee Member — 6 thesises

• Florian, Mihai — Analysis-Aware Design of Embedded Systems Software (2014, Dissertation (Ph.D.))
• White, Jerome S. — Applying Formal Methods to Distributed Algorithms Using Local-Global Relations (2011, Dissertation (Ph.D.))
• Filippidis, Ioannis — Decomposing Formal Specifications Into Assume-Guarantee Contracts for Hierarchical System Design (2019, Dissertation (Ph.D.))
• Xu, Huan — Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic (2013, Dissertation (Ph.D.))
• Wongpiromsarn, Tichakorn — Formal Methods for Design and Verification of Embedded Control Systems: Application to an Autonomous Vehicle (2010, Dissertation (Ph.D.))
• Livingston, Scott Carlton — Incremental Control Synthesis for Robotics in the Presence of Temporal Logic Specifications (2016, Dissertation (Ph.D.))