Carlos A. Varela

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Saswata Paul

> Home > Persons > Carlos A. Varela

Publications

2025
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/PaulMPV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/PaulMPV25
Saswata Paul, Chris McCarthy, Stacy Patterson, Carlos A. Varela:
Formal verification of timely knowledge propagation in airborne networks. Sci. Comput. Program. 239: 103184 (2025)
2023
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/PaulAPV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/PaulAPV23
Saswata Paul, Gul Agha, Stacy Patterson, Carlos A. Varela:
Eventual consensus in Synod: verification using a failure-aware actor model. Innov. Syst. Softw. Eng. 19(4): 395-410 (2023)
2022
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/dddas/ZhouPDVK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dddas/ZhouPDVK22
Peiyuan Zhou, Saswata Paul, Airin Dutta, Carlos A. Varela, Fotis Kopsaftopoulos:
On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models. DDDAS 2022: 44-52
2021
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/PaulAPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/PaulAPV21
Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. NFM 2021: 249-267
[c55]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2110-12587
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-12587
Saswata Paul, Stacy Patterson, Carlos A. Varela:
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation. FMAS 2021: 73-91
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-14576
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-14576
Saswata Paul, Gul A. Agha, Stacy Patterson, Carlos A. Varela:
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model. CoRR abs/2103.14576 (2021)
2020
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/dddas/Cruz-CamachoPKV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dddas/Cruz-CamachoPKV20
Elkin Cruz-Camacho, Saswata Paul, Fotis Kopsaftopoulos, Carlos A. Varela:
Towards Provably Correct Probabilistic Flight Systems. DDDAS 2020: 236-244
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/dddas/PaulKPV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dddas/PaulKPV20
Saswata Paul, Fotis Kopsaftopoulos, Stacy Patterson, Carlos A. Varela:
Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms. DDDAS 2020: 245-252
2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1711-00716
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-00716
Saswata Paul, Frederick Hole, Alexandra Zytek, Carlos A. Varela:
Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies. CoRR abs/1711.00716 (2017)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.