Concepedia

Ralf Jung

RJ

19

Publications

1.7K

Citations

17

H-Index

2005

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

Aarhus University

Saarland University

Radboud University Nijmegen

Delft University of Technology

Ralf Jung is an author at Max Planck Institute for Software Systems specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisAutomated ReasoningSystem SoftwareSoftware AnalysisCompilers

Publications per year

2005–2024

19

Publications

19

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

Engineering, Verification, Automated Proof +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

Engineering, Information Security, Verification +21

Iris

Ralf Jung, David Swasey, Filip Sieczkowski et al. · 2014 · 261 citations

Engineering, Automated Reasoning, Program Analysis +13

Highly Sensitive and Selective VOC Sensor Systems Based on Semiconductor Gas Sensors: How to?

Andreas Schütze, Tobias Baur, M. Leidinger et al. · Environments · 2017 · 125 citations · Full text

Environmental Monitoring, Engineering, Air Pollution Measurement +21

Higher-order ghost state

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

Rows per page

1–5 of 19