Concepedia

Jacques-Henri Jourdan

JJ

17

Publications

1.3K

Citations

14

H-Index

2013

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut national de recherche en sciences et technologies du numérique

Université Paris-Saclay

Laboratoire de Recherche en Informatique

Max Planck Institute for Software Systems

Jacques-Henri Jourdan is an author at Centre National de la Recherche Scientifique specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceVerificationFormal VerificationProgram AnalysisSoftware AnalysisAutomated ReasoningSystem SoftwareSystems Engineering

Publications per year

2013–2024

17

Publications

17

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

A Formally-Verified C Static Analyzer

Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy et al. · 2014 · 121 citations · Full text

Program Checking, Engineering, Verification +19

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

Engineering, Verification, Automated Proof +18

RustBelt meets relaxed memory

Hoang-Hai Dang, Jacques-Henri Jourdan, Jan-Oliver Kaiser et al. · Proceedings of the ACM on Programming Languages · 2019 · 61 citations · Full text

Engineering, Verification, Arc Library +21

Rows per page

1–5 of 17