( en | de | ru )

 

Disambiguation of "Paul, Saswata"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Methods in Requirements Engineering: Survey and Future Directions.

, , , , , , , and . FormaliSE@ICSE, page 88-99. ACM, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Katarina Paulsson

Surajit Paul

Christina Paulus

Christian Pauli

Steffen Paulekuhn

 

Other publications of authors with the same name

Eventual consensus in Synod: verification using a failure-aware actor model., , , and . Innov. Syst. Softw. Eng., 19 (4): 395-410 (December 2023)On Formal Verification of Data-Driven Flight Awareness: Leveraging the Cramér-Rao Lower Bound of Stochastic Functional Time Series Models., , , , and . DDDAS, volume 13984 of Lecture Notes in Computer Science, page 44-52. Springer, (2022)Towards Provably Correct Probabilistic Flight Systems., , , and . DDDAS, volume 12312 of Lecture Notes in Computer Science, page 236-244. Springer, (2020)Formal Methods in Requirements Engineering: Survey and Future Directions., , , , , , , and . FormaliSE@ICSE, page 88-99. ACM, (2024)SMT-Based Aircraft Conflict Detection and Resolution., , and . NFM, volume 14627 of Lecture Notes in Computer Science, page 186-203. Springer, (2024)VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System., , , , , , , , , and 5 other author(s). Syst., 9 (1): 18 (2021)Automating the Assembly of Security Assurance Case Fragments., , , , and . SAFECOMP, volume 12852 of Lecture Notes in Computer Science, page 101-114. Springer, (2021)Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model., , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 249-267. Springer, (2021)Flight Trajectory Planning for Fixed-Wing Aircraft in Loss of Thrust Emergencies., , , and . CoRR, (2017)Dynamic Data-Driven Formal Progress Envelopes for Distributed Algorithms., , , and . DDDAS, volume 12312 of Lecture Notes in Computer Science, page 245-252. Springer, (2020)