João C. Pereira

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Formal Verification

Control Program

Protocol Specification

Top Venues

Publications

João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
Protocols to Code: Formal Verification of a Next-Generation Internet Router. CoRR (2024)
Aurel Bílý, João C. Pereira, Jan Schär, Peter Müller
Refinement Proofs in Rust Using Ghost Locks. CoRR (2023)
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C. Pereira, Peter Müller
Gobra: Modular Specification and Verification of Go Programs (extended version). CoRR (2021)
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C. Pereira, Peter Müller
Gobra: Modular Specification and Verification of Go Programs. CAV (1) (2021)