1. Lorson Blair, Carlos A. Varela, and Stacy Patterson. A Continuum Approach for Collaborative Task Processing in UAV MEC Networks. In 2022 IEEE 15th International Conference on Cloud Computing (CLOUD), pages 247-256, 2022. Keyword(s): Edge Computing, Cloud Computing, Distributed Computing, Cyber Physical Systems. [Abstract] [bibtex-entry]

1. Ankita Bhaumik, Airin Dutta, Fotis Kopsaftopoulos, and Carlos A. Varela. Proving the Correctness of Multicopter Rotor Fault Detection and Identification Software. In The 40th AIAA/IEEE Digital Avionics Systems Conference (DASC 2021), October 2021. Keyword(s): fault detection, formal verification, multicopter, declarative programming, Dafny. [Abstract] [bibtex-entry]



2. Baoluo Meng, Saswata Paul, Abha Moitra, Kit Siu, and Michael Durling. Automating the Assembly of Security Assurance Case Fragments. In Ibrahim Habli, Mark Sujan, and Friedemann Bitsch, editors, Computer Safety, Reliability, and Security, Cham, pages 101-114, 2021. Springer International Publishing. ISBN: 978-3-030-83903-1. Keyword(s): cyber security, formal verification, assurance case. [Abstract] [bibtex-entry]



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



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



5. Vidhya Tekken Valapil, Heber Herencia-Zapana, Michael Durling, Kristen Armstrong, Saswata Paul, Szabolcs Borgyos, Abha Moitra, and William Premerlani. Towards Formalization of a Data Model for Operational Risk Assessment. In The 40th AIAA/IEEE Digital Avionics Systems Conference (DASC 2021), San Antonio, TX, October 2021. Note: Best Paper Award. Keyword(s): high assurance, air traffic management, formal methods. [Abstract] [bibtex-entry]

1. Shabbir Ahmed, Ahmad Amer, Carlos Varela, and Fotis Kopsaftopoulos. Data-Driven State Awareness for Fly-by-Feel Aerial Vehicles via Adaptive Time Series and Gaussian Process Regression Models. In Dynamic Data-Driven Application Systems (InfoSymbiotics/DDDAS 2020), Cambridge, MA, October 2020. [Abstract] [bibtex-entry]



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



3. Elkin Cruz-Camacho, Saswata Paul, Fotis Kopsaftopoulos, and Carlos A. Varela. Towards Provably Correct Probabilistic Flight Systems. In Frederica Darema, Erik Blasch, Sai Ravela, and Alex Aved, editors, Dynamic Data Driven Application Systems, Cham, pages 236-244, 2020. Springer International Publishing. ISBN: 978-3-030-61725-7. Keyword(s): formal verification, runtime verification. [Abstract] [bibtex-entry]



4. Anirban Das, Andrew Leaf, Carlos A. Varela, and Stacy Patterson. Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications. In IEEE International Conference on Cloud Computing, Beijing, China, October 2020. Keyword(s): distributed computing, serverless computing, middleware. [Abstract] [bibtex-entry]



5. Michael Giancola, Selmer Bringsjord, Naveen Sundar Govindarajulu, and Carlos Varela. Ethical Reasoning for Autonomous Agents Under Uncertainty. In International Conference on Robot Ethics and Standards (ICRES) 2020, Taipei, Taiwan, September 2020. [Abstract] [bibtex-entry]



6. Sinclair Gurny, Jason Falvo, and Carlos A. Varela. Aircraft Weight Estimation During Takeoff Using Declarative Machine Learning. In The 39th AIAA/IEEE Digital Avionics Systems Conference (DASC 2020), October 2020. Keyword(s): cyber physical systems, avionics, machine learning, dddas. [Abstract] [bibtex-entry]



7. Baoluo Meng, Abha Moitra, Andrew W. Crapo, Saswata Paul, Kit Siu, Michael Durling, Daniel Prince, and Heber Herencia-Zapana. Towards Developing Formalized Assurance Cases. In The 39th AIAA/IEEE Digital Avionics Systems Conference (DASC 2020), October 2020. Keyword(s): cyber security, formal verification, assurance case. [Abstract] [bibtex-entry]



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



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

