Generalizable safety annotations for specification of failure patterns.
Building an automated and self-configurable emulation testbed for grid applications.
Automatic detection and replacement of syntactic constructs causing shift/reduce conflicts.
MaD-WiSe: a distributed stream management system for wireless sensor networks.