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.