1. E. Blasch, J. D. Ashdown, C. A. Varela, F. Kopsaftopoulos, and R. H. Newkirk. Dynamic Data Driven Analytics for Multi-domain Environments. In Next-Generation Sensor Systems and Applications Track at 2019 SPIE Defense + Commercial Sensing Conference, Baltimore, MD, April 2019. Keyword(s): data streaming, dddas, cyber physical systems. [Abstract] [bibtex-entry]



2. S. Breese, F. Kopsaftopoulos, and C. A. Varela. Towards Proving Runtime Properties of Data-Driven Systems Using Safety Envelopes. In The 12th International Workshop on Structural Health Monitoring, Stanford, CA, September 2019. Keyword(s): cyber physical systems, dddas, formal verification. [Abstract] [bibtex-entry]



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



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



5. Shigeru Imai, Frederick Hole, and Carlos A. Varela. Self-Healing Data Streams Using Multiple Models of Analytical Redundancy. In The 38th AIAA/IEEE Digital Avionics Systems Conference (DASC 2019), San Diego, CA, September 2019. Keyword(s): pilots, data streaming, dddas, cyber physical systems. [Abstract] [bibtex-entry]



6. Heidi Jo Newberg, Siddhartha Shelton, Eric Mendelsohn, Jake Weiss, Matthew Arsenault, Jacob S. Bauer, Travis Desell, Roland Judd, Malik Magdon-Ismail, Lee A. Newberg, Matthew Newby, Clayton Rayment, Colin Rice, Boleslaw K. Szymanski, Jeffery M. Thompson, Steve Ulin, Carlos Varela, Lawrence M. Widrow, and Benjamin A. Willett. Streams and the Milky Way dark matter halo. In , volume 14, pages 75-82, June 2019. Note: Publisher: Cambridge University Press. ISSN: 1743-9213, 1743-9221. Keyword(s): cosmology: dark matter, Galaxy: halo, methods: n-body simulations. [Abstract] [bibtex-entry]



7. Saswata Paul, Stacy Patterson, and Carlos A. Varela. Conflict-Aware Flight Planning for Avoiding Near Mid-Air Collisions. In The 38th AIAA/IEEE Digital Avionics Systems Conference (DASC 2019), San Diego, CA, September 2019. Note: Nominated for best student paper award. Keyword(s): cyber physical systems, athena, air traffic management, formal verification. [Abstract] [bibtex-entry]

1. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Uncertainty-Aware Elastic Virtual Machine Scheduling for Stream Processing Systems. In 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2018), Washington, DC, May 2018. Keyword(s): distributed computing, cloud computing, stream processing. [Abstract] [bibtex-entry]



2. Shigeru Imai, Carlos A. Varela, and Stacy Patterson. A Performance Study of Geo-Distributed IoT Data Aggregation for Fog Computing. In 1st managed Fog-to-Cloud (mF2C) Workshop, Zurich, Switzerland, December 2018. Keyword(s): distributed computing, cloud computing. [Abstract] [bibtex-entry]



3. Saswata Paul, Frederick Hole, Alexandra Zytek, and Carlos A. Varela. Wind-Aware Trajectory Planning For Fixed-Wing Aircraft in Loss of Thrust Emergencies. In The 37th AIAA/IEEE Digital Avionics Systems Conference (DASC 2018), London, England, pages 558-567, September 2018. Keyword(s): dddas, data streaming, cyber physical systems, trajectory generation. [Abstract] [bibtex-entry]

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



2. Shigeru Imai, Stacy Patterson, and Carlos A. Varela. Maximum Sustainable Throughput Prediction for Data Stream Processing over Public Clouds. In 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2017), Madrid, Spain, May 2017. Keyword(s): distributed computing, cloud computing, stream processing. [Abstract] [bibtex-entry]



