E-LIB Suche - Ergebnisse für: Timany, Amin

1

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
doi:10.5281/zenodo.7993620. , 2023

2

Cerise: Program Verification on a Capability Machine in the..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
info:eu-repo/semantics/altIdentifier/doi/10.1145/nnnnnnn.nnnnnnn. , 2023

Link: https://hal.science/hal-..

3

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
2475-1421. , 2023

Link: http://hdl.handle.net/10..

4

VMSL:A Separation Logic for Mechanised Robust Safety of Vir..:

Liu, Zongyuan ; Stepanenko, Sergei ; Pichon-Pharabod, Jean...
Liu , Z , Stepanenko , S , Pichon-Pharabod , J , Timany , A , Askarov , A & Birkedal , L 2023 , ' VMSL : A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A ' , Proceedings of the ACM on Programming Languages , vol. 7 , pp. 1438-1462 . https://doi.org/10.1145/3591279. , 2023

Link: https://pure.au.dk/porta..

5

Modular Verification of State-Based CRDTs in Separation Log..:

Nieto Rodriguez, Abel ; Daby-Seesaram, Arnaud ; Gondelman, Léon..
https://pure.au.dk/portal/en/publications/d5b5331f-b446-407b-8894-f17930544cf4. , 2023

Link: https://pure.au.dk/porta..

6

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
doi:10.5281/zenodo.7993620. , 2023

Link: https://zenodo.org/recor..

7

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
doi:10.5281/zenodo.7993620. , 2023

Link: https://zenodo.org/recor..

8

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
doi:10.5281/zenodo.7993620. , 2023

Link: https://zenodo.org/recor..

9

Cerise: Program Verification on a Capability Machine in the..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3623510. , 2023

Link: https://hal.science/hal-..

10

Cerise: Program Verification on a Capability Machine in the..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
https://pure.au.dk/portal/en/publications/0b91fce5-ff15-48be-b077-83035db76d32. , 2023

Link: https://pure.au.dk/porta..

11

Modular Denotational Semantics for Effects with Guarded Int..:

Frumin, Dan ; Timany, Amin ; Birkedal, Lars
http://arxiv.org/abs/2307.08514. , 2023

Link: http://arxiv.org/abs/230..

12

Cerise: Program Verification on a Capability Machine in the..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
info:eu-repo/semantics/altIdentifier/doi/10.1145/nnnnnnn.nnnnnnn. , 2023

Link: https://hal.science/hal-..

13

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
Gondelman , L , Hinrichsen , J K , Pereira , M , Timany , A & Birkedal , L 2023 , ' Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols ' , Proceedings of the ACM on Programming Languages , vol. 7 , no. ICFP , 217 , pp. 847-877 . https://doi.org/10.1145/3607859. , 2023

Link: https://pure.au.dk/porta..

14

Verifying Reliable Network Components in a Distributed Sepa..:

Gondelman, Léon ; Hinrichsen, Jonas Kastberg ; Pereira, Mário..
doi:10.5281/zenodo.7993620. , 2023

Link: https://zenodo.org/recor..

15

Cerise: Program Verification on a Capability Machine in the..:

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3623510. , 2023

Link: https://hal.science/hal-..