Statistics
Publications
10
Citations
386
H-Index
10
Active since
2014
Jérémie Koenig is an author at Yale University specializing in computing, computer science, and formal methods.
Publications per year
2014–2024
10
10
Deep Specifications and Certified Abstraction Layers
Ronghui Gu, Jérémie Koenig, Tahina Ramananandro et al. · 2014 · 151 citations
Certified concurrent abstraction layers
Ronghui Gu, Zhong Shao, Jieung Kim et al. · 2018 · 70 citations · Full text
Deep Specifications and Certified Abstraction Layers
Ronghui Gu, Jérémie Koenig, Tahina Ramananandro et al. · ACM SIGPLAN Notices · 2015 · 36 citations
Building certified concurrent OS kernels
Ronghui Gu, Zhong Shao, Hao Chen et al. · Communications of the ACM · 2019 · 31 citations · Full text
A Compositional Semantics for Verified Separate Compilation and Linking
Tahina Ramananandro, Zhong Shao, Shu-Chun Weng et al. · 2015 · 22 citations
1–5 of 10