3. Saswata Paul, Frederick Hole, Alexandra Zytek, and Carlos A. Varela. Flight Trajectory Planning for Fixed Wing Aircraft in Loss of Thrust Emergencies. In Dynamic Data-Driven Application Systems (InfoSymbiotics/DDDAS 2017), Cambridge, MA, August 2017. Keyword(s): dddas, cyber physical systems, data streaming, trajectory generation. [Abstract] [bibtex-entry]

1. Sida Chen, Shigeru Imai, Wennan Zhu, and Carlos A. Varela. Towards Learning Spatio-Temporal Data Stream Relationships for Failure Detection in Avionics. In Dynamic Data-Driven Application Systems (DDDAS 2016), Hartford, CT, August 2016. Note: Appears in Handbook of Dynamic Data-Driven Application Systems. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]

1. Travis Desell and Carlos A. Varela. A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite. In Agere Workshop at ACM SPLASH 2015 Conference, October 2015. Keyword(s): distributed computing, concurrent programming, programming languages. [Abstract] [bibtex-entry]



2. Shigeru Imai, Alessandro Galli, and Carlos A. Varela. Dynamic Data-Driven Avionics Systems: Inferring Failure Modes from Data Streams. In Dynamic Data-Driven Application Systems (DDDAS 2015), Reykjavik, Iceland, June 2015. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]

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

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



2. Shigeru Imai, Richard Klockowski, and Carlos A. Varela. Self-Healing Spatio-Temporal Data Streams Using Error Signatures. In 2nd International Conference on Big Data Science and Engineering (BDSE 2013), Sydney, Australia, December 2013. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]



3. Richard S. Klockowski, Shigeru Imai, Colin Rice, and Carlos A. Varela. Autonomous Data Error Detection and Recovery in Streaming Applications. In Proceedings of the International Conference on Computational Science (ICCS 2013). Dynamic Data-Driven Application Systems (DDDAS 2013) Workshop, pages 2036-2045, May 2013. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]



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

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



2. Shigeru Imai and Carlos A. Varela. A Programming Model for Spatio-Temporal Data Streaming Applications. In Dynamic Data-Driven Application Systems (DDDAS 2012), Omaha, Nebraska, pages 1139-1148, June 2012. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



3. Shigeru Imai and Carlos A. Varela. Programming Spatio-Temporal Data Streaming Applications with High-Level Specifications. In 3rd ACM SIGSPATIAL International Workshop on Querying and Mining Uncertain Spatio-Temporal Data (QUeST) 2012, Redondo Beach, California, USA, November 2012. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]

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



2. Travis Desell, Benjamin A. Willet, Matthew Arsenault, Heidi Newberg, Malik Magdon-Ismail, Boleslaw Szymanski, and Carlos A. Varela. Evolving N-Body Simulations to Determine the Origin and Structure of the Milky Way Galaxy's Halo using Volunteer Computing. In IPDPS'11 Fifth Workshop on Desktop Grids and Volunteer Computing Systems (PCGrid 2011), 2011. Keyword(s): distributed computing, scientific computing. [Abstract] [bibtex-entry]



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



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

1. Travis Desell, David P. Anderson, Malik Magdon-Ismail, Heidi Newberg, Boleslaw Szymanski, and Carlos A. Varela. An Analysis of Massively Distributed Evolutionary Algorithms. In Proceedings of the 2010 International Conference on Evolutionary Computation (IEEE CEC 2010), Barcelona, Spain, pages 1-8, July 2010. Keyword(s): distributed computing, evolutionary algorithms, volunteer computing. [Abstract] [bibtex-entry]



2. Travis Desell, Malik Magdon-Ismail, Boleslaw Szymanski, Carlos A. Varela, Heidi Newberg, and David P. Anderson. Validating Evolutionary Algorithms on Volunteer Computing Grids. In Proceedings of the 10th International Conference on Distributed Applications and Interoperable Systems, Amsterdam, Netherlands, pages 29-41, June 2010. Keyword(s): distributed computing, evolutionary algorithms, volunteer computing, validation, scientific computing. [Abstract] [bibtex-entry]



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



