1. Carlos A. Varela. Programming Distributed Computing Systems: A Foundational Approach. MIT Press, May 2013. Keyword(s): concurrent programming, distributed computing, cyber physical systems. [bibtex-entry]

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. Shigeru Imai. Elastic Cloud Computing for QoS-Aware Data Processing. PhD thesis, Rensselaer Polytechnic Institute, 2018. Keyword(s): distributed computing, cloud computing, cyber physical systems, data streaming. [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, pages 103-127. Springer International Publishing, Cham, 2022. ISBN: 978-3-030-74568-4. Keyword(s): programming languages, data streaming, cyber physical systems. [Abstract] [bibtex-entry]



2. Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, and Carlos A. Varela. Towards Formal Correctness Envelopes for Dynamic Data-Driven Aerospace Systems. In Frederica Darema and Erik Blasch, editors, Handbook of Dynamic Data-Driven Application Systems. Springer, 2020. Note: Preprint. To appear. Keyword(s): dddas, data streaming, cyber physical systems, distributed computing, formal verification, air traffic management. [Abstract] [bibtex-entry]



3. Shigeru Imai, Erik Blasch, Alessandro Galli, Wennan Zhu, Frederick Lee, and Carlos A. Varela. Airplane Flight Safety Using Error-Tolerant Data Stream Processing. IEEE Aerospace and Electronics Systems Magazine, 32(4):4-17, 2017. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



4. Shigeru Imai, Sida Chen, Wennan Zhu, and Carlos A. Varela. Dynamic Data-Driven Learning for Self-Healing Avionics. Cluster Computing, November 2017. ISSN: 1573-7543. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]

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]



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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



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

1. Sinclair Gurny. Learning Models from Avionics Data Streams. Master's thesis, Rensselaer Polytechnic Institute, May 2020. Keyword(s): cyber physical systems, avionics, machine learning, dddas. [Abstract] [bibtex-entry]



2. Carlos A. Varela. Too many airplane systems rely on too few sensors, April 2019. Note: Article published in TheConversation.com. Keyword(s): cyber physical systems, dddas. [bibtex-entry]



3. Saswata Paul. Emergency Trajectory Generation for Fixed-Wing Aircraft. Master's thesis, Rensselaer Polytechnic Institute, December 2018. Keyword(s): dddas, data streaming, cyber physical systems, trajectory generation. [Abstract] [bibtex-entry]



4. Stacy Patterson and Carlos A. Varela. Steering Complex Systems using a Dynamic, Data-Driven Modeling Approach. Streaming Technology Requirements, Application and Middleware (STREAM2016), March 2016. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



5. Carlos A Varela. Dynamic Data Driven Avionics Systems. Streaming Technology Requirements, Application and Middleware (STREAM2015), October 2015. Keyword(s): programming languages, cyber physical systems, data streaming. [Abstract] [bibtex-entry]



6. Ayse Morali. AcTrust: A Security Model for Trust-based Computing. Master Thesis. Technische Universität Darmstadt, April 2006. Keyword(s): internet programming languages, electronic commerce, cyber physical systems. [Abstract] [bibtex-entry]



7. Ayse Morali. Security Aspects of Digital Actors. Bachelor Thesis. Technische Universität Darmstadt, June 2005. Keyword(s): electronic commerce, cyber physical systems. [Abstract] [bibtex-entry]



8. C. Varela. Worldwide Computing with Coordinated Adaptive Mobile Web Services. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002) Object-Oriented Web Services Workshop, November 2002. Note: Invited speaker. Keyword(s): distributed computing, cyber physical systems, grid computing, electronic commerce. [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