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. Wei-Jen Wang. Distributed Garbage Collection for Large-Scale Mobile Actor Systems. PhD thesis, Rensselaer Polytechnic Institute, 2006. Keyword(s): distributed computing, grid computing, internet programming languages, software agents. [Abstract] [bibtex-entry]



3. C. Varela. Worldwide Computing with Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination. PhD thesis, U. of Illinois at Urbana-Champaign, 2001. Keyword(s): distributed computing, concurrent programming, grid computing, internet programming languages, coordination models, middleware, software agents. [Abstract] [bibtex-entry]

1. 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]



2. Shigeru Imai, Pratik Patel, and Carlos A. Varela. Encyclopedia on Cloud Computing, chapter 50: Developing Elastic Software for the Cloud, pages 609-627. Wiley, 2016. Note: Invited book chapter. ISBN: 978-1-118-82197-8. Keyword(s): distributed computing, cloud computing, actor model. [Abstract] [bibtex-entry]



3. Travis Desell and Carlos A. Varela. SALSA Lite: A Hash-Based Actor Runtime for Efficient Local Concurrency. In Concurrent Objects and Beyond, volume 8665 of Lecture Notes in Computer Science, pages 144-166. Springer Berlin Heidelberg, 2014. ISBN: 978-3-662-44470-2. Keyword(s): distributed computing, concurrent programming, programming languages, actor model. [Abstract] [bibtex-entry]



4. C. Varela and G. Agha. What after Java? From Objects to Actors. Computer Networks and ISDN Systems: The International J. of Computer Telecommunications and Networking, 30:573-577, April 1998. Note: Proceedings of the Seventh International Conference on The World Wide Web (WWW7), Brisbane, Australia. Keyword(s): concurrent programming, internet programming languages. [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. P. Kuang, J. Field, and C. A. Varela. Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing. In Agere Workshop at ACM SPLASH 2014 Conference, October 2014. Keyword(s): distributed computing, programming languages. [Abstract] [bibtex-entry]



3. David R. Musser and Carlos A. Varela. Structured Reasoning About Actor Systems. In Proceedings of the 2013 Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2013, New York, NY, USA, pages 37-48, 2013. ACM. ISBN: 978-1-4503-2602-5. Keyword(s): programming languages, actor model, concurrent programming, formal verification. [Abstract] [bibtex-entry]



4. Wei-Jen Wang, Carlos Varela, Fu-Hau Hsu, and Cheng-Hsien Tang. Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations. In Advances in Grid and Pervasive Computing, volume 6104 of Lecture Notes in Computer Science, Bologna, pages 244-255, May 2010. Springer Berlin / Heidelberg. Keyword(s): concurrent programming, actor model, garbage collection, internet programming languages. [Abstract] [bibtex-entry]



5. Wei-Jen Wang, Kaoutar El Maghraoui, John Cummings, Jim Napolitano, Boleslaw K. Szymanski, and Carlos A. Varela. A Middleware Framework for Maximum Likelihood Evaluation over Dynamic Grids. In Second IEEE International Conference on e-Science and Grid Computing, Amsterdam, Netherlands, pages 8 pp, December 2006. Keyword(s): distributed computing, grid computing, middleware, scientific computing. [Abstract] [bibtex-entry]



6. J. Field and C. A. Varela. Transactors: A Programming Model for Maintaining Globally Consistent Distributed State in Unreliable Environments. In ACM Conference on Principles of Programming Languages (POPL 2005), Long Beach, CA, pages 195-208, January 2005. Keyword(s): distributed computing, concurrent programming, coordination models. [Abstract] [bibtex-entry]



7. G. Agha, M. Astley, J. Sheikh, and C. A. Varela. Modular Heterogeneous System Development: A Critical Analysis of Java. In J. Antonio, editor, Proceedings of the Seventh Heterogeneous Computing Workshop (HCW '98), pages 144-155, March 1998. IEEE Computer Society. Keyword(s): distributed computing, internet programming languages, concurrent programming, coordination models. [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. David Musser and Carlos A. Varela. Human-Readable Machine-Checkable Abstract Reasoning about Actor Systems. Technical report 12-01, Rensselaer Polytechnic Institute Department of Computer Science, 2012. Keyword(s): actor model, concurrent programming, formal verification. [Abstract] [bibtex-entry]



3. C. A. Varela, G. Agha, W. Wang, T. Desell, K. E. Maghraoui, J. LaPorte, and A. Stephens. The SALSA Programming Language: 1.1.2 Release Tutorial. Technical report 07-12, Dept. of Computer Science, R.P.I., February 2007. Keyword(s): concurrent programming, internet programming languages. [Abstract] [bibtex-entry]



4. J. Field and C. A. Varela. Transactors: A Programming Model for Maintaining Globally Consistent Distributed State in Unreliable Environments. Technical report 15, Rensselaer Polytechnic Institute Department of Computer Science, Troy, NY, December 2004. Note: Includes proofs of theorems in POPL'05 paper. Keyword(s): distributed computing, concurrent programming, coordination models. [Abstract] [bibtex-entry]

1. Ian W. Dunn. Proving Correctness of Actor Systems using FIFO Communication. Master's thesis, Rensselaer Polytechnic Institute, May 2014. Keyword(s): distributed computing, concurrent programming, internet programming languages, actor model, formal verification. [Abstract] [bibtex-entry]



2. Phillip Kuang. Implementation of the Transactor Model: Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing. Master's thesis, Rensselaer Polytechnic Institute, July 2014. Keyword(s): distributed computing, concurrent programming, coordination models, internet programming languages. [Abstract] [bibtex-entry]



3. Pratik Patel. Speeding Up and Augmenting Mobile Device Applications using Actors and Cloud Computing. Master's thesis, Rensselaer Polytechnic Institute, December 2014. Keyword(s): distributed computing, concurrent programming. [Abstract] [bibtex-entry]



4. Brian Boodman. Implementing and Verifying the Safety of the Transactor Model. Master's thesis, Rensselaer Polytechnic Institute, May 2008. Keyword(s): distributed computing, concurrent programming, coordination models, internet programming languages, formal verification. [Abstract] [bibtex-entry]



5. Mayuresh Kulkarni. A Calculus for Distributed Mobile Computing with Static Resource Access and Usage Control. Master's thesis, Rensselaer Polytechnic Institute, July 2005. Keyword(s): coordination models, concurrent programming. [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