Recent NSF grants I
Reasoning about open systems
Formalisms for requirements analysis and design
Theoretical underpinnnings of formal analysis of concurrent systems
Formal reasoning about reactive systems
Unifying real-time design and implementation
A framework for specifying and verifying generic system components
Empirical investigations of software inspections