Yahui Song

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 12

Top Topics

Automated Verification

Top Venues

Int. J. Model. Simul. Sci. Comput.

Publications

Yahui Song, Xiang Gao, Wenhua Li, Wei-Ngan Chin, Abhik Roychoudhury
ProveNFix: Temporal Property-Guided Program Repair. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Yahui Song, Wei-Ngan Chin
Automated Verification for Real-Time Systems - via Implicit Clocks and an Extended Antimirov Algorithm. TACAS (1) (2023)
Darius Foo, Yahui Song, Wei-Ngan Chin
Staged Specifications for Automated Verification of Higher-Order Imperative Programs. CoRR (2023)
Wenhua Li, Quang Loc Le, Yahui Song, Wei-Ngan Chin
Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection. APLAS (2023)
Yahui Song, Wei-Ngan Chin
Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm. SPLASH Companion (2022)
Yahui Song, Darius Foo, Wei-Ngan Chin
Automated Temporal Verification for Algebraic Effects. APLAS (2022)
Zunhao Zhang, Junxia Zhang, Wei Tian, Yang Li, Yahui Song, Qi Zeng
Sensitivity analysis of environmental impact of milk powder spray drying system based on intelligent algorithm. J. Intell. Fuzzy Syst. 42 (6) (2022)
Yahui Song, Wei-Ngan Chin
A Synchronous Effects Logic for Temporal Verification of Pure Esterel. VMCAI (2021)
Yahui Song, Wei-Ngan Chin
Automated Temporal Verification of Integrated Dependent Effects. ICFEM (2020)
Hongshu Chen, Xuefeng Wang, Yahui Song, Ximeng Wang, Xiang Wang, Miaomiao Yu
Research Topic Recommendation Based on Latent Dirichlet Allocation. ISKE (2019)
Hongyan Quan, Changbo Wang, Yahui Song
Fluid re-simulation based on physically driven model from video. Vis. Comput. 33 (1) (2017)
Hongyan Quan, Yahui Song, Xinquan Zhou, Li Zhang
Physically-based enhancement in shallow water resimulation. Int. J. Model. Simul. Sci. Comput. 7 (3) (2016)
Hongyan Quan, Xiao Song, Mingqi Yu, Yahui Song
3D fluid scene synthesis and animation. VRCAI (2014)