David A. Wagner

发表

Fault Tolerance Middleware for a Multi-Core System

Raphael R. Some, Hans P. Zima, Paul L. Springer, 2012 .

A Control Architecture for Safe Human-Robotic Interactions During Lunar Surface Operations

D. Dvorak, Michel D. Ingham, David S. Mittman, 2009 .

Prototyping a Domain-Specific Language for Monitor and Control Systems

Michel D. Ingham, Klaus Havelund, Matthew Bennett, 2010, J. Aerosp. Comput. Inf. Commun..

Real-Time Projection to Verify Plan Success During Execution

D. Dvorak, Michel D. Ingham, Robert Rasmussen, 2012 .

Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system

Richard M. Murray, Julia M. B. Braman, David A. Wagner, 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

Two Mechanisms to Avoid Control Conflicts Resulting from Uncoordinated Intent

D. Dvorak, Matthew B. Bennett, Andrew H. Mishkin, 2013 .

Mission Data System Java Edition Version 7

William K. Reinholtz, David A. Wagner, 2013 .

Proceedings of the 20th USENIX conference on Security

David A. Wagner, D. Wagner, 2011 .

Distributed Computerized Catalog System

David A. Wagner, Richard L. Borgen, 1995 .

C++ Dynamic Cast in Autonomous Space Systems

Bjarne Stroustrup, Rabi N. Mahapatra, Damian Dechev, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

Multi-Disciplinary Approach for the Integration and Testing Phase of Simulation Development

David A. Wagner, Terril N. Hurst, 2008 .

Architecture modeling on the Europa project

Aleksandr A. Kerzhner, David A. Wagner, Justin Kaderka, 2016 .

Ontology and modeling patterns for state-based behavior representation

D. Dvorak, Robert Karban, Aleksandr A. Kerzhner, 2015 .

The Behavior, Constraint, and Scenario (BeCoS) Tool: A Web-Based Software Application for Modeling Behaviors and Scenarios

Michel D. Ingham, David A. Wagner, Justin Kaderka, 2018 .