( en | de | ru )

 

Disambiguierung von "Sanán, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee.

, , , und . ACM Trans. Program. Lang. Syst., 43 (1): 2:1-2:46 (2021)

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.

Farahnaz Sananbenesi

Sanan Jörg Badrawy

Wahyudi David

Florian Bodo David

Joachim David

 

Weitere Publikationen von Autoren mit dem selben Namen

An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems., , , und . CoRR, (2018)A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic., , , und . Proc. ACM Program. Lang., 6 (POPL): 1-27 (2022)CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee., , , und . ACM Trans. Program. Lang. Syst., 43 (1): 2:1-2:46 (2021)Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B., , , und . ISSRE, Seite 281-292. IEEE Computer Society, (2015)An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor., , , , und . FM, Volume 9995 von Lecture Notes in Computer Science, Seite 388-405. (2016)Model Checking C Programs with Dynamic Memory Allocation., , und . COMPSAC, Seite 219-226. IEEE Computer Society, (2008)Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B., , und . CoRR, (2015)Compositional Reasoning for Shared-variable Concurrent Programs., , , , , , , und . CoRR, (2016)Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS., und . CAV (2), Volume 11562 von Lecture Notes in Computer Science, Seite 515-533. Springer, (2019)Rely-guarantee Reasoning about Concurrent Reactive Systems: The PiCore Framework, Languages Integration and Applications., und . CoRR, (2023)