Data management in the mission data system. - David A. Wagner 002 (SMC, 2005)

Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system. - Julia M. B. Braman; Richard M. Murray; David A. Wagner 002 (IROS, 2007)

C++ Dynamic Cast in Autonomous Space Systems. - Damian Dechev; Rabi N. Mahapatra; Bjarne Stroustrup; David A. Wagner 002 (ISORC, 2008)

Prototyping a Domain-Specific Language for Monitor and Control Systems. - Matthew Bennett; Richard Borgen; Klaus Havelund; Michel D. Ingham; David A. Wagner 002 (J. Aerosp. Comput. Inf. Commun., 2010)

openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering. - Maged Elaasar; Nicolas Rouquette; David A. Wagner 002; Bentley Oakes; Abdelwahab Hamou-Lhadj; Mohammad Hamdaqa (MoDELS (Companion), 2023)