Carlos Varela
Rensselaer Polytechnic Institute
H-index: 28
North America-United States
Top articles of Carlos Varela
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Eventual consensus in Synod: verification using a failure-aware actor model | Innovations in systems and software engineering | Saswata Paul Gul Agha Stacy Patterson Carlos Varela | 2023/12 |
Formal verification of safety-critical aerospace systems | IEEE Aerospace and Electronic Systems Magazine | Saswata Paul Elkin Cruz Airin Dutta Ankita Bhaumik Erik Blasch | 2023/1/25 |
Formal safety envelopes for provably accurate state classification by data-driven flight models | Journal of Aerospace Information Systems | Elkin Cruz-Camacho Ahmad Amer Fotis Kopsaftopoulos Carlos A Varela | 2022/12 |
A continuum approach for collaborative task processing in UAV MEC networks | Lorson Blair Carlos A Varela Stacy Patterson | 2022/7/10 | |
On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models | Peiyuan Zhou Saswata Paul Airin Dutta Carlos Varela Fotis Kopsaftopoulos | 2022/10/6 | |
Making Maximally Ethical Decisions via Cognitive Likelihood and Formal Planning | Michael Giancola Selmer Bringsjord Naveen Sundar Govindarajulu Carlos Varela | 2022/9/8 | |
An Algorithm for Reconstructing the Orphan Stream Progenitor with MilkyWay@ home Volunteer Computing | arXiv preprint arXiv:2102.07257 | Siddhartha Shelton Heidi Jo Newberg Jake Weiss Jacob S Bauer Matthew Arsenault | 2021/2/14 |
ACCORDANT: A domain specific-model and DevOps approach for big data analytics architectures | Journal of Systems and Software | Camilo Castellanos Carlos A Varela Dario Correal | 2021/2/1 |
Formal guarantees of timely progress for distributed knowledge propagation | Saswata Paul Stacy Patterson Carlos A Varela | 2021 | |
Towards learning spatio-temporal data stream relationships for failure detection in avionics | Sida Chen Shigeru Imai Wennan Zhu Carlos A Varela | 2018 | |
Verification of eventual consensus in synod using a failure-aware actor model | Saswata Paul Gul A Agha Stacy Patterson Carlos A Varela | 2021/5/19 | |
Dynamic data-driven formal progress envelopes for distributed algorithms | Saswata Paul Fotis Kopsaftopoulos Stacy Patterson Carlos A Varela | 2020 | |
Aircraft Weight Estimation During Take-off Using Declarative Machine Learning | Sinclair Gurny Jason Falvo Carlos Varela | 2020/10/11 | |
Data-driven state awareness for fly-by-feel aerial vehicles via adaptive time series and gaussian process regression models | Dynamic Data-Driven Applications Systems (InfoSymbiotics/DDDAS 2020)(Oct 2020) | Shabbir Ahmed Ahmad Amer Carlos Varela Fotis Kopsaftopoulos | 2020/9 |
Collaborative situational awareness for conflict-aware flight planning | Saswata Paul Stacy Patterson Carlos A Varela | 2020 | |
Ethical reasoning for autonomous agents under uncertainty | International Conference on Robot Ethics and Standards (ICRES) | Michael Giancola Selmer Bringsjord NAVEEN SUNDAR Govindarajulu CARLOS Varela | 2020/9/28 |
Towards formal correctness envelopes for dynamic data-driven aerospace systems | Saswata Paul Fotis Kopsaftopoulos Stacy Patterson Carlos A. Varela | 2020 | |
A model-driven architectural design method for big data analytics applications | Camilo Castellanos Boris Pérez Darío Correal Carlos A Varela | 2020/3/16 | |
Towards Provably Correct Probabilistic Flight Systems | Elkin Cruz-Camacho Saswata Paul Fotis Kopsaftopoulos Carlos A Varela | 2020 | |
The Journal of Systems & Software | Camilo Castellanos Carlos A Varela Dario Correal | 2020 |