Concepedia

Wolf Honoré

WH

Statistics

Publications

4

Citations

87

H-Index

4

Active since

2019

Affiliations

Yale University(Current)

Princeton University

University of Illinois Chicago

Wolf Honoré is an author at Yale University.

ORCID

Publications per year

2019–2021

4

Publications

4

From C to interaction trees: specifying, verifying, and testing a networked server

Nicolas Koh, Yao Li, Yishuai Li et al. · 2019 · 46 citations · Full text

Verifying an HTTP Key-Value Server with Interaction Trees and VST

Hengchu Zhang, Wolf Honoré, Nicolas Koh et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2021 · 20 citations · Full text

Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems

Wolf Honoré, Jieung Kim, Ji-Yong Shin et al. · Proceedings of the ACM on Programming Languages · 2021 · 11 citations · Full text

WormSpace

Ji-Yong Shin, Jieung Kim, Wolf Honoré et al. · 2019 · 10 citations

1–4 of 4