( en | de | ru )

 

Disambiguation of "Pereira, Mário"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols.

, , , , and . Proc. ACM Program. Lang., 7 (ICFP): 847-877 (August 2023)

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.

Simone Marion

Ernst Marioth-Wirtz

Martin Marioth

Anneliese Marioth

Ilias Mariolakos

 

Other publications of authors with the same name

Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols., , , , and . Proc. ACM Program. Lang., 7 (ICFP): 847-877 (August 2023)A tool for proving Michelson Smart Contracts in WHY3*., , , and . Blockchain, page 409-414. IEEE, (2020)Evaluation of Underwater IEEE 802.11 Networks at VHF and UHF Frequency Bands using Software Defined Radios., , , , , and . WUWNet, page 16:1-16:5. ACM, (2015)Producing All Ideals of a Forest, Formally (Verification Pearl)., and . VSTTE, volume 9971 of Lecture Notes in Computer Science, page 46-55. (2016)GameAAL - an AAL solution based on Gamification and Machine Learning Techniques., , , , and . CIBCB, page 1-4. IEEE, (2019)GOSPEL - Providing OCaml with a Formal Specification Language., , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 484-501. Springer, (2019)Cameleer: A Deductive Verification Tool for OCaml., and . CAV (2), volume 12760 of Lecture Notes in Computer Science, page 677-689. Springer, (2021)Leroy and Blazy Were Right: Their Memory Model Soundness Proof is Automatable., , and . VSTTE, volume 13800 of Lecture Notes in Computer Science, page 20-32. Springer, (2022)Liquid Intersection Types., , and . ITRS, volume 177 of EPTCS, page 24-42. (2014)Auto-active Verification of Graph Algorithms, Written in OCaml., and . CoRR, (2022)