1. Saswata Paul. Formal Verification of Decentralized Coordination in Autonomous Multi-Agent Aerospace Systems. PhD thesis, Rensselaer Polytechnic Institute, 2022. Keyword(s): formal verification, Athena, distributed systems, distributed computing, air traffic management, autonomous systems, runtime verification, cyber physical systems. [Abstract] [bibtex-entry]



2. Carlos Gomez. Reliability in Desktop Cloud Systems. PhD thesis, Universidad de los Andes, 2019. Keyword(s): cloud computing, distributed systems, desktop clouds. [Abstract] [bibtex-entry]

1. Saswata Paul, Chris McCarthy, Stacy Patterson, and Carlos Varela. Formal verification of timely knowledge propagation in airborne networks. Science of Computer Programming, 239, 2025. ISSN: 0167-6423. Keyword(s): Formal methods, Distributed systems, Autonomous systems, Probabilistic properties, Theorem proving, Proof library. [Abstract] [bibtex-entry]



2. Saswata Paul, Elkin Cruz, Airin Dutta, Ankita Bhaumik, Erik Blasch, Gul Agha, Stacy Patterson, Fotis Kopsaftopoulos, and Carlos Varela. Formal Verification of Safety-Critical Aerospace Systems. IEEE Aerospace and Electronic Systems Magazine, 38(5):72-88, 2023. Keyword(s): theorem proving, runtime verification, stochastic systems, distributed systems. [Abstract] [bibtex-entry]



3. Saswata Paul, Gul A. Agha, Stacy Patterson, and Carlos A. Varela. Eventual Consensus in Synod: Verification using a Failure-Aware Actor Model. Innovations in Systems and Software Engineering - A NASA Journal, 2022. Keyword(s): formal verification, Athena, distributed systems, distributed computing, air traffic management, consensus, actor model. [Abstract] [bibtex-entry]



4. S. Shelton, H. Newberg, J. Weiss, J. Bauer, M. Arsenault, L. Widrow, C. Rayment, R. Judd, T. Desell, M. Magdon-Ismail, M. Newby, C. Rice, B. Szymanski, J. Thompson, C. Varela, B. Willett, S. Ulin, and L. Newberg. An Algorithm for Reconstructing the Orphan Stream Progenitor with MilkyWay@home Volunteer Computing. pp 26, 2019. Note: Accepted May 2019, to appear. Keyword(s): distributed systems, cloud computing. [Abstract] [bibtex-entry]



5. Gustavo A. Guevara S., Travis Desell, Jason Laporte, and Carlos A. Varela. Modular Visualization of Distributed Systems. CLEI Electronic Journal, 14:1-17, April 2011. Note: Best papers from CLEI 2010. Keyword(s): distributed computing, distributed systems visualization, network topologies. [Abstract] [bibtex-entry]

1. Saswata Paul, Gul A. Agha, Stacy Patterson, and Carlos A. Varela. Verification of Eventual Consensus in Synod using a Failure-Aware Actor Model. In NASA Formal Methods, Cham, pages 249-267, 2021. Springer International Publishing. ISBN: 978-3-030-76384-8. Keyword(s): formal verification, Athena, distributed systems, distributed computing, air traffic management, consensus, actor model. [Abstract] [bibtex-entry]



2. Saswata Paul, Stacy Patterson, and Carlos Varela. Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. In Marie Farrell and Matt Luckcuck, editors, Proceedings Third Workshop on Formal Methods for Autonomous Systems, Virtual, 21st-22nd of October 2021, volume 348 of Electronic Proceedings in Theoretical Computer Science, pages 73-91, 2021. Open Publishing Association. Keyword(s): formal verification, Athena, distributed systems, distributed computing, air traffic management, formal verification, Athena, distributed systems, distributed computing, air traffic management. [Abstract] [bibtex-entry]



3. Camilo Castellanos, Boris Pérez, Darìo Correal, and Carlos A Varela. A Model-Driven Architectural Design Method for Big Data Analytics Applications. In 2020 IEEE International Conference on Software Architecture Companion (ICSA-C), pages 89-94, November 2020. IEEE. Keyword(s): distributed computing, distributed systems. [Abstract] [bibtex-entry]



4. Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, and Carlos A. Varela. Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms. In Frederica Darema, Erik Blasch, Sai Ravela, and Alex Aved, editors, Dynamic Data Driven Application Systems, Cham, pages 245-252, 2020. Springer International Publishing. ISBN: 978-3-030-61725-7. Keyword(s): dddas, formal verification, Athena, distributed systems, distributed computing, air traffic management, cyber physical systems, runtime verification. [Abstract] [bibtex-entry]



5. Saswata Paul, Stacy Patterson, and Carlos A. Varela. Collaborative Situational Awareness for Conflict-Aware Flight Planning. In The 39th AIAA/IEEE Digital Avionics Systems Conference (DASC 2020), October 2020. Keyword(s): cyber physical systems, formal verification, TLA, distributed systems, distributed computing, air traffic management, knowledge. [Abstract] [bibtex-entry]



