Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Internship Program
Team
Sponsors
Contact
Opportunities
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Breadcrumb
Home
/
Alessandro Coglio
First name
Alessandro
Last name
Coglio
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)
View
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)
View
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
.
View
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
.
View