Songtao Xia

Publication Activity (10 Years)

Years Active: 1999-2012
Publications (10 Years): 0

Top Topics

Discrete Variables

Wheeled Mobile Robots

Top Venues

J. Comput. Inf. Sci. Eng.

Publications

Yu Liu, Songtao Xia, Xiaoping Qian
Direct Numerical Control (NC) Path Generation: From Discrete Points to Continuous Spline Paths. J. Comput. Inf. Sci. Eng. 12 (3) (2012)
Songtao Xia, Manuel Fähndrich, Francesco Logozzo
Inferring Dataflow Properties of User Defined Table Processors. SAS (2009)
Manuel Fähndrich, Songtao Xia
Establishing object invariants with delayed types. OOPSLA (2007)
Songtao Xia, Ben Di Vito, César A. Muñoz
Predicate Abstraction of Programs with Non-linear Computation. ATVA (2006)
Songtao Xia, Ben Di Vito, César A. Muñoz
Automated test generation for engineering applications. ASE (2005)
Songtao Xia, James Hook
Certifying Temporal Properties for Compiled C Programs. VMCAI (2004)
Songtao Xia, James Hook
Experience with Abstraction-carrying Code. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
Songtao Xia
Verify Properties of Mobile Code. ASE (2001)
Hongwei Xi, Songtao Xia
virtual machine language. CASCON (1999)