Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale,
"Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks",
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.
Download: CyPhy14.pdf (583.29 KB)
Mahadevan, N., A. Dubey, and G. Karsai,
"Application of Software Health Management Techniques",
To appear in the Proceedings of the 2011 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, New York, NY, USA, ACM, 2011.
Abstract
Download: Paper.pdf (5.15 MB)