Skip to main content

Horizontal Menu

  • Research
    • Areas
    • Projects
    • Publications
    • NSA Center of Academic Excellence
  • Education
    • Prospective Students
    • Summer Program Info
  • Team
  • Sponsors
  • Contact
  • Opportunities

Hamburger Menu

  • Home
  • ISIS Calendar
    • Research Projects
    • Research Areas
    • Publications
    • 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

Footer Links A

  • About Us
  • Contact
  • LinkedIn

Footer Links B

  • Work at the Institute
  • Summer Program Info

1025 16th Avenue South

Nashville, Tennessee 37212

Phone: (615) 343-7472

Email: contact.isis at vanderbilt dot edu