| Reach-Avoid Analysis for Delay Differential Equations. | 0 | 0.34 | 2021 |
| An HVSM-based GRU Approach to Predict Cross-Version Software Defects | 2 | 0.36 | 2020 |
| Synthesizing More Expressive Invariants by Semidefinite Programming. | 0 | 0.34 | 2019 |
| Probably Approximate Safety Verification of Hybrid Dynamical Systems. | 0 | 0.34 | 2019 |
| Anisotropic Ellipsoidal Smoothing of Volume Data | 0 | 0.34 | 2005 |
