Concepedia

Robbert Krebbers

RK

32

Publications

1.8K

Citations

21

H-Index

1997

Active since

Affiliations

Radboud University Nijmegen(Current)

Delft University of Technology

Max Planck Institute for Software Systems

Aarhus University

Centre National de la Recherche Scientifique

Robbert Krebbers is an author at Radboud University Nijmegen specializing in formal methods, engineering, and formal verification.

ORCID

Top concepts

Publications per year

1997–2024

32

Publications

32

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan et al. · Journal of Functional Programming · 2018 · 353 citations · Full text

, , +16

RustBelt: securing the foundations of the Rust programming language

Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers et al. · Proceedings of the ACM on Programming Languages · 2017 · 331 citations · Full text

, , +21

Interactive proofs in higher-order concurrent separation logic

Robbert Krebbers, Amin Timany, Lars Birkedal · 2016 · 123 citations

Higher-order ghost state

Ralf Jung, Robbert Krebbers, Lars Birkedal et al. · 2016 · 109 citations

MoSeL: a general, extensible modal framework for interactive proofs in separation logic

Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung et al. · Proceedings of the ACM on Programming Languages · 2018 · 86 citations · Full text

, , +18

Rows per page

1–5 of 32