Coglio, A., McCarthy, E., Westfold, S., Balasubramanian, D., Dubey, A., & Karsai, G. (2022). Syntheto: A Surface Language for APT and ACL2. Electronic Proceedings in Theoretical Computer Science, 359. http://doi.org/10.4204/eptcs.359.13 (Original work published May 2022)

Dubey, A., Emfinger, W., Gokhale, A., Karsai, G., Otte, W. R., Parsons, J., … Bose, P. (2012). A Software Platform for Fractionated Spacecraft. In 2012 IEEE Aerospace Conference. Big Sky, Montana. (Original work published March 2012)

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.