Michael McDougall

According to our database, Michael McDougall authored at least 7 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

2016

Monitoring Assumptions in Assume-Guarantee Contracts.

Oleg Sokolsky, Teng Zhang, Insup Lee, Michael McDougall

Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

2004

A model-based approach to integrating security policies for embedded devices.

Michael McDougall, Rajeev Alur, Carl A. Gunter

Proceedings of the EMSOFT 2004, 2004

2002

Exploiting Behavioral Hierarchy for Efficient Model Checking.

Rajeev Alur, Michael McDougall, Zijiang Yang

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Predictable programs in barcodes.

Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur

Proceedings of the International Conference on Compilers, 2002

2000

Certificate Distribution with Local Autonomy.

Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim

Proceedings of the Active Networks, Second International Working Conference, 2000

Efficient Reachability Analysis of Hierarchical Reactive Machines.

Rajeev Alur, Radu Grosu, Michael McDougall

Proceedings of the Computer Aided Verification, 12th International Conference, 2000