David A. Wagner

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Matthew Bennett, Richard Borgen, Klaus Havelund, Michel D. Ingham, David A. Wagner
Prototyping a Domain-Specific Language for Monitor and Control Systems. J. Aerosp. Comput. Inf. Commun. 7 (11) (2010)
Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup, David A. Wagner
C++ Dynamic Cast in Autonomous Space Systems. ISORC (2008)
Julia M. B. Braman, Richard M. Murray, David A. Wagner
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system. IROS (2007)
David A. Wagner
Data management in the mission data system. SMC (2005)