4. J. Vickers, H. Newberg, N. Cole, T. Desell, B. Szymanski, M. Magdon-Ismail, and C. Varela. The Effect of Orientation in Cross Sectional Studies. In American Astronomical Society Meeting Abstracts #215, volume 42 of Bulletin of the American Astronomical Society, pages #413.21, January 2010. Note: Provided by the SAO/NASA Astrophysics Data System. Keyword(s): distributed computing, astroinformatics. [Abstract] [bibtex-entry]



5. Ping Wang, Wei Huang, and Carlos A. Varela. Impact of Virtual Machine Granularity on Cloud Computing Workloads Performance. In Workshop on Autonomic Computational Science (ACS'2010), Brussels, Belgium, pages 393-400, October 2010. Keyword(s): distributed computing, cloud Computing, granularity, malleability, performance, virtual machine. [Abstract] [bibtex-entry]



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

1. Nathan Cole, Heidi Jo Newberg, Malik Magdon-Ismail, Travis Desell, Carlos Varela, and Boleslaw Szymanski. A Study of the Sagittarius Tidal Stream Using Maximum Likelihood. In ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS XVIII, volume 411, Quebec, pages 221-225, November 2009. Keyword(s): distributed computing, scientific computing. [Abstract] [bibtex-entry]



2. Travis Desell, Malik Magdon-Ismail, Boleslaw Szymanski, Carlos A. Varela, Heidi Newberg, and Nathan Cole. Robust Asynchronous Optimization for Volunteer Computing Grids. In Proceedings of the 5th IEEE International Conference on e-Science (eScience2009), Oxford, UK, pages 263-270, December 2009. Keyword(s): distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]



3. Travis Desell, Anthony Waters, Malik Magdon-Ismail, Boleslaw Szymanski, Carlos A. Varela, Matthew Newby, Heidi Newberg, Andreas Przystawik, and Dave Anderson. Accelerating the MilkyWay@Home volunteer computing project with GPUs. In Proceedings of the 8th International Conference on Parallel Processing and Applied Mathematics (PPAM 2009), Wroclaw, Poland, pages 13 pp., September 2009. Keyword(s): distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]



4. Alexandre di Costanzo, Chao Jin, Carlos A. Varela, and Rajkumar Buyya. Enabling Computational Steering with an Asynchronous-Iterative Computation Framework. In Proceedings of the 5th IEEE International Conference on e-Science (eScience2009), Oxford, UK, pages 8 pp., December 2009. Keyword(s): distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]

1. Nathan Cole, Heidi Jo Newberg, Malik Magdon-Ismail, Travis Desell, Boleslaw Szymanski, and Carlos Varela. Tracing the Sagittarius Tidal Stream with Maximum Likelihood. In CLASSIFICATION AND DISCOVERY IN LARGE ASTRONOMICAL SURVEYS, volume 1082, pages 216-220, October 2008. Keyword(s): distributed computing, scientific computing. [Abstract] [bibtex-entry]



2. Travis Desell, Boleslaw Szymanski, and Carlos A. Varela. An Asynchronous Hybrid Genetic-Simplex Search for Modeling the Milky Way Galaxy using Volunteer Computing. In Genetic and Evolutionary Computation Conference (GECCO 2008), Atlanta, Georgia, pages 921-928, July 2008. Keyword(s): distributed computing, astroinformatics, grid computing, scientific computing. [Abstract] [bibtex-entry]



