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)
Dabholkar, A., and A. Gokhale,
"An Approach to Middleware Specialization for Cyber Physical Systems",
The 2nd International Workshop on Cyber-Physical Systems (WCPS 2009), Co-located with ICDCS 2009, Montreal, Quebec, Canada, IEEE, pp. 73-79, 06/2009.
Download: WCPS-2009.pdf (236.71 KB)
Tambe, S., A. Dabholkar, and A. Gokhale,
"MoPED: A Model-based Provisioning Engine for Dependability in Component-based Distributed Real-time Embedded Systems",
18th IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS 2011),, Las Vegas, NV, USA, 04/2011.
Download: MoPED.pdf (1.29 MB)
An, K., S. Pradhan, F. Caglar, and A. Gokhale,
"A Publish/Subscribe Middleware for Dependable and Real-time Resource Monitoring in the Cloud",
SDMCMM '12 Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, Montreal, Quebec, Canada, 12/2012.
Download: SDMCMM2012.pdf (158.98 KB)