Michael McDougall
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2000–2023
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | IROS | 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 |
| 2004 | EMSOFT | A model-based approach to integrating security policies for embedded devices. | Michael McDougall, Rajeev Alur, Carl A. Gunter |
| 2002 | CASES | Predictable programs in barcodes. | Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur |
| 2002 | CAV | Exploiting Behavioral Hierarchy for Efficient Model Checking. | Rajeev Alur, Michael McDougall, Zijiang Yang |
| 2000 | CAV | Efficient Reachability Analysis of Hierarchical Reactive Machines. | Rajeev Alur, Radu Grosu, Michael McDougall |