3. Travis Desell, Boleslaw Szymanski, and Carlos A. Varela. Asynchronous Genetic Search for Scientific Modeling on Large-Scale Heterogeneous Environments. In Proceedings of the 17th International Heterogeneity in Computing Workshop (HCW/IPDPS'08), Miami, FL, pages 12 pp., April 2008. IEEE. Keyword(s): distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]

1. Travis Desell, Nathan Cole, Malik Magdon-Ismail, Heidi Newberg, Boleslaw Szymanski, and Carlos A. Varela. Distributed and Generic Maximum Likelihood Evaluation. In 3rd IEEE International Conference on e-Science and Grid Computing (eScience2007), Bangalore, India, pages 337-344, December 2007. Note: Best paper (finalist) award. Keyword(s): distributed computing, scientific computing, grid computing, supercomputing, internet computing, distributed computing, scientific computing, middleware, grid computing. [Abstract] [bibtex-entry]



2. Kaoutar El Maghraoui, Travis Desell, Boleslaw K. Szymanski, and Carlos A. Varela. Dynamic Malleability in Iterative MPI Applications. In Proceedings of Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), Rio de Janeiro, Brazil, pages 591-598, May 2007. IEEE Computer Society. Note: Best paper award nominee. Keyword(s): concurrent programming, distributed computing, middleware, grid computing. [Abstract] [bibtex-entry]



