Daohan Qu

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Maintenance Activities

Hardware Design

Software Platform

Top Venues

Publications

Cyrille Artho, Pavel Parízek, Daohan Qu, Varadraj Galgali, Pu (Luke) Yi
JPF: From 2003 to 2023. TACAS (2) (2024)
Daohan Qu, Chaoyi Zhao, Yanyan Jiang, Chang Xu
Towards Life-long Software Self-validation in Production. Internetware (2024)