YODA++: A proposal for a semi-automatic space mission control
Visualizing Modules and Dependencies of OSGi-based Applications
VictorTango Architecture for Autonomous Navigation in the DARPA Urban Challenge
Validation of mission critical software design and implementation using model checking
U.S. Army's Common Avionics Architecture System (CAAS) Product Line: A Case Study
UNICARagil - Results of the disruptive project on driverless automated transport
UNICARagil: Agile Development of Self-Driving Vehicles; 1st edition
Tychonis: A model-based approach to define and search for geometric events in space
Towards novel and intentional cooperation of diverse autonomous robots : An architectural approach
Towards flexible and dependable E/E-architectures for future vehicles
Toward Developing Reusable Software Components for Robotic Applications
Tool Use Learning for a Real Robot
The Use of Modeling for Flight Software Engineering on SMAP
The Realization of Model-Based Spacecraft Mission Planning and Execution of High-Level Autonomy
The development of a cooperative heavy-duty vehicle for the GCDC 2011: Team Scoop
The design and architecture of the Rover Sequencing and Visualization Program (RSVP)
The design and architecture of the rover sequencing and visualization program
Survey on Fault Detection, Isolation, and Recovery Strategies in the Space Domain
SU2: An Open-Source Suite for Multiphysics Simulation and Design