Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models.

P. Zhou, S. Paul, A. Dutta, C. Varela, und F. Kopsaftopoulos. DDDAS, Volume 13984 von Lecture Notes in Computer Science, Seite 44-52. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Heidi Paul-Toebelmann

Volker Pauls

Barbara Paulick

Hans Jürgen Paulsen

Heinz-Josef Paul

Weitere Publikationen von Autoren mit dem selben Namen

Eventual consensus in Synod: verification using a failure-aware actor model.S. Paul, G. Agha, S. Patterson, und C. Varela. Innov. Syst. Softw. Eng., 19 (4): 395-410 (Dezember 2023)VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System.B. Meng, D. Larraz, K. Siu, A. Moitra, J. Interrante, W. Smith, S. Paul, D. Prince, H. Herencia-Zapana, M. Arif und 5 andere Autor(en). Syst., 9 (1): 18 (2021)Automating the Assembly of Security Assurance Case Fragments.B. Meng, S. Paul, A. Moitra, K. Siu, und M. Durling. SAFECOMP, Volume 12852 von Lecture Notes in Computer Science, Seite 101-114. Springer, (2021)Towards Provably Correct Probabilistic Flight Systems.E. Cruz-Camacho, S. Paul, F. Kopsaftopoulos, und C. Varela. DDDAS, Volume 12312 von Lecture Notes in Computer Science, Seite 236-244. Springer, (2020)On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models.P. Zhou, S. Paul, A. Dutta, C. Varela, und F. Kopsaftopoulos. DDDAS, Volume 13984 von Lecture Notes in Computer Science, Seite 44-52. Springer, (2022)SMT-Based Aircraft Conflict Detection and Resolution.S. Paul, B. Meng, und C. Alexander. NFM, Volume 14627 von Lecture Notes in Computer Science, Seite 186-203. Springer, (2024)Formal Methods in Requirements Engineering: Survey and Future Directions.R. Lorch, B. Meng, K. Siu, A. Moitra, M. Durling, S. Paul, S. Varanasi, und C. McMillan. FormaliSE@ICSE, Seite 88-99. ACM, (2024)Assurance Case Synthesis from a Curated Semantic Triplestore.S. Paul, B. Meng, K. Siu, A. Moitra, und M. Durling. SAFECOMP, Volume 14988 von Lecture Notes in Computer Science, Seite 84-99. Springer, (2024)Formal verification of timely knowledge propagation in airborne networks.S. Paul, C. McCarthy, S. Patterson, und C. Varela. Sci. Comput. Program., (2025)Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model.S. Paul, G. Agha, S. Patterson, und C. Varela. NFM, Volume 12673 von Lecture Notes in Computer Science, Seite 249-267. Springer, (2021)

BibSonomy

Disambiguierung von "Paul, Saswata"