Concepedia
Author
Wolf Honoré
Also Known As
Honoré, Wolf, Wolf Honoré
9
Publications
116
Citations
6
H-Index
0
Concepts
All Affiliations
×
All Concepts
4
87
From C to interaction trees: specifying, verifying, and testing a networked server
Nicolas Koh, Yao Li, Yishuai Li, +6
2019
46
Verifying an HTTP Key-Value Server with Interaction Trees and VST
Hengchu Zhang, Wolf Honoré, Nicolas Koh, +7
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
2021
20
Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems
Wolf Honoré, Jieung Kim, Ji-Yong Shin, +1
Proceedings of the ACM on Programming Languages
11
WormSpace
Ji-Yong Shin, Jieung Kim, Wolf Honoré, +4
10
Page 1