Efficient Reachability Analysis of Hierarchical Reactive Machines. - Rajeev Alur; Radu Grosu; Michael McDougall (CAV, 2000)

Certificate Distribution with Local Autonomy. - Pankaj Kakkar; Michael McDougall; Carl A. Gunter; Trevor Jim (IWAN, 2000)

Predictable programs in barcodes. - Alwyn Goodloe; Michael McDougall; Carl A. Gunter; Rajeev Alur (CASES, 2002)

Exploiting Behavioral Hierarchy for Efficient Model Checking. - Rajeev Alur; Michael McDougall; Zijiang Yang 006 (CAV, 2002)

A model-based approach to integrating security policies for embedded devices. - Michael McDougall; Rajeev Alur; Carl A. Gunter (EMSOFT, 2004)

Monitoring Assumptions in Assume-Guarantee Contracts. - Oleg Sokolsky; Teng Zhang; Insup Lee 001; Michael McDougall (PrePost@IFM, 2016)

Multi-Gait Locomotion Planning and Tracking for Tendon-Actuated Terrestrial Soft Robot (TerreSoRo). - Arun Niddish Mahendran; Caitlin Freeman; Alexander H. Chang; Michael McDougall; Patricio A. Vela; Vishesh Vikas (IROS, 2023)