Scheduling vehicle between origin and destination to maximize traveler satisfaction
The selection of an Ada compiler for a real-time embedded avionics application
Ada in the post deployment software support environment
Design and test strategies for a safety-critical embedded executive
New competitive strategies for searching in unknown star-shaped polygons
Integrated premission planning and execution for unmanned ground vehicles
Design of Intelligent Flight Controllers for Helicopter Control
Tracking Pedestrians from Monocular Image Sequences
Detecting Regions-of-interest: the Mars Rover Application
A Rule-based Vehicular Traffic Tracking System
Estimation of Face From an Image Using Eigen Space Method
Reusing single system requirements from application family requirements
ASDEN: a comprehensive design framework vision for automotive electronic control systems
Rendering effective route maps: improving usability through generalization
Investigating the readability of state-based formal requirements specification languages
Using specification-driven concepts for distributed data management and dissemination
Learning to predict train wheel failures
An approach to the pervasive formal specification and verification of an automotive system