HW/SW Configurable LQG Controller using a Sequential Discrete Kalman Filter. - Matthew Cauwels; Joseph Zambreno; Phillip H. Jones (ReConFig, 2018)

Integrating runtime verification into an automated UAS traffic management system. - Abigail Hammer; Matthew Cauwels; Benjamin Hertz; Phillip H. Jones; Kristin Y. Rozier (Innov. Syst. Softw. Eng., 2022)