Using specification-driven concepts for distributed data management and dissemination
Integrated premission planning and execution for unmanned ground vehicles
Investigating the readability of state-based formal requirements specification languages
ASDEN: a comprehensive design framework vision for automotive electronic control systems
Reusing single system requirements from application family requirements
VHP: Approximate Nearest Neighbor Search via Virtual Hypersphere Partitioning
Design and test strategies for a safety-critical embedded executive