Scholar

Freek Verbeek

Google Scholar ID: 4WfAiTUAAAAJ

Radboud University, The Netherlands

Formal VerificationNetworks-on-Chiplambda-calculi

Google Scholar↗

Citations & Impact

All-time

Citations

544

H-index

14

i10-index

19

Publications

20

Co-authors

1

list available

Contact

No contact links provided.

Publications

4 items

Adding Compilation Metadata To Binaries To Make Disassembly Decidable

2026

Cited

0

BeePL: Correct-by-compilation kernel extensions

2025

Cited

0

Augmented Weak Distance for Fast and Accurate Bounds Checking

2025

Cited

0

Formally Verified Binary-level Pointer Analysis

2025

Cited

0

Resume (English only)

Co-authors

1 total