| 2023 | DSN | Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. | Carlos Mo de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins |
| 2021 | IROS | Ground Encoding: Learned Factor Graph-based Models for Localizing Ground Penetrating Radar. | Alexander Baikovitz, Paloma Sodhi, Michael Dille, Michael Kaess |
| 2019 | ICCP | Miniature 3D Microscope and Reflectometer for Space Exploration. | Gustav M. Pettersson, Michael Dille, Sara Abrahamsson, Uland Y. Wong |
| 2017 | IROS | Structured light-based hazard detection for planetary surface navigation. | Ara Nefian, Uland Y. Wong, Michael Dille, Xavier Bouyssounouse, Laurence J. Edwards, Vinh To, Matthew C. Deans, Terry Fong |
| 2016 | ICRA | Safeguarding a lunar rover with Wald's sequential probability ratio test. | P. Michael Furlong, Michael Dille, Uland Y. Wong, Ara Nefian |
| 2014 | IROS | Guaranteed road network search with small unmanned aircraft. | Michael Dille, Ben Grocholsky, Sanjiv Singh |
| 2011 | IROS | Efficient target geolocation by highly uncertain small air vehicles. | Ben Grocholsky, Michael Dille, Stephen Nuske |