Current Projects:

Tool Support for Producing High Assurance and Reliable Software for Wireless Sensor Actor Networks

Automated Revision of Embedded Systems

Unified Component-Based Framework for Fault-Tolerance

RAPIDware : Component-Based Development of Adaptable and Dependable Middleware

Stabilization in Networked Embedded Software Technology (NEST)