Yongwang Zhao

Identifiers

• name variant Yongwang Zhao 0.60 · backfill

Papers (9)

1. A Verified Timsort C Implementation in Isabelle/HOL cs.SE · 2018 · author #2
2. Model Learning: A Survey on Foundation, Tools and Applications cs.FL · 2018 · author #3
3. An Event-based Compositional Reasoning Approach for Concurrent Reactive Systems cs.SE · 2018 · author #1
4. Refinement-based Specification and Security Analysis of Separation Kernels cs.SE · 2017 · author #1
5. High-Assurance Separation Kernels: A Survey on Formal Methods cs.SE · 2017 · author #1
6. Compositional Reasoning for Shared-variable Concurrent Programs cs.FL · 2016 · author #2
7. Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication cs.SE · 2015 · author #1
8. A survey on formal specification and verification of separation kernels cs.SE · 2015 · author #1
9. Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B cs.SE · 2015 · author #1

Mentions

• 1510.05091 #1 · backfill · confidence 0.70 Yongwang Zhao
• 1508.07066 #1 · backfill · confidence 0.70 Yongwang Zhao
• 1508.06479 #1 · backfill · confidence 0.70 Yongwang Zhao

Frequent Coauthors

• David Sanan 6 shared papers
• Yang Liu 6 shared papers
• Fuyuan Zhang 5 shared papers
• Alwen Tiu 1 shared papers
• David Sann 1 shared papers
• Hailong Sun 1 shared papers
• Jun Sun 1 shared papers
• Shahbaz Ali 1 shared papers
• Shang-Wei Lin 1 shared papers
• Yu Zhang 1 shared papers
• Zhibin Yang 1 shared papers