Scholar

Freek Verbeek

Google Scholar ID: 4WfAiTUAAAAJ

Radboud University, The Netherlands

Formal VerificationNetworks-on-Chiplambda-calculi

Google Scholar↗

Citations & Impact

All-time

Citations

228

H-index

7

i10-index

6

Publications

20

Co-authors

1

list available

Contact

No contact links provided.

Publications

3 items

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