João C. Pereira

Orcid: 0000-0003-4671-4132

According to our database¹, João C. Pereira authored at least 9 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2025

Artifact for the paper "Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router".

[BibT_eX]

[DOI]

Dionysios Spiliopoulos

Dataset, August, 2025

Artifact for Modular Reasoning about Global Variables and Their Initialization.

[BibT_eX]

[DOI]

Dataset, June, 2025

A Refinement Methodology for Distributed Programs in Rust (artefact).

[BibT_eX]

[DOI]

Aurel Bílý

João C. Pereira

Peter Müller

Dataset, June, 2025

Modular Reasoning about Global Variables and Their Initialization.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

A Refinement Methodology for Distributed Programs in Rust.

[BibT_eX]

[DOI]

Aurel Bílý

João C. Pereira

Peter Müller

Proc. ACM Program. Lang., 2025

Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router.

[BibT_eX]

[DOI]

Dionysios Spiliopoulos

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

Protocols to Code: Formal Verification of a Next-Generation Internet Router.

[BibT_eX]

[DOI]

Dionysios Spiliopoulos

CoRR, 2024

2023

Refinement Proofs in Rust Using Ghost Locks.

[BibT_eX]

[DOI]

CoRR, 2023

2021

Gobra: Modular Specification and Verification of Go Programs.

[BibT_eX]

[DOI]

Dataset, April, 2021

João C. Pereira

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...