11. VMCAI 2010:
, Jianhua Zhao
, Xuandong Li
: Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming.
: Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing.
: Shape Analysis in the Absence of Pointers and Structure.