Balasubramanian, D., Dubey, A., Otte, W. R., Emfinger, W., Kumar, P., & Karsai, G. (2014). A Rapid Testing Framework for a Mobile Cloud Infrastructure. In IEEE International Symposium on Rapid System Prototyping (RSP). IEEE. (Original work published October 2014)

Emfinger, W., Karsai, G., Dubey, A., & Gokhale, A. (2014). 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.

Kumar, P. S., Dubey, A., & Karsai, G. (2014). Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications.

Levendovszky, T., Dubey, A., Otte, W. R., Balasubramanian, D., Coglio, A., Nyako, S., … Karsai, G. (2014). DREMS: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. IEEE Software, 99.

Pradhan, S., Emfinger, W., Dubey, A., Otte, W., Coglio, A., Balasubramanian, D., … Karsai, G. (2014). Establishing secure interactions across distributed applications in satellite clusters. In SMC-IT.