3. Boleslaw Szymanski, Travis Desell, and Carlos A. Varela. The Effect of Heterogeneity on Asynchronous Panmictic Genetic Search. In Proc. of the Seventh International Conference on Parallel Processing and Applied Mathematics (PPAM'2007), LNCS, Gdansk, Poland, pages 457-468, September 2007. Keyword(s): distributed computing, concurrent programming, scientific computing. [Abstract] [bibtex-entry]

1. Travis Desell, Kaoutar El Maghraoui, and Carlos A. Varela. Malleable Components for Scalable High Performance Computing. In Proceedings of the HPDC'15 Workshop on HPC Grid programming Environments and Components (HPC-GECO/CompFrame), Paris, France, pages 37-44, June 2006. IEEE Computer Society. Note: Best paper award. Keyword(s): distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



2. Kaoutar El Maghraoui, Alok Meghranjani, Tamar Eilam, Michael H. Kalantar, and Alexander V. Konstantinou. Model Driven Provisioning: Bridging the Gap Between Declarative Object Models and Procedural Provisioning Tools.. In Proc. of Middleware 2006, ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, Lecture Notes in Computer Science, pages 404-423, 2006. Springer. Keyword(s): distributed computing, middleware. [Abstract] [bibtex-entry]



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



4. Wei-Jen Wang and Carlos A. Varela. Distributed Garbage Collection for Mobile Actor Systems: The Pseudo Root Approach. In Proceedings of the First International Conference on Grid and Pervasive Computing (GPC 2006), volume 3947 of Lecture Notes in Computer Science, Taichung, Taiwan, pages 360-372, May 2006. Springer. Keyword(s): distributed computing, grid computing, internet programming languages. [Abstract] [bibtex-entry]

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



2. Kaoutar El Maghraoui, Boleslaw Szymanski, and Carlos A. Varela. An Architecture for Reconfigurable Iterative MPI Applications in Dynamic Environments. In R. Wyrzykowski, J. Dongarra, N. Meyer, and J. Wasniewski, editors, Proc. of the Sixth International Conference on Parallel Processing and Applied Mathematics (PPAM'2005), number 3911 of LNCS, Poznan, Poland, pages 258-271, September 2005. Keyword(s): concurrent programming, distributed computing, grid computing, middleware. [Abstract] [bibtex-entry]



3. Ayse Morali, Leonardo Varela, and Carlos A. Varela. An Electronic Marketplace: Agent-based Coordination Models for Online Auctions. In XXXI Conferencia Latinoamericana de Informática, Cali, Colombia, pages 573-586, October 2005. Keyword(s): electronic commerce, concurrent programming, software agents, cyber physical systems. [Abstract] [bibtex-entry]



4. Jon Purnell, Malik Magdon-Ismail, and Heidi Jo Newberg. A Probabilistic Approach to Finding Geometric Objects in Spatial Datasets of the Milky Way. In Foundations of Intelligent Systems, volume 3488/2005, pages 485-493, 2005. Springer Berlin / Heidelberg. Keyword(s): scientific computing, distributed computing. [Abstract] [bibtex-entry]



5. Camron Tolman and Carlos A. Varela. A Fault-Tolerant Home-Based Naming Service For Mobile Agents. In XXXI Conferencia Latinoamericana de Informática, Cali, Colombia, October 2005. Keyword(s): distributed computing, grid computing, middleware, software agents. [Abstract] [bibtex-entry]

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



2. Travis Desell, Kaoutar El Maghraoui, and Carlos A. Varela. Load Balancing of Autonomous Actors over Dynamic Networks. In Proceedings of the Hawaii International Conference on System Sciences, HICSS-37 Software Technology Track, pages 1-10, January 2004. Keyword(s): distributed computing, grid computing, software agents, middleware. [Abstract] [bibtex-entry]

1. Kaoutar El Maghraoui, J. Flaherty, B. Szymanski, J. Teresco, and Carlos A. Varela. Adaptive Computation over Dynamic and Heterogeneous Networks. In Proc. of the Fifth International Conference on Parallel Processing and Applied Mathematics (PPAM'2003), number 3019 of LNCS, Czestochowa, Poland, pages 1083-1090, September 2003. Keyword(s): grid computing, middleware. [Abstract] [bibtex-entry]



2. B. Szymanski, Carlos A. Varela, J. Cummings, and J. Napolitano. Dynamically Reconfigurable Scientific Computing on Large-Scale Heterogeneous Grids. In Proc. of the Fifth International Conference on Parallel Processing and Applied Mathematics (PPAM'2003), volume 3019 of LNCS, Czestochowa, Poland, pages 419-430, September 2003. Note: Invited paper. Keyword(s): distributed computing, grid computing. [Abstract] [bibtex-entry]



3. Robin Toll and Carlos A. Varela. Mobility and Security in Worldwide Computing. In Proceedings of the 9th ECOOP Workshop on Mobile Object Systems, Darmstadt, Germany, July 2003. Keyword(s): distributed computing, grid computing, software agents, internet programming languages. [Abstract] [bibtex-entry]

1. J. Field and C. A. Varela. Toward a Programming Model for Building Reliable Systems with Distributed State. In Proceedings of the 1st International Workshop on Foundations of Coordination Languages and Software Architectures (affiliated with CONCUR), Brno, Czech Republic, pages 328-346, August 2002. Keyword(s): distributed computing, concurrent programming, coordination models. [Abstract] [bibtex-entry]

1. C. Varela and G. Agha. A Hierarchical Model for Coordination of Concurrent Activities. In P. Ciancarini and A. Wolf, editors, Third International Conference on Coordination Languages and Models (COORDINATION '99), LNCS 1594, Berlin, pages 166-182, April 1999. Springer-Verlag. Keyword(s): concurrent programming, coordination models. [Abstract] [bibtex-entry]

1. 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. R. delaRosa, M. Franky, P. Figueroa, and C. A. Varela. Objetos Móviles en un Sistema Distribuido sobre el WWW. In XXIII Conferencia Latinoamericana de Informática, volume II, Valparaiso, Chile, pages 567-578, November 1997. Keyword(s): distributed computing, grid computing. [Abstract] [bibtex-entry]

1. N. Akkiraju, H. Edelsbrunner, M. Facello, P. Fu, E. Mucke, and C. A. Varela. Alpha Shapes: Definitions and Software. In Proceedings of the 1st International Computational Geometry Software Workshop, February 1995. Keyword(s): distributed computing, computational geometry. [Abstract] [bibtex-entry]

1. C. Varela. Automating Database Provision for the World-Wide Web and Mosaic. In Proceedings of the Ninth International Symposium on Information Systems, Kobe, Japan, October 1994. Note: Invited speaker. Keyword(s): distributed computing, databases and the web. [bibtex-entry]



2. C. Varela and C. Hayes. Providing Data on the Web: From Examples to Programs. In Proceedings of the Second International Conference on the World-Wide Web, Chicago, U.S.A., October 1994. Keyword(s): distributed computing, databases and the web. [Abstract] [bibtex-entry]



3. C. Varela and C. Hayes. Zelig: Schema-Based Generation of Soft WWW Database Applications. In Proceedings of the First International Conference on the World-Wide Web, Geneva, Switzerland, May 1994. Keyword(s): distributed computing, databases and the web. [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