6. Camilo Castellanos, Boris Perez, Carlos A. Varela, Maria del Pilar Villamil, and Dario Correal. A Survey on Big Data Analytics Solutions Deployment. In Software Architecture, Cham, pages 195-210, September 2019. Springer International Publishing. ISBN: 978-3-030-29983-5. Keyword(s): distributed computing, distributed systems. [Abstract] [bibtex-entry]



7. Camilo Castellanos, Carlos A. Varela, and Dario Correal. Measuring Performance Quality Scenarios in Big Data Analytics Applications: A DevOps and Domain-Specific Model Approach. In ECSA 2019 - International Workshop on Software Architecture Challenges in Big Data (SACBD), 2019. Keyword(s): distributed computing, distributed systems. [Abstract] [bibtex-entry]



8. Carlos Gomez, Harold Castro, and Carlos Varela. Global snapshot of a distributed system running on virtual machines. In International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) 2017, Campinas, Brazil, October 2017. Keyword(s): distributed computing, cloud computing, distributed systems. [Abstract] [bibtex-entry]



9. Shigeru Imai, Thomas Chestna, and Carlos A. Varela. Accurate Resource Prediction for Hybrid IaaS Clouds Using Workload-Tailored Elastic Compute Units. In 6th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2013), Dresden, Germany, December 2013. Keyword(s): distributed computing, distributed systems, cloud computing. [Abstract] [bibtex-entry]



10. Shigeru Imai, Thomas Chestna, and Carlos A. Varela. Elastic Scalable Cloud Computing Using Application-Level Migration. In 5th IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2012), Chicago, Illinois, USA, November 2012. Keyword(s): distributed computing, distributed systems, cloud computing. [Abstract] [bibtex-entry]



11. Travis Desell, Malik Magdon-Ismail, Heidi Newberg, Lee A. Newberg, Boleslaw K. Szymanski, and Carlos A. Varela. A Robust Asynchronous Newton Method for Massive Scale Computing Systems. In International Conference on Computational Intelligence and Software Engineering (CiSE), Wuhan, China, December 2011. Keyword(s): distributed computing, distributed systems, scientific computing. [Abstract] [bibtex-entry]



12. Shigeru Imai and Carlos A. Varela. Light-Weight Adaptive Task Offloading from Smartphones to Nearby Computational Resources. In Research in Applied Computation Symposium (RACS 2011), Miami, Florida, November 2011. Keyword(s): distributed computing, distributed systems. [Abstract] [bibtex-entry]



13. Qingling Wang and Carlos A. Varela. Impact of Cloud Computing Virtualization Strategies on Workloads' Performance. In 4th IEEE/ACM International Conference on Utility and Cloud Computing(UCC 2011), Melbourne, Australia, December 2011. Keyword(s): distributed computing, distributed systems, cloud computing. [Abstract] [bibtex-entry]



14. Gustavo A. Guevara, Travis Desell, Jason LaPorte, and Carlos A. Varela. Modular Visualization of Distributed Systems. In XXXVI Conferencia Latinoamericana de Informática, Asunción, Paraguay, October 2010. Keyword(s): distributed computing, distributed systems visualization. [Abstract] [bibtex-entry]



15. Travis Desell, H. Iyer, Abe Stephens, and Carlos A. Varela. OverView: A Framework for Generic Online Visualization of Distributed Systems. In Proceedings of the European Joint Conferences on Theory and Practice of Software (ETAPS 2004), eclipse Technology eXchange (eTX) Workshop, volume 17, Barcelona, Spain, pages 87-101, March 2004. Keyword(s): distributed computing, distributed systems visualization, software agents, middleware. [Abstract] [bibtex-entry]

1. Saswata Paul, Gul A. Agha, Stacy Patterson, and Carlos A. Varela. Verification of Eventual Consensus in Synod using a Failure-Aware Actor Model. Technical report, Rensselaer Polytechnic Institute, Department of Computer Science, 2021. Note: This report is an extended version of the NASA Formal Methods Symposium 2021 proceedings paper. Keyword(s): Synod, Paxos, actor model, formal verification, distributed computing, distributed systems, Athena, formal verification, Athena, distributed systems, air traffic management, consensus, actor model. [Abstract] [bibtex-entry]



2. Jason LaPorte and Carlos A. Varela. Organic and Hierarchical Concentric Layouts for Distributed System Visualization. Technical report, Rensselaer Polytechnic Institute Worldwide Computing Laboratory, 2008. Keyword(s): distributed computing, distributed systems visualization. [Abstract] [bibtex-entry]



3. Harihar N. Iyer, Abe Stephens, Travis Desell, and Carlos A. Varela. OverView - Dynamic Visualization of Java-Based Highly Reconfigurable Distributed Systems. Technical report, Rensselaer Polytechnic Institute Worldwide Computing Laboratory, August 2003. Keyword(s): distributed computing, distributed systems visualization. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html