- DEPEND: A Hierarchical Framework for Designing Dependable Systems
- Design and implementation of a software infrastructure for reliable and secure networked computing (ARMORs)
- Automatic Derivation of Application-aware Error and Attack Detectors (Detectors)
- Validation, testing, and diagnosis (NFTAPE)
- A reconfigurable embedded reliability and security engine (RSE)
- Reliable Biomedical Monitoring
- Security and Performance Modeling
- Wireless Sensor Networks for Agricultural Applications: Data collection, routing algorithms, and machine learning for better decision making in agricultural sciences