Component, CA, and CCA models; superdense time, ETL DB, testing, etc.
Measurement and Automation Framework + Tool
Performs SCOAP and PODEM algorighms on ISCAS89 Netlists.
An automated controller testing tool
Combining panoramic photographs with 3D landscape models
Framework to help researchers test their discovery algorithms.